A calculus for hybrid sampled data systems
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Formal design of hybrid systemsPublished by Springer Nature ,1994
- Models for reactivityActa Informatica, 1993
- A compositional approach to the design of hybrid systemsPublished by Springer Nature ,1993
- Hybrid systems in TLA+Published by Springer Nature ,1993
- An extended duration calculus for hybrid real-time systemsPublished by Springer Nature ,1993
- Prom timed to hybrid systemsPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- A really abstract concurrent model and its temporal logicPublished by Association for Computing Machinery (ACM) ,1986
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985