Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems
复制标题
自主动力系统可达集的安全过逼近和欠逼近
DOI：
10.1007/978-3-030-00151-3_15
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
B. Xue
中科院分区：
文献类型：
--
作者：
P. N. Mosaad;M. Fränzle;Z. She;B. Xue
我们提出了一种基于 Hamilton-Jacobi 框架的方法，该方法能够计算超越多项式动力学的自主动力系统的可达集的过近似和欠近似。该方法不依赖于用户提供的候选多项式，而是依赖于保证在紧凑状态空间中收敛的演化函数的扩展。因此，可以基于该展开的截断来获得达到任何指定精度的可到达状态空间的过近似和欠近似。由于计算过近似值和欠近似值时使用的截断以及它们相关的误差界限一致，因此可以在单次扫描中计算真实范围集的双面包围。我们通过将基准结果与相关模拟进行比较来证明由此获得的外壳的精度。
We present a method based on the Hamilton-Jacobi framework that is able to compute over- and under-approximations of reachable sets for autonomous dynamical systems beyond polynomial dynamics. The method does not resort to user-supplied candidate polynomials, but rather relies on an expansion of the evolution function whose convergence in compact state space is guaranteed. Over- and under-approximations of the reachable state space up to any designated precision can consequently be obtained based on truncations of that expansion. As the truncations used in computing over- and under-approximations as well as their associated error bounds agree, double-sided enclosures of the true reach-set can be computed in a single sweep. We demonstrate the precision of the enclosures thus obtained by comparison of benchmark results to related simulations.
DOI：
10.1109/emsoft.2013.6658604
发表时间：
2013-09
期刊：
2013 Proceedings of the International Conference on Embedded Software (EMSOFT)
影响因子：
--
作者：
Parasara Sridhar Duggirala;S. Mitra;Mahesh Viswanathan
通讯作者：
Parasara Sridhar Duggirala;S. Mitra;Mahesh Viswanathan
参数化线性系统的有界误差流管计算
DOI：
10.1109/emsoft.2015.7318279
发表时间：
2015
期刊：
2015 International Conference on Embedded Software (EMSOFT)
影响因子：
--
作者：
Ratan Lal;P. Prabhakar
通讯作者：
P. Prabhakar
通过结合不同的封装方法改进混合系统分析的 SAT 模 ODE
DOI：
--
发表时间：
2011
期刊：
IEEE International Conference on Software Engineering and Formal Methods
影响因子：
--
作者：
Andreas Eggers;N. Ramdani;N. Nedialkov;M. Fränzle
通讯作者：
M. Fränzle