391 search results - page 1 / 79 » Using computer games for hybrid systems controller synthesis |
CDC
2010
IEEE
12 years 12 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
HYBRID
1999
Springer
13 years 9 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...