Set Propagation Techniques for Reachability Analysis - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Article Dans Une Revue Annual Review of Control, Robotics, and Autonomous Systems Année : 2021

Set Propagation Techniques for Reachability Analysis

Résumé

Reachability analysis consists in computing the set of states that are reachable by a dynamical system from all initial states and for all admissible inputs and parameters. It is a fundamental problem motivated by many applications in formal verification, controller synthesis, and estimation, to name only a few. This paper focuses on a class of methods for computing a guaranteed over-approximation of the reachable set of continuous and hybrid systems, relying predominantly on set propagation: starting from the set of initial states, these techniques iteratively propagate a sequence of sets according to the system dynamics. After a review on set representation and computation, the paper presents the state of the art on set propagation techniques for reachability analysis of linear, nonlinear, and hybrid systems. The paper ends with a discussion on successful applications of reachability analysis to real world-problems. Contents
Fichier principal
Vignette du fichier
high-reach-preprint.pdf (1 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03048155 , version 1 (09-12-2020)

Identifiants

Citer

Matthias Althoff, Goran Frehse, Antoine Girard. Set Propagation Techniques for Reachability Analysis. Annual Review of Control, Robotics, and Autonomous Systems , 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩. ⟨hal-03048155⟩
704 Consultations
1584 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More