Formal Verification of Safety-Critical Hybrid Systems
| dc.contributor.advisor | Lynch, Nancy A. | en_US |
| dc.contributor.author | Livadas, Carolos | en_US |
| dc.date.accessioned | 2023-03-29T15:29:51Z | |
| dc.date.available | 2023-03-29T15:29:51Z | |
| dc.date.issued | 1997-09 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149861 | |
| dc.description.abstract | 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 | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-730 | |
| dc.title | Formal Verification of Safety-Critical Hybrid Systems | en_US |
| dc.identifier.oclc | 760191652 |
