| 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.
|