Current Challenges in the Verification of Hybrid Systems

2015 ◽  
pp. 8-24 ◽  
Author(s):  
Stefan Schupp ◽  
Erika Ábrahám ◽  
Xin Chen ◽  
Ibtissem Ben Makhlouf ◽  
Goran Frehse ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
Verification Of Hybrid Systems

scholarly journals Exact safety verification of hybrid systems using sums-of-squares representation

2013 ◽  
Vol 57 (5) ◽  
pp. 1-13 ◽  
Author(s):  
Wang Lin ◽  
Min Wu ◽  
ZhengFeng Yang ◽  
ZhenBing Zeng
Keyword(s):  
Hybrid Systems ◽  
Sums Of Squares ◽  
Safety Verification ◽  
Verification Of Hybrid Systems
Sign in / Sign up

Export Citation Format

Share Document