Loading...
Please wait, while we are loading the content...
Similar Documents
Formal methods for modeling and analysis of hybrid systems
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Copyright Year | 2009 |
| Description | A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems. |
| File Size | 1799939 |
| Page Count | 20 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20090042882 |
| Archival Resource Key | ark:/13960/t8cg4pv64 |
| Language | English |
| Publisher Date | 2009-08-11 |
| Access Restriction | Open |
| Subject Keyword | Patents Theorem Proving Automata Theory Nonlinearity Polynomials Mathematical Models Complex Systems Formalism Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Patent |
