UID:
almahu_9948639813202882
Umfang:
X, 112 p. 21 illus., 18 illus. in color.
,
online resource.
Ausgabe:
1st ed. 2021.
ISBN:
9783030651107
Serie:
SpringerBriefs in Control, Automation and Robotics,
Inhalt:
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 makes the brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification. .
Anmerkung:
Chapter 1. Introduction -- Part 1: Reachability Methods -- Chapter 2. Interval Analysis -- Chapter 3. Monotonicity -- Chapter 4. Mixed-Monotonicity -- Chapter 5. Sampled-Data Mixed-Monotonicity -- Chapter 6. Growth Bounds -- Chapter 7. Sampling-Based Methods -- Part 2: Applications -- Chapter 8. Safety and Reachability Verification -- Chapter 9. Interval Volume as a Robustness Measure -- Chapter 10. Abstraction-Based Control Synthesis.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783030651091
Weitere Ausg.:
Printed edition: ISBN 9783030651114
Sprache:
Englisch
DOI:
10.1007/978-3-030-65110-7
URL:
https://doi.org/10.1007/978-3-030-65110-7
URL:
Volltext
(URL des Erstveröffentlichers)
Bookmarklink
