Safety guarantee for time-delay systems with disturbances  

作　　者：Wenyou LIU Yunjun BAI Li JIAO Naijun ZHAN 

机构地区：[1]State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100190,China [2]University of Chinese Academy of Sciences,Beijing 100049,China

出　　处：《Science China(Information Sciences)》2023年第3期114-128,共15页中国科学（信息科学）（英文版）

基　　金：supported by the National Natural Science Foundation of China(Grant Nos.61625206,61732001,61836005,61872341,61972385).

摘　　要：Time delays occur in various engineering applications because they may be inherent in the plants or caused by networks.In this paper,we investigate the safety verification problem of time-delay systems modeled by nonlinear delay differential equations subject to control inputs and disturbances in their dynamics.Building upon classical control barrier functionals,we develop the notions of input-to-state safety and input-to-state safe control barrier functionals,in which input-to-state safe control barrier functionals are used to guarantee the safety of time-delay systems with control inputs and disturbances.Three examples are provided to demonstrate the proposed approach.

关 键 词：time-delay systems delay differential equations control barrier functionals controllers SAFETY 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程]