LCS Publication Details
Publication Title: Formal Verification of Safety-Critical Hybrid Systems
Publication Author: Livadas, C.
Additional Authors:
LCS Document Number: MIT-LCS-TR-730
Publication Date: 9-1-1997
LCS Group: No Group Specified
Additional URL: No URL Given
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
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.