Converse Barrier Certificate Theorems
Converse Barrier Certificate Theorems
复制标题
逆势屏障证明定理
DOI：
10.1109/tac.2015.2476155
复制
发表时间：
2016
影响因子：
6.8
通讯作者：
Christoffer Sloth
中科院分区：
文献类型：
--
作者：
R. Wisniewski;Christoffer Sloth
本技术说明表明，任何安全的动力系统都存在屏障证书。具体来说，我们证明了一类结构稳定的动力系统的匡威障碍证书定理。其他作者通过假设动力系统既没有奇点也没有闭轨道，得到了一个相关的结果。在本技术说明中，我们重新定义了标准的安全概念，以符合具有多个奇异元素的动力系统。在此之后，我们证明了匡威障碍证书定理，并强调我们的结果和以前的工作之间的差异，一些说明性的例子。
This technical note shows that a barrier certificate exists for any safe dynamical system. Specifically, we prove converse barrier certificate theorems for a class of structurally stable dynamical systems. Other authors have developed a related result by assuming that the dynamical system has neither singular points nor closed orbits. In this technical note, we redefine the standard notion of safety to comply with dynamical systems with multiple singular elements. Hereafter, we prove the converse barrier certificate theorems and highlight the differences between our results and previous work by a number of illustrative examples.