拉格朗日可达性的紧密连续时间到达管
摘要：连续拉格朗日可达性算法（CLRT）：一种用于计算非线性、时变动力系统的解流的紧致和连续时间可达性集合的新算法。CLRT采用有限应变理论确定解集从时间$t_i$到时间$t_{i+1}$的变形。我们开发了简单的显式解析公式来确定这个变形的最优度量；这比以前的研究使用半定规划方法更好。CLRT还使用无限小应变理论推导出时间间隔$h_i$（在$t_i$和$t_{i+1}$之间）的最优值，使用非线性优化来最小化时间$t_i$处的状态集合的膨胀（即使用最小半径），使其包含区间$[t_i,t_{i+1}]$内的所有解流的状态。我们使用$\delta$-可满足性来确保膨胀的正确性。我们在一系列基准测试中的结果表明，CLRT在计算连续可达性集合的体积方面表现优于CAPD等最先进的工具。
作者：Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao and Radu Grosu
论文ID：1809.07450
分类：Numerical Analysis
分类简称：cs.NA
提交时间：2018-09-25