Interval Reachability Analysis

Interval Reachability Analysis
Author :
Publisher : Springer Nature
Total Pages : 115
Release :
ISBN-10 : 9783030651107
ISBN-13 : 303065110X
Rating : 4/5 (07 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

DOWNLOAD EBOOK

This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or ‘boxes’
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022
Language: en
Pages: 405
Authors: Alberto Griggio
Categories: Computers
Type: BOOK - Published: 2022-10-12 - Publisher: TU Wien Academic Press

DOWNLOAD EBOOK

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and syste
Cyber Physical Systems. Design, Modeling, and Evaluation
Language: en
Pages: 159
Authors: Roger Chamberlain
Categories: Computers
Type: BOOK - Published: 2019-04-12 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjun
Fusion of Data from Heterogeneous Sensors with Distributed Fields of View and Situation Evaluation for Advanced Driver Assistance Systems
Language: en
Pages: 262
Authors: Otto, Carola
Categories: Technology & Engineering
Type: BOOK - Published: 2014-07-29 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

In order to develop a driver assistance system for pedestrian protection, pedestrians in the environment of a truck are detected by radars and a camera and are
Runtime Verification
Language: en
Pages: 442
Authors: Shuvendu Lahiri
Categories: Computers
Type: BOOK - Published: 2017-09-04 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 201