Set Propagation Techniques for Reachability Analysis
Set Propagation Techniques for Reachability Analysis
复制标题
设置可达性分析的传播技术
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
A. Girard
中科院分区：
文献类型：
--
作者：
M. Althoff;Goran Frehse;A. Girard
可及性分析在于计算所有初始状态以及所有可接受的输入和参数可通过动态系统达到的状态集。这是由许多应用在正式验证，控制器综合和估算中的应用，仅举几例，这是一个基本问题。本文重点介绍了一类用于计算可确保过度应用的连续和混合系统的过度应用的方法，主要依赖于集合的传播。从初始状态集开始，这些技术迭代地根据系统动力学传播了一系列集合。在审查了集体表示和计算之后，本文介绍了用于线性，非线性和混合系统的可及性分析的集合传播技术的现状。它以讨论可达性分析在现实世界中的问题的成功应用结束。
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 article focuses on a class of methods for computing a guaranteed overapproximation 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 of set representation and computation, the article presents the state of the art of set propagation techniques for reachability analysis of linear, nonlinear, and hybrid systems. It ends with a discussion of successful applications of reachability analysis to real-world problems.
登录
查看更多内容
影响因子：
6.6
作者：
Yan Li;Peng Zhang;P. Luh
通讯作者：
Yan Li;Peng Zhang;P. Luh
DOI：
10.1109/ivs.2010.5548121
发表时间：
2010
期刊：
2010 IEEE Intelligent Vehicles Symposium
影响因子：
--
作者：
M. Althoff;D. Althoff;D. Wollherr;M. Buss
通讯作者：
M. Buss
DOI：
10.1109/tits.2017.2742141
发表时间：
2018-06
影响因子：
8.5
作者：
Sebastian Söntges;M. Althoff
通讯作者：
Sebastian Söntges;M. Althoff
影响因子：
2
作者：
Hoang-Dung Tran;Cai, Feiyang;Koutsoukos, Xenofon
通讯作者：
Koutsoukos, Xenofon