Interval reachability analysis : bounding trajectories of uncertain systems with boxes for control and verification / Pierre-Jean Meyer, Alex Devonport, Murat Arcak.
Meyer, Pierre-Jean, author.; Devonport, Alex, author.; Arcak, Murat, author.
2021
TJ213
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Interval reachability analysis : bounding trajectories of uncertain systems with boxes for control and verification / Pierre-Jean Meyer, Alex Devonport, Murat Arcak.
Author Meyer, Pierre-Jean, author.
ISBN 9783030651107 (electronic bk.)
303065110X (electronic bk.)
3030651096
9783030651091
DOI https://doi.org/10.1007/978-3-030-65110-7
Published Cham : Springer, [2021]
Language English
Description 1 online resource
Item Number 10.1007/978-3-030-65110-7 doi
Call Number TJ213
Dewey Decimal Classification 629.8
Summary 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.
Bibliography, etc. Note Includes bibliographical references.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed March 10, 2021).
Added Author Devonport, Alex, author.
Arcak, Murat, author.
Series SpringerBriefs in electrical and computer engineering. Control, automation and robotics.
Available in Other Form Print version: 9783030651091
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export