391 search results - page 23 / 79 » Using computer games for hybrid systems controller synthesis |
117
click to vote
EDCC
2010
Springer
15 years 4 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
This paper reports on the application of classifier systems to the acquisition of decision-making algorithms for agents in online soccer games. The objective of this research is t...
107
click to vote
BIRTHDAY
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
125
click to vote
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...