Electronic Resource

Interval Reachability Analysis

---

Penilaian

---

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.

---

Availability

Inventory Code	Barcode	Call Number	Location	Status
1908001484	EB0002090	629.8 Mey i	Central Library (OPAC)	Available

Detail Information

Series Title

SpringerBriefs in Electrical and Computer Engineering

Call Number

629.8 Mey i

Publisher

Switzerland : Springer Cham., 2021

Collation

x, 112p.:Ill

Language

English

ISBN/ISSN

978-3-030-65110-7

Classification

629.8

Content Type

Ebook

Media Type

-

Carrier Type

online resource

Edition

1

Subject(s)

Mechatronics

Specific Detail Info

-

Statement of Responsibility

BRF

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment