{"title":"A Control Barrier Function Composition Approach for Multiagent Systems in Marine Applications","authors":"Yujia Yang;Chris Manzie;Ye Pu","doi":"10.1109/TMECH.2025.3543398","DOIUrl":null,"url":null,"abstract":"The agents within a multiagent system (MAS) operating in marine environments often need to utilize task payloads and avoid collisions in coordination, necessitating adherence to a set of relative-pose constraints, which may include field-of-view, line-of-sight, collision-avoidance, and range constraints. A nominal controller designed for reference tracking may not guarantee the marine MAS stays safe w.r.t. these constraints. To modify the nominal input as one that enforces safety, we introduce a framework to systematically encode the relative-pose constraints as control barrier functions (CBFs) and combine them as a composite nonsmooth CBF (NCBF) using Boolean composition, which enables a less conservative safe control design compared to enforcing the individual CBFs. Within the relative-pose constraints, the challenging line-of-sight constraint is derived from a minimum distance function whose derivative is not explicit. Involving it in the composition renders the resulting NCBF not enforceable through existing safe control design methods. To address this challenge, we propose a novel quadratic program formulation based on the dual of the minimum distance problem and develop a new theory to ensure the resulting control input guarantees constraint satisfaction. Lastly, we validate the effectiveness of our proposed framework on a simulated marine MAS and a real-world marine MAS comprising one autonomous surface vehicle and two autonomous underwater vehicles.","PeriodicalId":13372,"journal":{"name":"IEEE/ASME Transactions on Mechatronics","volume":"30 5","pages":"3814-3825"},"PeriodicalIF":7.3000,"publicationDate":"2025-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE/ASME Transactions on Mechatronics","FirstCategoryId":"5","ListUrlMain":"https://ieeexplore.ieee.org/document/10932820/","RegionNum":1,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
引用次数: 0
Abstract
The agents within a multiagent system (MAS) operating in marine environments often need to utilize task payloads and avoid collisions in coordination, necessitating adherence to a set of relative-pose constraints, which may include field-of-view, line-of-sight, collision-avoidance, and range constraints. A nominal controller designed for reference tracking may not guarantee the marine MAS stays safe w.r.t. these constraints. To modify the nominal input as one that enforces safety, we introduce a framework to systematically encode the relative-pose constraints as control barrier functions (CBFs) and combine them as a composite nonsmooth CBF (NCBF) using Boolean composition, which enables a less conservative safe control design compared to enforcing the individual CBFs. Within the relative-pose constraints, the challenging line-of-sight constraint is derived from a minimum distance function whose derivative is not explicit. Involving it in the composition renders the resulting NCBF not enforceable through existing safe control design methods. To address this challenge, we propose a novel quadratic program formulation based on the dual of the minimum distance problem and develop a new theory to ensure the resulting control input guarantees constraint satisfaction. Lastly, we validate the effectiveness of our proposed framework on a simulated marine MAS and a real-world marine MAS comprising one autonomous surface vehicle and two autonomous underwater vehicles.
期刊介绍:
IEEE/ASME Transactions on Mechatronics publishes high quality technical papers on technological advances in mechatronics. A primary purpose of the IEEE/ASME Transactions on Mechatronics is to have an archival publication which encompasses both theory and practice. Papers published in the IEEE/ASME Transactions on Mechatronics disclose significant new knowledge needed to implement intelligent mechatronics systems, from analysis and design through simulation and hardware and software implementation. The Transactions also contains a letters section dedicated to rapid publication of short correspondence items concerning new research results.