Hybrid systems are models for complex physical systems and are defined as dynamical
systems with interacting discrete transitions and continuous evolutions along differential …

Complex physical systems have several degrees of freedom. They only work correctly when
their control parameters obey corresponding constraints. Based on the informal specification …

We study the logic of dynamical systems, that is, logics and proof principles for properties of
dynamical systems. Dynamical systems are mathematical models describing how the state …

In this paper, we define relational abstractions of hybrid systems. A relational abstraction is
obtained by replacing the continuous dynamics in each mode by a binary transition relation …

We present computational techniques for automatically generating algebraic (polynomial
equality) invariants for algebraic hybrid systems. Such systems involve ordinary differential …

Even though many attempts have been made to define the boundary between decidable
and undecidable hybrid systems, the affair is far from being resolved. More and more low …

The differential temporal dynamic logic dTL 2 is a logic to specify temporal properties of
hybrid systems. It combines differential dynamic logic with temporal logic to reason about the …

In this paper we consider the problem of approximating the set of states reachable within a
time bound T in a linear dynamical system, to within a given error bound ε. Fixing a degree …

Systems biology, as a subject, has captured the imagination of both biologists and systems
scientists alike. But what is it? This review provides one researcher's somewhat idiosyncratic …

We present abstraction techniques that transform a given non-linear dynamical system into a
linear system, such that, invariant properties of the resulting linear abstraction can be used …