Small-gain theorem for safety verification of interconnected systems

被引：34

作者：

Lyu, Ziliang ^{[1
]}

Xu, Xiangru ^{[2
]}

Hong, Yiguang ^{[1
]}

机构：

[1] Tongji Univ, Dept Control Sci & Engn, Shanghai, Peoples R China

[2] Univ Wisconsin, Dept Mech Engn, Madison, WI 53706 USA

来源：

AUTOMATICA | 2022年 / 139卷

基金：

中国国家自然科学基金;

关键词：

Input-to-state safety (ISSf); Barrier function; Interconnected systems; Small-gain theorem; BARRIER; FORMULATION;

D O I：

10.1016/j.automatica.2022.110178

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A small-gain theorem in the formulation of barrier function is developed in this work for safety verification of interconnected systems. This result is helpful to verify input-to-state safety (ISSf) for interconnected systems from the safety information encoded in the individual ISSf-barrier functions. Also, it can be used to obtain a safety set in a higher dimensional space from the safety sets in two lower dimensional spaces. (C)& nbsp;2022 Elsevier Ltd. All rights reserved.& nbsp;

引用

页数：6

共 25 条

[1] Control Barrier Function Based Quadratic Programs for Safety Critical Systems [J].

Ames, Aaron D. ;

Xu, Xiangru ;

Grizzle, Jessy W. ;

Tabuada, Paulo .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (08) :3861-3876

[2]

Ames AD, 2014, IEEE DECIS CONTR P, P6271, DOI 10.1109/CDC.2014.7040372

[3] Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff [J].

Balachandran, Sweewarman ;

Ozay, Necmiye ;

Atkins, Ella M. .

JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2016, 13 (09) :357-369

[4]

Blanchini F, 2008, SYST CONTROL-FOUND A, P1

[5]

Clarke E., 2018, Model checking, V2nd

[6] A Dissipativity Approach to Safety Verification for Interconnected Systems [J].

Coogan, Samuel ;

Arcak, Murat .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (06) :1722-1727

[7] A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems [J].

Jiang, ZP ;

Mareels, IMY ;

Wang, Y .

AUTOMATICA, 1996, 32 (08) :1211-1215

[8] SMALL-GAIN THEOREM FOR ISS SYSTEMS AND APPLICATIONS [J].

JIANG, ZP ;

TEEL, AR ;

PRALY, L .

MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 1994, 7 (02) :95-120

[9] Input-to-State Safety With Control Barrier Functions [J].

Kolathaya, Shishir ;

Ames, Aaron D. .

IEEE CONTROL SYSTEMS LETTERS, 2019, 3 (01) :108-113

[10] A Small-Gain Theorem for Switched Interconnected Nonlinear Systems and Its Applications [J].

Long, Lijun ;

Zhao, Jun .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (04) :1082-1088

← 1 2 3 →