Interval Reachability Analysis Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
64,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
21.01.2021
Abbildungen
X, 112 p. 21 illus., 18 illus. in color.
Verlag
SpringerSeitenzahl
112
Maße (L/B/H)
23,5/15,5/0,8 cm
Gewicht
201 g
Auflage
1st ed. 2021
Sprache
Englisch
ISBN
978-3-030-65109-1
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.
Ein neues Kapitel für Ihre Bücher
Ein neues Kapitel für Ihre Bücher
Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice