Compositional and uniform modeling of 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) , 579-584
- https://doi.org/10.1109/9.664162
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Data-flow synchronous languagesPublished by Springer Nature ,1994
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993
- Programming real-time applications with SIGNALProceedings of the IEEE, 1991
- Bibliography of bond graph theory and applicationJournal of the Franklin Institute, 1991
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990