Sciweavers

2366 search results - page 7 / 474
» Pfaffian Hybrid Systems
Sort
View
HYBRID
2004
Springer
14 years 3 months ago
Staying Alive as Cheaply as Possible
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larse...
HYBRID
2000
Springer
14 years 1 months ago
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
Jun Zhang, Karl Henrik Johansson, John Lygeros, Sh...
LICS
2012
IEEE
12 years 6 days ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
HYBRID
1999
Springer
14 years 2 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari