Reachable Sets of Dynamic Systems: Uncertainty, Sensitivity, and Complex Dynamics introduces differential inclusions, providing an overview as well as multiple
This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or ‘boxes’
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
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