Interval Reachability Analysis

Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification de

, ,

Éditeur :

Springer


Collection :

SpringerBriefs in Electrical and Computer Engineering

Paru le : 2021-01-20

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
68,56

Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description

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. 
Pages
112 pages
Collection
SpringerBriefs in Electrical and Computer Engineering
Parution
2021-01-20
Marque
Springer
EAN papier
9783030651091
EAN PDF
9783030651107

Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
11
Taille du fichier
3000 Ko
Prix
68,56 €
EAN EPUB
9783030651107

Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
11
Taille du fichier
9062 Ko
Prix
68,56 €