Reachable Sets of Dynamic Systems: Uncertainty, Sensitivity, and Complex Dynamics introduces differential inclusions, providing an overview as well as multiple

Determination of the set of all possible states, which a system can attain, plays an important role in safety for critical application. Prior knowledge of this

This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or ‘boxes’

State Estimation for Dynamic Systems presents the state of the art in this field and discusses a new method of state estimation. The method makes it possible to

This thesis proposes an algorithmic controller synthesis based on the computation of probabilistic reachable sets for stochastic hybrid systems. Hybrid systems