Back to Search
Start Over
Algorithmic analysis of nonlinear hybrid systems.
- Source :
-
IEEE Transactions on Automatic Control . Apr98, Vol. 43 Issue 4, p540. 15p. 9 Diagrams, 2 Graphs. - Publication Year :
- 1998
-
Abstract
- Analyzes nonlinear hybrid systems by the use of algorithmic methods. Definition of hybrid systems; Details on the model checking tools used for checking linear hybrid automata; Discussion on the construction of bisimilar linear hybrid automata.
- Subjects :
- *ALGORITHMS
*MATHEMATICAL models
Subjects
Details
- Language :
- English
- ISSN :
- 00189286
- Volume :
- 43
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Automatic Control
- Publication Type :
- Periodical
- Accession number :
- 499850
- Full Text :
- https://doi.org/10.1109/9.664156