{"title":"Soft Safety Analysis of Interconnected Systems","authors":"Weihao Zhang;Di Zhao;Shu Liang","doi":"10.1109/TAC.2024.3522762","DOIUrl":null,"url":null,"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.","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"70 7","pages":"4315-4329"},"PeriodicalIF":7.0000,"publicationDate":"2024-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Automatic Control","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10816535/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0
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.
期刊介绍:
In the IEEE Transactions on Automatic Control, the IEEE Control Systems Society publishes high-quality papers on the theory, design, and applications of control engineering. Two types of contributions are regularly considered:
1) Papers: Presentation of significant research, development, or application of control concepts.
2) Technical Notes and Correspondence: Brief technical notes, comments on published areas or established control topics, corrections to papers and notes published in the Transactions.
In addition, special papers (tutorials, surveys, and perspectives on the theory and applications of control systems topics) are solicited.