58 search results - page 1 / 12 » A Geometric Approach to Bisimulation and Verification of Hyb... |
HYBRID
1999
Springer
13 years 9 months ago
1999
Springer
HYBRID
2009
Springer
13 years 11 months ago
2009
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...
CDC
2010
IEEE
12 years 11 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...