Algorithmic analysis of nonlinear hybrid systems
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 225-238
- https://doi.org/10.1007/3-540-60045-0_53
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Automatic symbolic verification of embedded systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A theory of timed automataTheoretical Computer Science, 1994
- Using abstractions for the verification of linear hybrid systemsLecture Notes in Computer Science, 1994
- An approach to the description and analysis of hybrid systemsLecture Notes in Computer Science, 1993
- Hybrid SystemsLecture Notes in Computer Science, 1993
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977