l\lany systems encountered in practice involve a coupling between contin uous dynamics
and discrete events. Systems in which these two kinds of dynamics coexist and interact are …

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …

Abstract An overview of Stochastic Hybrid Models developed in the literature is presented.
Attention is concentrated on three classes of models: Piecewise Deterministic Markov …

We present a method for the computation of reachable sets of uncertain linear systems. The
main innovation of the method consists in the use of zonotopes for reachable set …

This paper presents a methodology for safety verification of continuous and hybrid systems
in the worst-case and stochastic settings. In the worst-case setting, a function of state termed …

Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …

One of the biggest boosts for innovation in engineering has been the ongoing improvement
of digital processor technology. Connections between physical systems and computing …

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 …

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

This paper aims at familiarizing the reader with Stochastic Hybrid Systems (SHSs) and
enabling her to use these systems to model and analyze Networked Control Systems …