Sciweavers

2377 search results - page 8 / 476
» Hybrid Systems in TLA
Sort
View
HYBRID
2010
Springer
14 years 1 months ago
Stealthy deception attacks on water SCADA systems
Saurabh Amin, Xavier Litrico, Shankar Sastry, Alex...
HYBRID
2004
Springer
14 years 3 days ago
Staying Alive as Cheaply as Possible
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larse...
HYBRID
2000
Springer
13 years 10 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
11 years 9 months 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
13 years 11 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari