Get Free Shipping on orders over $79
Interval Reachability Analysis : Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification - Pierre-Jean Meyer

Interval Reachability Analysis

Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification

By: Pierre-Jean Meyer, Alex Devonport, Murat Arcak

eText | 20 January 2021

At a Glance

eText


$99.00

or 4 interest-free payments of $24.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

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.

on
Desktop
Tablet
Mobile

More in Calculus & Mathematical Analysis

AI Breaking Boundaries - Avinash Vanam

eBOOK