Formal verification of safety-critical hybrid systems /
This thesis investigates how the formal modeling and verification techniques of computer science can be used for the analysis of hybrid systems -- systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and dece...
Main Author: | |
---|---|
Corporate Author: | |
Format: | Thesis Book |
Language: | English |
Published: |
Cambridge, Mass. :
Laboratory for Computer Science, Massachusetts Institute of Technology,
[1997]
|
Series: | MIT/LCS/TR ;
730 |
Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Massachusetts Institute of Technology
Call Number: |
QA76.M41.P96 no.730 |
---|