We present a new application of the abstract interpretation by means of convex polyhedra, to
a class of hybrid systems, ie, systems involving both discrete and continuous variables. The …

Hybrid systems are dynamical systems consisting of interacting discrete and continuous
components [NSY91, MMP91]. They are used to model the combined behavior of embedded …

This dissertation presents a computational technique for verifying properties of hybrid
systems with continuous dynamics described by ordinary differential equations. The …

This paper deals with conservative reachability analysis of a class of hybrid systems with
continuous dynamics described by linear differential inclusions, convex invariants and …

A general verification algorithm is described. It is then shown how ellipsoidal methods
developed by AB Kurzhanski and P. Varaiya can be adapted to the algorithm. New …

We address the verification problem of invariance properties for hybrid systems. We
consider as general models of hybrid systems finite automata, supplied with (unbounded) …

We define an operational semantics for the Signal language and design an analysis which
allows to verify properties pertaining to the relation between values of the numeric and …

We present a general framework for the formal specification and algorithmic analysis of
hybrid systems. A hybrid system consists of a discrete program with an analog environment …

Hybrid dynamic systems include both continuous and discrete state variables. Properties of
hybrid systems, which have an infinite state space, can often be verified using ordinary …

We call a hybrid system stable if every trajectory inevitably ends up in a given region. Our
notion of stability deviates from classical definitions in control theory. In this paper, we …