Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptierenPierre-Jean Meyer / Murat Arcak / Alex Devonport
Interval Reachability Analysis
- Springer International Publishing
- 2021
- Taschenbuch
- 124 Seiten
- ISBN 9783030651091
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
Mehr
Weniger
zzgl. Versand
in Kürze