Safety criteria based on barrier function under the framework of boundedness for some dynamic systems  

作　　者：Zheren ZHU Yi CHAI Zhimin YANG Chenghong HUANG 

机构地区：[1]State Key Laboratory of Power Transmission Equipment and System Security and New Technology,Chongqing University,Chongqing 400044,China [2]School of Automation,Chongqing University,Chongqing 400044,China [3]Chongqing High-Tech-Zone Feima Innovation Research Institute,Chongqing 400050,China

出　　处：《Science China(Information Sciences)》2022年第2期71-84,共14页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China(Grant No.61633005)。

摘　　要：Barrier functions have been reported to be useful in quantifying the safety of some dynamic systems.Usually,when using the barrier functions,we try to transform safety analysis issues of dynamic systems into a class of reachability issues from a safe set to an unsafe set.This article presents a novel sufficient safety criterion for some dynamic systems.The proposed criterion is based on the barrier function and works as long as the upper bound of the barrier function is kept non-positive.Further,we present a mathematical description of fault safety for some dynamic system that experienced a fault at a certain time and propose a corresponding fault safety criterion for the aforementioned system.

关 键 词：safety criteria barrier function fault safety multi-hypersphere method dynamic system 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]