Soft Safety Analysis of Interconnected Systems

This article introduces the concept of soft safety for nonlinear dynamical systems, examined from an input-output perspective, and establishes criteria for verifying soft safety in interconnected systems. Diverging from traditional safety approaches that enforce rigid/hard constraints on system stat...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on automatic control Jg. 70; H. 7; S. 4315 - 4329
Hauptverfasser:	Zhang, Weihao, Zhao, Di, Liang, Shu
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.07.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Autonomous systems Constraints Dynamical systems Eigenvalues and eigenfunctions Interconnected systems Linear systems Multipliers Nonlinear dynamical systems Nonlinear systems Numerical stability Observability QSR multiplier Quadratic forms Safety soft barrier function soft safety Stability criteria State space models Trajectory
ISSN:	0018-9286, 1558-2523
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Abstract	This article introduces the concept of soft safety for nonlinear dynamical systems, examined from an input-output perspective, and establishes criteria for verifying soft safety in interconnected systems. Diverging from traditional safety approaches that enforce rigid/hard constraints on system states, our proposal involves integrating soft barrier functions with respect to system inputs and outputs to characterize soft safety. Particularly, when the soft barrier function takes a quadratic form with a constant QSR multiplier-later extended to a dynamic multiplier-we further define QSR safety for a class of nonlinear systems subject to quadratic constraints on input-output signals. The article presents methods for analyzing QSR safety in both open-loop systems with state-space representations and interconnected systems, with these methods subsequently employed to design QSR soft safe systems meeting prescribed safety and stability requirements. Numerical and simulation examples are provided to illustrate the rationality of the concept and the efficacy of the results.
AbstractList	This article introduces the concept of soft safety for nonlinear dynamical systems, examined from an input-output perspective, and establishes criteria for verifying soft safety in interconnected systems. Diverging from traditional safety approaches that enforce rigid/hard constraints on system states, our proposal involves integrating soft barrier functions with respect to system inputs and outputs to characterize soft safety. Particularly, when the soft barrier function takes a quadratic form with a constant QSR multiplier-later extended to a dynamic multiplier-we further define QSR safety for a class of nonlinear systems subject to quadratic constraints on input-output signals. The article presents methods for analyzing QSR safety in both open-loop systems with state-space representations and interconnected systems, with these methods subsequently employed to design QSR soft safe systems meeting prescribed safety and stability requirements. Numerical and simulation examples are provided to illustrate the rationality of the concept and the efficacy of the results.
Author	Zhang, Weihao Zhao, Di Liang, Shu
Author_xml	– sequence: 1 givenname: Weihao orcidid: 0009-0008-5293-6974 surname: Zhang fullname: Zhang, Weihao email: zwh@tongji.edu.cn organization: Department of Control Science and Engineering and Shanghai Institute of Intelligent Science and Technology, Tongji University, Shanghai, China – sequence: 2 givenname: Di orcidid: 0000-0003-2508-9163 surname: Zhao fullname: Zhao, Di email: dzhao925@tongji.edu.cn organization: Department of Control Science and Engineering and Shanghai Institute of Intelligent Science and Technology, Tongji University, Shanghai, China – sequence: 3 givenname: Shu orcidid: 0000-0002-9719-1987 surname: Liang fullname: Liang, Shu email: sliang@tongji.edu.cn organization: Department of Control Science and Engineering and Shanghai Institute of Intelligent Science and Technology, Tongji University, Shanghai, China
BookMark	eNp9kD1rwzAQhkVJoUnavUMHQ2e70smS7TGEfgQCHZzOQpFP4JBYqaQM_vdVSIbSobccL7zPcTwzMhncgIQ8MlowRpuXzWJZAIWy4AKgknBDpkyIOgcBfEKmlLI6b6CWd2QWwi5FWZZsSorW2Zi12mIcs8Wg92PoQ-ZsthoieuOGAU3ELmvHEPEQ7smt1fuAD9c9J19vr5vlR77-fF8tF-vcQAMxt7SsbdVVTYrIRGe6SkjRACt1R63eUmGwsw0gbNOvlTal5NJqysutkbJCPifPl7tH775PGKLauZNP7wXFAaSgaSC15KVlvAvBo1Wmjzr2bohe93vFqDq7UcmNOrtRVzcJpH_Ao-8P2o__IU8XpEfEX_WaScEF_wG6um-6
CODEN	IETAA9
CitedBy_id	crossref_primary_10_1016_j_csite_2025_106388 crossref_primary_10_1016_j_csite_2025_106407
Cites_doi	10.3182/20050703-6-cz-1902.00743 10.1016/j.laa.2022.01.003 10.1016/j.ifacol.2015.11.152 10.1109/cdc.2013.6760828 10.1109/icps57144.2023.10142122 10.1109/tac.1976.1101352 10.1109/TAC.2008.919567 10.1109/tac.2007.902736 10.1016/j.automatica.2022.110604 10.1109/9.587335 10.1109/tse.1977.229904 10.1016/0005-1098(77)90020-6 10.1109/iccma56665.2022.10011466 10.1016/j.automatica.2020.109360 10.1109/tase.2018.2867614 10.1145/2185632.2185639 10.1007/978-3-319-29928-0 10.1016/j.automatica.2022.110178 10.7551/mitpress/1258.001.0001 10.1109/TAC.2004.840475 10.1109/cdc.2016.7799254 10.1007/978-3-319-49992-5 10.1139/cjfr-2014-0347 10.1109/lcsys.2018.2853698 10.1007/BF00276493 10.1109/tac.1974.1100603 10.1109/ur55393.2022.9826262 10.1109/TAC.2007.895842 10.4208/jcm.1003-m0015 10.1137/22M148968X 10.1007/bfb0044065 10.1109/tcst.2012.2218815 10.1109/tac.2014.2361595 10.1016/j.autcon.2017.12.015
ContentType	Journal Article
Copyright	Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2025
Copyright_xml	– notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2025
DBID	97E RIA RIE AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D
DOI	10.1109/TAC.2024.3522762
DatabaseName	IEEE Xplore (IEEE) IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional
DatabaseTitleList	Technology Research Database
Database_xml	– sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering
EISSN	1558-2523
EndPage	4329
ExternalDocumentID	10_1109_TAC_2024_3522762 10816535
Genre	orig-research
GrantInformation_xml	– fundername: Shanghai Municipal Science and Technology Major Project grantid: 2021SHZDZX0100 – fundername: National Natural Science Foundation of China grantid: 62088101; 72171171 funderid: 10.13039/501100001809 – fundername: National Key Research and Development Program of China grantid: 2022YFA1004700 – fundername: Fundamental Research Funds for the Central Universities; Fundamental Research Funds for the Central Universities of China grantid: 22120240440 funderid: 10.13039/501100012226
GroupedDBID	-~X .DC 0R~ 29I 3EH 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD F5P HZ~ H~9 IAAWW IBMZZ ICLAB IDIHD IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P RIA RIE RNS TAE TN5 VH1 VJK ~02 AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D
ID	FETCH-LOGICAL-c292t-f048f7d79c29e15dcd75659214ad0fab05cedf92e2b2767ac4636fa034bc667e3
IEDL.DBID	RIE
ISICitedReferencesCount	70
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001521488300029&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0018-9286
IngestDate	Thu Oct 30 15:57:05 EDT 2025 Sat Nov 29 07:51:13 EST 2025 Tue Nov 18 22:43:12 EST 2025 Wed Aug 27 02:14:29 EDT 2025
IsPeerReviewed	true
IsScholarly	true
Issue	7
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html https://doi.org/10.15223/policy-029 https://doi.org/10.15223/policy-037
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c292t-f048f7d79c29e15dcd75659214ad0fab05cedf92e2b2767ac4636fa034bc667e3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0002-9719-1987 0009-0008-5293-6974 0000-0003-2508-9163
PQID	3226500002
PQPubID	85475
PageCount	15
ParticipantIDs	crossref_citationtrail_10_1109_TAC_2024_3522762 crossref_primary_10_1109_TAC_2024_3522762 ieee_primary_10816535 proquest_journals_3226500002
PublicationCentury	2000
PublicationDate	2025-07-01
PublicationDateYYYYMMDD	2025-07-01
PublicationDate_xml	– month: 07 year: 2025 text: 2025-07-01 day: 01
PublicationDecade	2020
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	IEEE transactions on automatic control
PublicationTitleAbbrev	TAC
PublicationYear	2025
Publisher	IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml	– name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References	ref35 ref12 ref34 ref15 ref37 ref14 ref36 ref31 ref11 ref33 ref10 ref32 ref2 ref1 ref17 ref16 ref38 ref19 ref18 Hong (ref30) 2005; 1 ref24 ref23 ref26 ref25 Li (ref13) 2021; 31 ref22 ref21 Khalil (ref20) 1996 ref28 Zhao (ref4) 2023 ref27 ref29 ref8 ref7 ref9 ref3 ref6 ref5
References_xml	– volume: 31 start-page: 82 issue: 2 year: 2021 ident: ref13 article-title: Experimental research on thermal damage of UAV in fire field publication-title: China Saf. Sci. J. – ident: ref6 doi: 10.3182/20050703-6-cz-1902.00743 – ident: ref27 doi: 10.1016/j.laa.2022.01.003 – ident: ref9 doi: 10.1016/j.ifacol.2015.11.152 – ident: ref18 doi: 10.1109/cdc.2013.6760828 – ident: ref5 doi: 10.1109/icps57144.2023.10142122 – ident: ref28 doi: 10.1109/tac.1976.1101352 – ident: ref21 doi: 10.1109/TAC.2008.919567 – ident: ref10 doi: 10.1109/tac.2007.902736 – ident: ref22 doi: 10.1016/j.automatica.2022.110604 – ident: ref32 doi: 10.1109/9.587335 – ident: ref1 doi: 10.1109/tse.1977.229904 – ident: ref17 doi: 10.1016/0005-1098(77)90020-6 – ident: ref2 doi: 10.1109/iccma56665.2022.10011466 – ident: ref31 doi: 10.1016/j.automatica.2020.109360 – ident: ref34 doi: 10.1109/tase.2018.2867614 – ident: ref15 doi: 10.1145/2185632.2185639 – ident: ref14 doi: 10.1007/978-3-319-29928-0 – ident: ref11 doi: 10.1016/j.automatica.2022.110178 – ident: ref19 doi: 10.7551/mitpress/1258.001.0001 – ident: ref29 doi: 10.1109/TAC.2004.840475 – ident: ref7 doi: 10.1109/cdc.2016.7799254 – volume-title: Nonlinear Systems year: 1996 ident: ref20 – ident: ref23 doi: 10.1007/978-3-319-49992-5 – ident: ref12 doi: 10.1139/cjfr-2014-0347 – ident: ref8 doi: 10.1109/lcsys.2018.2853698 – volume: 1 volume-title: Analysis and Design of Nonlinear Systems year: 2005 ident: ref30 – ident: ref38 doi: 10.1007/BF00276493 – ident: ref25 doi: 10.1109/tac.1974.1100603 – ident: ref3 doi: 10.1109/ur55393.2022.9826262 – ident: ref36 doi: 10.1109/TAC.2007.895842 – ident: ref24 doi: 10.4208/jcm.1003-m0015 – ident: ref26 doi: 10.1137/22M148968X – ident: ref33 doi: 10.1007/bfb0044065 – ident: ref35 doi: 10.1109/tcst.2012.2218815 – start-page: 109 volume-title: Proc. 3rd Asia-Pacific Conf. Commun. Technol. Comput. Sci. year: 2023 ident: ref4 article-title: Design of target missile safety control system based on active passive composite system – ident: ref16 doi: 10.1109/tac.2014.2361595 – ident: ref37 doi: 10.1016/j.autcon.2017.12.015
SSID	ssj0016441
Score	2.6633818
Snippet	This article introduces the concept of soft safety for nonlinear dynamical systems, examined from an input-output perspective, and establishes criteria for... This article introduces the concept of soft safety for nonlinear dynamical systems, examined from an input–output perspective, and establishes criteria for...
SourceID	proquest crossref ieee
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	4315
SubjectTerms	Autonomous systems Constraints Dynamical systems Eigenvalues and eigenfunctions Interconnected systems Linear systems Multipliers Nonlinear dynamical systems Nonlinear systems Numerical stability Observability QSR multiplier Quadratic forms Safety soft barrier function soft safety Stability criteria State space models Trajectory
Title	Soft Safety Analysis of Interconnected Systems
URI	https://ieeexplore.ieee.org/document/10816535 https://www.proquest.com/docview/3226500002
Volume	70
WOSCitedRecordID	wos001521488300029&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1558-2523 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0016441 issn: 0018-9286 databaseCode: RIE dateStart: 19630101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFH-44UEPfk6cTunBi4duXdokzXEMh6chbMJuJR8vIMgmWzfwvzdJuzERBW8tJJC-9H0k773fD-AhV0gYT02smJZxRkkWSxQsJsoD6LulZ6gD2QQfj_PZTLzUzeqhFwYRQ_EZdv1jyOWbhV77qzKn4Xmf0ZQ2oME5q5q1dikD79grs-s0mOS7nGQietPB0J0ESdb10QZn5JsPCqQqPyxxcC-j038u7AxO6jgyGlQbfw4HOL-A4z10wUvoTpyJjSbSYvkZbcFHooWNwi2g9hUu2sWbUQ1a3oLX0dN0-BzX9AixJoKUsXXKZ7nhwr1inxptOPVJ0n4mTWKlSqhGYwVBotxHc6k9NpiVSZopzRjH9Aqa88UcryFK3CnIKCmooR4vhubcKqtImjGJKHPTht5WYIWuscM9hcV7Ec4QiSiciAsv4qIWcRsedzM-KtyMP8a2vEj3xlXSbENnuylFrVmrwhkg5kkcEnLzy7RbOCKepDfU1HagWS7XeAeHelO-rZb34af5Ag0cvbI
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB60CurBZ8Vq1T148bBtms1j9yiiKGoRrOBtyWMCgrRSq-C_N8luS0UUvO1CAtnJziOZme8DOMk1UiEzm2phVMo4ZanCQqRUBwB9v3SGJpJNyH4_f3oq7utm9dgLg4ix-Aw74THm8u3IvIerMq_heU_wjC_CEmeMkqpda5Y0CK69Mrxeh2k-y0qSojs4O_dnQco6Id6Qgn7zQpFW5Yctjg7mcuOfS9uE9TqSTM6qrd-CBRxuw9ocvuAOdB68kU0elMPJZzKFH0lGLon3gCbUuBgfcSY1bHkTHi8vBudXaU2QkBpa0EnqvPo5aWXhX7HHrbGShzRpjylLnNKEG7SuoEi1_2ipTEAHc4pkTBshJGa70BiOhrgHCfHnIKtVwS0PiDE8l047TTMmFKLKbQu6U4GVpkYPDyQWL2U8RZCi9CIug4jLWsQtOJ3NeK2QM_4Y2wwinRtXSbMF7emmlLVuvZXeBIlA40Do_i_TjmHlanB3W95e928OYJUGyt5YYduGxmT8joewbD4mz2_jo_gDfQEae8D5
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Soft+Safety+Analysis+of+Interconnected+Systems&rft.jtitle=IEEE+transactions+on+automatic+control&rft.au=Zhang%2C+Weihao&rft.au=Zhao%2C+Di&rft.au=Liang%2C+Shu&rft.date=2025-07-01&rft.issn=0018-9286&rft.eissn=1558-2523&rft.volume=70&rft.issue=7&rft.spage=4315&rft.epage=4329&rft_id=info:doi/10.1109%2FTAC.2024.3522762&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_TAC_2024_3522762
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9286&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9286&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9286&client=summon