The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems

被引：14
|
作者：
Collins, Pieter [1 ]
Goldsztejn, Alexandre [2 ]
机构：
[1] Ctr Wiskunde & Informat, Amsterdam, Netherlands
[2] CNRS, LINA, UMR 6241, Nantes, France
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 223卷 / 0C期
关键词：
Reachability analysis; nonlinear dynamical systems; interval analysis;
D O I：
10.1016/j.entcs.2008.12.033
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discrete time dynamical systems, and then extended to continuous time dynamical systems driven by ODEs. In continuous time, this algorithm is called the Reach and Evolve algorithm. The Reach and Evolve algorithm is based on interval analysis and a rigorous discretization of space and time. Promising numerical experiments are presented.
引用
收藏
页码：87 / 102
页数：16
相关论文
共 50 条
  • [1] Backward Reachability Analysis for Nonlinear Dynamical Systems via Pseudospectral Method
    Myoung Hoon Lee
    Jun Moon
    International Journal of Control, Automation and Systems, 2021, 19 : 575 - 586
  • [2] Backward Reachability Analysis for Nonlinear Dynamical Systems via Pseudospectral Method
    Lee, Myoung Hoon
    Moon, Jun
    INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2021, 19 (02) : 575 - 586
  • [3] Reachability Analysis for Solvable Dynamical Systems
    Gan, Ting
    Chen, Mingshuai
    Li, Yangjia
    Xia, Bican
    Zhan, Naijun
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (07) : 2003 - 2018
  • [4] Simulation-aided Reachability and Local Gain Analysis for Nonlinear Dynamical Systems
    Tan, Weehong
    Topcu, Ufuk
    Seiler, Peter
    Balas, Gary
    Packard, Andrew
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 4097 - 4102
  • [5] Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers
    Jafarpour, Saber
    Harapanahalli, Akash
    Coogan, Samuel
    LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 211, 2023, 211
  • [6] Decomposed Reachability Analysis for Nonlinear Systems
    Chen, Xin
    Sankaranarayanan, Sriram
    PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2016, : 13 - 24
  • [7] Reachability in linear dynamical systems
    Hainry, Emmanuel
    LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 241 - 250
  • [8] Accurate reachability analysis of uncertain nonlinear systems
    Rungger, Matthias
    Zamani, Majid
    HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK), 2018, : 61 - 70
  • [9] Approximate reachability analysis of piecewise-linear dynamical systems
    Asarin, E
    Bournez, O
    Dang, T
    Maler, O
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 20 - 31
  • [10] Reachability computation for polynomial dynamical systems
    Dreossi, Tommaso
    Dang, Thao
    Piazza, Carla
    FORMAL METHODS IN SYSTEM DESIGN, 2017, 50 (01) : 1 - 38
12345