Interval Reachability Analysis

This brief offers efficient methods for bounding trajectories of dynamical systems using multi-dimensional intervals. It covers essential theories and practical applications, making it valuable for researchers, students, and engineers in control and verification.

Interval Reachability Analysis offers a concise overview of effective computational methods for bounding the trajectories of dynamical systems using multi-dimensional intervals, referred to as 'boxes.' The book emphasizes the significance of trajectory bounding in assessing the robustness of systems facing parametric uncertainty, as well as its applications in verification and control synthesis, particularly concerning safety and reachability properties.

The authors introduce a range of methods grounded in interval analysis, monotonicity theory, contraction theory, and data-driven techniques that sample trajectories. These approaches are designed to be computationally efficient, making them accessible for practical use. Additionally, the book includes an open-source Toolbox for Interval Reachability Analysis, allowing readers to implement the discussed methods in their own work.

In the second part of the book, the authors provide a tutorial-style description of each method, highlighting user requirements and trade-offs while requiring only a basic understanding of dynamical systems. The applications of interval reachability analysis are also explored, making the content relevant to a diverse audience, including academic researchers, graduate students, and practicing engineers in control and verification fields. Overall, Interval Reachability Analysis serves as a valuable resource for those looking to deepen their understanding of dynamical systems and their robustness in uncertain environments.