Accurate reachability analysis of uncertain nonlinear systems
Accurate reachability analysis of uncertain nonlinear systems
复制标题
不确定非线性系统的准确可达性分析
DOI：
10.1145/3178126.3178127
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Majid Zamani
中科院分区：
文献类型：
--
作者：
M. Rungger;Majid Zamani
提出了一种具有有界时变参数和不确定初始条件的非线性系统可达集的过逼近算法。该算法基于由线性项和两个凸集的Minkowsky和组成的微分包含对非线性动力学的保守表示。通过非线性动力学对系统状态的一阶保守过逼近，得到线性项和其中一个集合。第二组考虑了时变参数的影响。新算法的一个显著特征是，通过在计算中适当地选择参数，可以将可达集过度逼近到任何期望的精度。我们提供了一个例子来说明我们的方法的有效性。
We propose an algorithm to over-approximate the reachable set of nonlinear systems with bounded, time-varying parameters and uncertain initial conditions. The algorithm is based on the conservative representation of the nonlinear dynamics by a differential inclusion consisting of a linear term and the Minkowsky sum of two convex sets. The linear term and one of the two sets are obtained by a conservative first-order over-approximation of the nonlinear dynamics with respect to the system state. The second set accounts for the effect of the time-varying parameters. A distinctive feature of the novel algorithm is the possibility to over-approximate the reachable set to any desired accuracy by appropriately choosing the parameters in the computation. We provide an example that illustrates the effectiveness of our approach.
任意精确的抽象以实现最佳控制器综合
DOI：
10.1109/cdc.2017.8263904
发表时间：
2017
期刊：
2017 IEEE 56th Annual Conference on Decision and Control (CDC)
影响因子：
--
作者：
M. Rungger;G. Reissig
通讯作者：
G. Reissig