Interval Reachability Analysis
Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
Buch in deiner Nähe kaufen
Beschreibung
This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or ‘boxes’. It explains the importance of bounding trajectories for evaluating the robustness of systems in the face of parametric uncertainty, and for verification or control synthesis problems with respect to safety and reachability properties. The methods presented make use of:
- interval analysis;
- monotonicity theory;
- contraction theory; and
- data-driven techniques that sample trajectories.
The methods are implemented in an accompanying open-source Toolbox for Interval Reachability Analysis.
This brief provides a tutorial description of each method, focusing on the requirements and trade-offs relevant to the user, requiring only basic background on dynamical systems. The second part of the brief describes applications of interval reachability analysis. This makesthe brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification.
Offers a variety of computationally efficient reachability methods using multi-dimensional intervals Provides a pedagogical description of each method, focusing on the requirements and trade-offs Describes applications in safety and reachability verification, robustness analysis, and symbolic control synthesis Implements methods in open-source software: Toolbox for Interval Reachability Analysis
Autor*in
Pierre-Jean Meyer
Themen in »Interval Reachability Analysis«
Reachability Interval Analysis Monotone Systems Uncertain Systems Bounding Boxes Verification Finite Abstraction Monte Carlo Method Sample Complexity
Stimmen zu »Interval Reachability Analysis«
“The motivation of this book is to provide to the readers tutorial presentations of several approaches for interval reachability analysis, without requiring any previous knowledge and experience of reachability analysis. Two parts, Part I and Part II, are used for this purpose. Part I describes six main methods for interval reachability analysis and in Part II several applications are presented.” (Takashi Amemiya, Mathematical Reviews, October, 2022)
()