In this paper we analyze local asymptotic stability of switched hybrid systems, whose
subsystems have polynomial vector fields, by discovering multiple Lyapunov functions in …

We describe an efficient procedure for proving stabilization of biological systems modeled
as qualitative networks or genetic regulatory networks. For scalability, our procedure uses …

We present Stabhyli, a tool that automatically proves stability of non-linear hybrid systems.
Hybrid systems are systems that exhibit discrete as well as continuous behavior. The …

We propose a library based incremental design methodology for constructing hybrid
controllers from a component library of models of hybrid controllers, such that global safety …

The paper presents a CEGAR-based procedure for verifying stability (region stabillity) of
CPS modeled as hybrid automata. It relies a characterization of the blocking property of …

In this paper we study possibilities of using hierarchical reasoning, quantifier elimination and
model generation for the verification of parametric hybrid systems, where the parameters …

While formal verification techniques are inevitable to ensure safety of critical cyber-phyical
systems (CPS), engineering techniques to support the design and analysis of such CPS are …

Hybride Systeme dienen der Beschreibung der Interaktion von zeitkontinuierlichem und
zeitdiskretem Verhalten, wie sie beispielsweise in eingebetteten Systemen stattfindet. Ein …

We consider the stability and the input-output analysis problems of a class of large-scale
hybrid systems composed of continuous dynamics coupled with discrete dynamics defined …

A hybrid dynamical system is a mathematical model for a part of the real world where
discrete and continuous parts interact with each other. Typically such systems are complex …