Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions

IF 7 1区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS IEEE Transactions on Automatic Control Pub Date : 2024-08-23 DOI:10.1109/TAC.2024.3449151
Giannis Delimpaltadakis;Jorge Cortés;W. P. M. H. Heemels
{"title":"Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions","authors":"Giannis Delimpaltadakis;Jorge Cortés;W. P. M. H. Heemels","doi":"10.1109/TAC.2024.3449151","DOIUrl":null,"url":null,"abstract":"<italic>Projected dynamical systems</i>\n (PDSs) form a class of discontinuous constrained dynamical systems, and have been used widely to solve optimization problems and variational inequalities. Recently, they have also gained significant attention for control purposes, such as high-performance integrators, saturated control, and feedback optimization. In this work, we establish that locally Lipschitz continuous dynamics, involving \n<italic>Control Barrier Functions</i>\n (CBFs), namely, \n<italic>CBF-based dynamics</i>\n, approximate PDSs. Specifically, we prove that trajectories of CBF-based dynamics \n<italic>uniformly converge</i>\n to trajectories of PDSs, as a CBF-parameter approaches infinity. Toward this, we also prove that CBF-based dynamics are perturbations of PDSs, with quantitative bounds on the perturbation. Our results pave the way to implement discontinuous PDS-based controllers in a continuous fashion, employing CBFs. We demonstrate this on an example on synchronverter control. Moreover, our results can be employed to numerically simulate PDSs, overcoming disadvantages of existing discretization schemes, such as computing projections to possibly nonconvex sets. Finally, this bridge between CBFs and PDSs may yield other potential benefits, including novel insights on stability.","PeriodicalId":13201,"journal":{"name":"IEEE Transactions on Automatic Control","volume":"70 1","pages":"681-688"},"PeriodicalIF":7.0000,"publicationDate":"2024-08-23","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/10645203/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

Projected dynamical systems (PDSs) form a class of discontinuous constrained dynamical systems, and have been used widely to solve optimization problems and variational inequalities. Recently, they have also gained significant attention for control purposes, such as high-performance integrators, saturated control, and feedback optimization. In this work, we establish that locally Lipschitz continuous dynamics, involving Control Barrier Functions (CBFs), namely, CBF-based dynamics , approximate PDSs. Specifically, we prove that trajectories of CBF-based dynamics uniformly converge to trajectories of PDSs, as a CBF-parameter approaches infinity. Toward this, we also prove that CBF-based dynamics are perturbations of PDSs, with quantitative bounds on the perturbation. Our results pave the way to implement discontinuous PDS-based controllers in a continuous fashion, employing CBFs. We demonstrate this on an example on synchronverter control. Moreover, our results can be employed to numerically simulate PDSs, overcoming disadvantages of existing discretization schemes, such as computing projections to possibly nonconvex sets. Finally, this bridge between CBFs and PDSs may yield other potential benefits, including novel insights on stability.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
通过控制障碍函数对投影动态系统进行连续逼近
投影动力系统(pds)是一类不连续约束动力系统,被广泛应用于求解优化问题和变分不等式。最近,它们也获得了显著的关注,用于控制目的,如高性能集成器,饱和控制和反馈优化。在这项工作中,我们建立了局部Lipschitz连续动力学,包括控制势垒函数(cbf),即基于cbf的动力学,近似pds。具体地说,我们证明了当cbf参数趋于无穷时,基于cbf的动力学轨迹一致收敛于pds的轨迹。为此,我们还证明了基于cbf的动力学是pds的扰动,并在扰动上有定量界。我们的结果为采用cbf以连续方式实现基于pds的不连续控制器铺平了道路。我们通过一个同步器控制的例子来说明这一点。此外,我们的结果可以用于数值模拟pds,克服了现有离散化方案的缺点,例如计算可能非凸集的投影。最后,cbf和pdp之间的这种桥梁可能会产生其他潜在的好处,包括对稳定性的新见解。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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.
期刊最新文献
Reaching Resilient Leader-Follower Consensus in Time-Varying Networks via Multi-Hop Relays Dynamical System Approach for Optimal Control Problems with Equilibrium Constraints Using Gap-Constraint-Based Reformulation Set-Based State Estimation for Discrete-Time Semi-Markov Jump Linear Systems Using Zonotopes Safe Event-triggered Gaussian Process Learning for Barrier-Constrained Control Energy-Gain Control of Time-Varying Systems: Receding Horizon Approximation
×
引用
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