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

When cyber-physical systems (CPSs) are operational, its computing units frequently interact
with complex and uncertain physical environments in time and space. To ensure the safety …

We consider the problem of safety analysis of probabilistic hybrid systems, which capture
discrete, continuous and probabilistic behaviors. We present a novel counterexample …

In this paper, we investigate the design of a safe hybrid controller for an aircraft that switches
between a classical linear quadratic regulator (LQR) controller and a more intelligent …

Aerial refueling is capable of increasing the endurance and flight range of aircraft. However,
during the docking phase of aerial refueling, the docking risk increases as the receiver …

In this paper, we consider the problem of probabilistic stability analysis of a subclass of
Stochastic Hybrid Systems, namely, Polyhedral Probabilistic Hybrid Systems (PPHS), where …

In this paper, we study the probabilistic stability analysis of a subclass of stochastic hybrid
systems, called the Planar Probabilistic Piecewise Constant Derivative Systems (Planar …

We study the problem of safety verification of linear discrete-time stochastic systems (linear
DTSS) over bounded and unbounded time horizons. Linear DTSS capture random …