234 search results - page 1 / 47 » Theory of Optimal Control Using Bisimulations |
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
HYBRID
2004
Springer
13 years 10 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
HYBRID
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
HYBRID
2001
Springer
13 years 9 months ago
2001
Springer
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...