Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density
Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density
复制标题
通过势垒密度验证非线性切换系统的安全可达性
DOI：
10.1109/cdc40024.2019.9029718
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
R. Wisniewski
中科院分区：
文献类型：
--
作者：
A. Kıvılcım;Özkan Karabacak;R. Wisniewski
我们研究动力系统的时间属性，具体来说，我们努力确定一组初始状态，导致的解决方案，以达到所需的状态，避免预定的不安全集。这个属性，我们称之为安全可达性，已经在文献中研究了自治系统使用障碍函数和障碍密度[1]。本文将自治系统安全可达的一个充分条件推广到任意切换信号下的切换系统。该条件依赖于每个子系统存在一个共同的势垒密度函数。我们使用平方和方法与Putinar Positivstellenstrum一起应用该条件。
We study temporal properties of dynamical systems; specifically, we strive to determine a set of initial states that leads the solutions to reach desired states avoiding a predetermined unsafe set. This property, which we call safe reachability, has been studied in literature for autonomous systems using barrier function and Barrier densities [1]. In this paper, we generalize a sufficient condition for safe reachability of autonomous system to switched systems under arbitrary switching signals. The condition relies upon the existence of a common Barrier density function for each subsystem. We apply the condition using the sum of squares method together with Putinar Positivstellensatz.
使用屏障泛函的分布式参数系统的安全验证
影响因子：
2.6
作者：
Ahmadi M
通讯作者：
Ahmadi M