A formal description of hybrid systems
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 511-530
- https://doi.org/10.1007/bfb0020972
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A unified framework for hybrid controlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Models for hybrid systems: Automata, topologies, controllability, observabilityPublished by Springer Nature ,1993
- A dynamical simulation facility for hybrid systemsPublished by Springer Nature ,1993
- An approach to the description and analysis of hybrid systemsPublished by Springer Nature ,1993
- An extended duration calculus for hybrid real-time systemsPublished by Springer Nature ,1993
- Verifying hybrid systemsPublished by Springer Nature ,1993
- Hybrid system modeling and autonomous control systemsPublished by Springer Nature ,1993
- Duration specifications for shared processorsPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- Metric spaces as models for real-time concurrencyPublished by Springer Nature ,1988