We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

Formal Verification of Safety-Critical Hybrid Systems

Thumbnail Image
Download
Name

MIT-LCS-TR-730.pdf

Size

15.67 MB

Format

Adobe PDF

Checksum (MD5)

6c804b1f5ea740a3d7fef92f8e1efd6b

Author(s)
Livadas, Carolos
Advisor(s)
Lynch, Nancy A.
Date Issued
September 1997
Series/Report no.
MIT-LCS-TR-730
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
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.