Sciweavers

613 search results - page 4 / 123
» Observability of Linear Hybrid Systems
Sort
View
HYBRID
2007
Springer
14 years 1 months ago
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...
AUTOMATICA
2010
72views more  AUTOMATICA 2010»
13 years 7 months ago
Span-reachability and observability of bilinear hybrid systems
The paper presents an algebraic characterization of observability and span-reachability of bilinear hybrid systems without guards, i.e. hybrid systems whose continuous dynamics is...
Mihály Petreczky, Jan H. van Schuppen
CAV
1997
Springer
202views Hardware» more  CAV 1997»
13 years 11 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYBRID
1995
Springer
13 years 10 months ago
Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
Eduardo D. Sontag