This survey addresses stability analysis for stochastic hybrid systems (SHS), which are
dynamical systems that combine continuous change and instantaneous change and that …

Stochastic hybrid systems (SHS) have attracted a lot of research interests in recent years. In
this paper, we review some of the recent applications of SHS to biological systems modeling …

Because they incorporate both time-and event-driven dynamics, stochastic hybrid systems
(SHS) have become ubiquitous in a variety of fields, from mathematical finance to biological …

Both research areas of fault tolerant control (FTC) and hybrid systems (HS) have been
developed separately for several decades, and fruitful results appeared respectively …

Motivation: The modeling and simulation of genetic regulatory networks have created the
need for tools for model validation. The main challenges of model validation are the …

Systems biology is a broad field that incorporates both computational and experimental
approaches to provide a system level understanding of biological function. Initial forays into …

A dynamical system is box invariant if there exists a box-shaped positively invariant region.
We show that box invariance can be checked in cubic time for linear and affine systems, and …

In this paper we consider the issue of sliding motion in Filippov systems on the intersection
of two or more surfaces. To this end, we propose an extension of the Filippov sliding vector …

We use hybrid-systems techniques for the analysis of reachability properties of a class of
piecewise-affine (PA) differential equations that are particularly suitable for the modeling of …

As engineering foundations such as standards and abstraction begin to mature within
synthetic biology, it is vital that genetic design automation (GDA) tools be developed to …