269 search results - page 2 / 54 » Applications of MetiTarski in the Verification of Control an... |
HYBRID
1995
Springer
13 years 9 months ago
1995
Springer
TCAD
2010
13 years 6 days ago
2010
HYBRID
2007
Springer
13 years 9 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
CIE
2007
Springer
13 years 9 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...