In this work, probabilistic reachability over a finite horizon is investigated for a class of
discrete time stochastic hybrid systems with control inputs. A suitable embedding of the …

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 …

We study the asymptotic behavior of multiscale stochastic gene networks using weak limits
of Markov jump processes. Depending on the time and concentration scales of the system …

This note is concerned with stability analysis and stabilization of randomly switched systems.
These systems may be regarded as piecewise deterministic stochastic systems: the discrete …

Background Stochastic simulation of gene networks by Markov processes has important
applications in molecular biology. The complexity of exact simulation algorithms scales with …

The gradual decline of oil reserves and the increasing demandfor energy over the past
decades has resulted in automotive manufacturers seeking alternative solutions to reduce …

Stochastic hybrid systems allow one to model the interaction between continuous dynamics,
discrete dynamics and probabilistic uncertainty. Because of their versatility, stochastic hybrid …

In this paper, we review multiscale modeling for cancer treatment with the incorporation of
drug effects from an applied system's pharmacology perspective. Both the classical …

We introduce a novel approach to automatically detect ineffective breathing efforts in
patients in intensive care subject to assisted ventilation. The method is based on …

Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control
systems which mix discrete and continuous dynamics. For probabilistic discrete systems it …