Soft Safety Analysis of Interconnected Systems

IF 7 1区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS IEEE Transactions on Automatic Control Pub Date : 2024-12-26 DOI:10.1109/TAC.2024.3522762
Weihao Zhang;Di Zhao;Shu Liang
{"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.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
互联系统的软安全性分析
本文介绍了非线性动力系统软安全的概念,从输入输出的角度进行了研究,并建立了验证互联系统软安全的标准。与传统的对系统状态施加刚性/硬约束的安全方法不同,我们的建议涉及将软屏障函数与系统输入和输出相结合,以表征软安全。特别是,当软势垒函数采用具有恒定QSR乘法器的二次形式时(后来扩展为动态乘法器),我们进一步定义了一类受输入输出信号二次约束的非线性系统的QSR安全性。本文介绍了在状态空间表示开环系统和互联系统中分析QSR安全性的方法,这些方法随后用于设计满足规定安全性和稳定性要求的QSR软安全系统。数值和仿真实例说明了该概念的合理性和结果的有效性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
IEEE Transactions on Automatic Control
IEEE Transactions on Automatic Control 工程技术-工程:电子与电气
CiteScore
11.30
自引率
5.90%
发文量
824
审稿时长
9 months
期刊介绍: 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.
期刊最新文献
Least-squares model-reference adaptive control: extension to higher relative degree plants Algorithmic Feedback Synthesis for Robust Strong Invariance of Continuous Control Systems Model Reference Adaptive Control of Almost Periodic Piecewise Linear Systems with Variable Periods and Disturbance Input Model Predictive Control of Hybrid Dynamical Systems Ring-patterned control for hyperexponential consensus of multi-agent systems with increasing scales
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1