Verification of hybrid systems: formalization and proof rules in PVS

2002 ◽  
Author(s):  
E. Abraham-Mumm ◽  
U. Hannemann ◽  
M. Steffen
Keyword(s):  
Hybrid Systems ◽  
Proof Rules ◽  
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

A Tool for Modular Modelling and Verification of Hybrid Systems

2000 ◽  
Vol 33 (7) ◽  
pp. 169-174
Author(s):  
Dirk Beyer ◽  
Heinrich Rust
Keyword(s):  
Hybrid Systems ◽  
Verification Of Hybrid Systems ◽  
Modular Modelling
Sign in / Sign up

Export Citation Format

Share Document