Formal Verification of Safety-Critical Hybrid Systems
Author(s)
Livadas, CarolosAbstract
This thesis investigates how the formal modeling and verification techniques of computer science can be used for the analysis of hybrid systems [1,2,3,4]---systems involving both discrete and continuous behavior. The motivation behind such research lies i
Date issued
1997-09Series/Report no.
MIT-LCS-TR-730