Logics for hybrid systems
- 1 July 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 88 (7) , 985-1010
- https://doi.org/10.1109/5.871305
Abstract
Hybrid systems are heterogenous dynamical systems characterized by interacting continuous and discrete dynamics. Such mathematical models have proved fruitful in a great diversity of engineering applications, including air-traffic control, automated manufacturing, and chemical process control. The high-profile and safety-critical nature of the application areas has fostered a large and growing body of work on formal methods for hybrid systems: mathematical logics, computational models and methods, and computer-aided reasoning tools supporting the formal specification and verification of performance requirements for hybrid systems, and the design and synthesis of control programs for hybrid systems that are provably correct with respect to formal specifications. This paper offers synthetic overview of, and original contributions to, the use of logics and formal methods in the analysis of hybrid systems.Keywords
This publication has 84 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Robust timed automataPublished by Springer Nature ,1997
- SHIFT: A formalism and a programming language for dynamic networks of hybrid automataPublished by Springer Nature ,1997
- A formal description of hybrid systemsPublished by Springer Nature ,1996
- Timing analysis in COSPANPublished by Springer Nature ,1996
- Hybrid cc, hybrid automata and program verificationPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Viability in hybrid systemsTheoretical Computer Science, 1995
- Models for reactivityActa Informatica, 1993
- The Algebra of TopologyAnnals of Mathematics, 1944