Explore Books on
hybrides system
1-5 of 5 Books
View Qualitative theory of hybrid dynamical systems By Alexy S. Matveev,Alexey S. Matveev,Andrey V. Savkin 
Qualitative theory of hybrid dynamical systems
By Alexy S. Matveev,Alexey S. Matveev,Andrey V. Savkin
View Hybrid systems By HSCC (Conference) (2009 San Francisco, Calif.) 
Hybrid systems
By HSCC (Conference) (2009 San Francisco, Calif.)
View Formal Modeling and Analysis of Timed Systems By Joël Ouaknine 
Formal Modeling and Analysis of Timed Systems
By Joël Ouaknine
View Fault tolerant control design for hybrid systems By Hao Yang 
Fault tolerant control design for hybrid systems
By Hao Yang
View Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings By Zhiming Liu 
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
By Zhiming Liu