Algorithmic analysis of nonlinear hybrid systems
- 1 April 1998
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 43 (4) , 540-554
- https://doi.org/10.1109/9.664156
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- Linear phase-portrait approximations for nonlinear hybrid systemsPublished by Springer Nature ,1996
- Using HyTech to synthesize control parameters for a steam boilerPublished by Springer Nature ,1996
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- A user guide to HyTechPublished by Springer Nature ,1995
- Automated analysis of an audio control protocolPublished by Springer Nature ,1995
- Algorithmic analysis of nonlinear hybrid systemsPublished by Springer Nature ,1995
- Using abstractions for the verification of linear hybrid systemsLecture Notes in Computer Science, 1994
- Verification of linear hybrid systems by means of convex approximationsPublished by Springer Nature ,1994
- Analytical Note on Certain Rhythmic Relations in Organic SystemsProceedings of the National Academy of Sciences, 1920