Interval Reachability Analysis

Interval Reachability Analysis
Author :
Publisher : Springer Nature
Total Pages : 115
Release :
ISBN-10 : 9783030651107
ISBN-13 : 303065110X
Rating : 4/5 (10X Downloads)

Book Synopsis Interval Reachability Analysis by : Pierre-Jean Meyer

Download or read book Interval Reachability Analysis written by Pierre-Jean Meyer and published by Springer Nature. This book was released on 2021-01-20 with total page 115 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Interval Reachability Analysis Related Books

Interval Reachability Analysis
Language: en
Pages: 115
Authors: Pierre-Jean Meyer
Categories: Technology & Engineering
Type: BOOK - Published: 2021-01-20 - Publisher: Springer Nature

GET EBOOK

This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or ‘boxes’
State Estimation for Dynamic Systems
Language: en
Pages: 322
Authors: Felix L. Chernousko
Categories: Technology & Engineering
Type: BOOK - Published: 1993-11-09 - Publisher: CRC Press

GET EBOOK

State Estimation for Dynamic Systems presents the state of the art in this field and discusses a new method of state estimation. The method makes it possible to
Mathematical Modeling and Supercomputer Technologies
Language: en
Pages: 418
Authors: Dmitry Balandin
Categories: Computers
Type: BOOK - Published: 2021-06-23 - Publisher: Springer Nature

GET EBOOK

This book constitutes selected and revised papers from the 20th International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2020, hel
An Introduction to Hybrid Dynamical Systems
Language: en
Pages: 189
Authors: Arjan J. van der Schaft
Categories: Technology & Engineering
Type: BOOK - Published: 2007-10-03 - Publisher: Springer

GET EBOOK

This book is about dynamical systems that are "hybrid" in the sense that they contain both continuous and discrete state variables. Recently there has been incr
Hybrid Systems: Computation and Control
Language: en
Pages: 595
Authors: Joao Hespanha
Categories: Computers
Type: BOOK - Published: 2006-03-20 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held in Santa Barbara, C