Sciweavers

Share
HYBRID
2004
Springer

Constructing Invariants for Hybrid Systems

12 years 21 hour ago
Constructing Invariants for Hybrid Systems
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achieved by reducing the invariant generation problem to a constraint solving problem using methods from the theory of ideals over polynomial rings. We extend our previous work on the generation of algebraic invariants for discrete transition systems in order to generate algebraic invariants for hybrid systems. In doing so, we present a new technique to handle consecution across continuous differential equations. The techniques we present allow a trade-off between the complexity of the invariant generation process and the strength of the resulting invariants.
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where HYBRID
Authors Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
Comments (0)
books