Exponential-Alpha Safety Criteria of a Class of Dynamic Systems With Barrier Functions  

作　　者：Zheren Zhu Yi Chai Zhimin Yang Chenghong Huang 

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

出　　处：《IEEE/CAA Journal of Automatica Sinica》2022年第11期1939-1951,共13页自动化学报（英文版）

基　　金：supported by the National Natural Science Foundation of China(61633005)。

摘　　要：A classic kind of researches about the operational safety criterion for dynamic systems with barrier function can be roughly summarized as functional relationship,denoted by⊕,between the barrier function and its first derivative for time t,where⊕can be“=”,“<”,or“>”,etc.This article draws on the form of the stable condition expression for finite time stability to formulate a novel kind of relaxed safety judgement criteria called exponential-alpha safety criteria.Moreover,we initially explore to use the control barrier function under exponential-alpha safety criteria to achieve the control for the dynamic system operational safety.In addition,derived from the actual process systems,we propose multi-hypersphere methods which are used to construct barrier functions and improved them for three types of special spatial relationships between the safe state set and the unsafe state set,where both of them can be spatially divided into multiple subsets.And the effectiveness of the proposed safety criteria are demonstrated by simulation examples.

关 键 词：Barrier function dynamic system exponential-alpha multi-hypersphere method safety criteria 

分 类 号：X913[环境科学与工程—安全科学]