391 search results - page 24 / 79 » Using computer games for hybrid systems controller synthesis |
122
click to vote
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
ICEC
1994
15 years 1 months ago
1994
A parallel implementation of a genetic algorithm used to evolve simple analog VLSI circuits is described. The parallel computer system consisted of twenty distributed SPARC workst...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
DAC
1995
ACM
15 years 3 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...