Yiting Chen, Pol Mestres, Jorge Cortes, Emiliano Dall'Anese
{"title":"基于优化的安全控制中的均衡点及其稳定性不取决于控制障碍函数","authors":"Yiting Chen, Pol Mestres, Jorge Cortes, Emiliano Dall'Anese","doi":"arxiv-2409.06808","DOIUrl":null,"url":null,"abstract":"Control barrier functions (CBFs) play a critical role in the design of safe\noptimization-based controllers for control-affine systems. Given a CBF\nassociated with a desired ``safe'' set, the typical approach consists in\nembedding CBF-based constraints into the optimization problem defining the\ncontrol law to enforce forward invariance of the safe set. While this approach\neffectively guarantees safety for a given CBF, the CBF-based control law can\nintroduce undesirable equilibrium points (i.e., points that are not equilibria\nof the original system); open questions remain on how the choice of CBF\ninfluences the number and locations of undesirable equilibria and, in general,\nthe dynamics of the closed-loop system. This paper investigates how the choice\nof CBF impacts the dynamics of the closed-loop system and shows that: (i) The\nCBF does not affect the number, location, and (local) stability properties of\nthe equilibria in the interior of the safe set; (ii) undesirable equilibria\nonly appear on the boundary of the safe set; and, (iii) the number and location\nof undesirable equilibria for the closed-loop system do not depend of the\nchoice of the CBF. Additionally, for the well-established safety filters and\ncontrollers based on both CBF and control Lyapunov functions (CLFs), we show\nthat the stability properties of equilibria of the closed-loop system are\nindependent of the choice of the CBF and of the associated extended class-K\nfunction.","PeriodicalId":501175,"journal":{"name":"arXiv - EE - Systems and Control","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Equilibria and Their Stability Do Not Depend on the Control Barrier Function in Safe Optimization-Based Control\",\"authors\":\"Yiting Chen, Pol Mestres, Jorge Cortes, Emiliano Dall'Anese\",\"doi\":\"arxiv-2409.06808\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Control barrier functions (CBFs) play a critical role in the design of safe\\noptimization-based controllers for control-affine systems. Given a CBF\\nassociated with a desired ``safe'' set, the typical approach consists in\\nembedding CBF-based constraints into the optimization problem defining the\\ncontrol law to enforce forward invariance of the safe set. While this approach\\neffectively guarantees safety for a given CBF, the CBF-based control law can\\nintroduce undesirable equilibrium points (i.e., points that are not equilibria\\nof the original system); open questions remain on how the choice of CBF\\ninfluences the number and locations of undesirable equilibria and, in general,\\nthe dynamics of the closed-loop system. This paper investigates how the choice\\nof CBF impacts the dynamics of the closed-loop system and shows that: (i) The\\nCBF does not affect the number, location, and (local) stability properties of\\nthe equilibria in the interior of the safe set; (ii) undesirable equilibria\\nonly appear on the boundary of the safe set; and, (iii) the number and location\\nof undesirable equilibria for the closed-loop system do not depend of the\\nchoice of the CBF. Additionally, for the well-established safety filters and\\ncontrollers based on both CBF and control Lyapunov functions (CLFs), we show\\nthat the stability properties of equilibria of the closed-loop system are\\nindependent of the choice of the CBF and of the associated extended class-K\\nfunction.\",\"PeriodicalId\":501175,\"journal\":{\"name\":\"arXiv - EE - Systems and Control\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - EE - Systems and Control\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.06808\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - EE - Systems and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.06808","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Equilibria and Their Stability Do Not Depend on the Control Barrier Function in Safe Optimization-Based Control
Control barrier functions (CBFs) play a critical role in the design of safe
optimization-based controllers for control-affine systems. Given a CBF
associated with a desired ``safe'' set, the typical approach consists in
embedding CBF-based constraints into the optimization problem defining the
control law to enforce forward invariance of the safe set. While this approach
effectively guarantees safety for a given CBF, the CBF-based control law can
introduce undesirable equilibrium points (i.e., points that are not equilibria
of the original system); open questions remain on how the choice of CBF
influences the number and locations of undesirable equilibria and, in general,
the dynamics of the closed-loop system. This paper investigates how the choice
of CBF impacts the dynamics of the closed-loop system and shows that: (i) The
CBF does not affect the number, location, and (local) stability properties of
the equilibria in the interior of the safe set; (ii) undesirable equilibria
only appear on the boundary of the safe set; and, (iii) the number and location
of undesirable equilibria for the closed-loop system do not depend of the
choice of the CBF. Additionally, for the well-established safety filters and
controllers based on both CBF and control Lyapunov functions (CLFs), we show
that the stability properties of equilibria of the closed-loop system are
independent of the choice of the CBF and of the associated extended class-K
function.