A hybrid modeling and verification paradigm for embedded control systems
- 30 April 1998
- journal article
- research article
- Published by Elsevier BV in Control Engineering Practice
- Vol. 6 (4), 511-521
- https://doi.org/10.1016/s0967-0661(98)00045-8
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A theory of discontinuities in physical system modelsJournal of the Franklin Institute, 1998