Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems
Because of the scalability issues associated with the symbolic controller synthesis approach, employing it in a multi-agent system (MAS) framework becomes difficult. In this paper, we present a novel approach for synthesizing distributed symbolic controllers for MAS, that enforces a local Linear Temporal Logic (LTL) specification on each agent and global safety specifications on the MAS, in a computationally efficient manner by leveraging the concept of control barrier functions (CBF). In addition, we also provide an analysis on the effect of the CBF parameters on the conservatism introduced by our proposed approach in the size and domain of the synthesized controller. The effectiveness of this approach is demonstrated through a comparison with the conventional monolithic symbolic control, using simulation as well as hardware demonstrations.
Code (0)
등록된 구현이 없습니다.
Methods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Distributed Safe Navigation of Multi-Agent Systems using Control Barrier Function-Based Optimal Controllers
This paper proposes a distributed controller synthesis framework for safe navigation of multi-agent systems. We leverage control barrier functions to formulate collision avoidance with obstacles and teammates as constrai…
Collision AvoidancevalidDistributed 3D Leader-Follower Formation Control with Field-of-View Safety via Control Barrier Functions
This letter proposes a distributed 3D leader-follower formation (3D-LFF) control framework for multi-UAV systems that achieves formation tracking while enforcing perception safety constraints. Maintaining safe, vision-ba…
Control Barrier Functionals: Safety-critical Control for Time Delay Systems
This work presents a theoretical framework for the safety-critical control of time delay systems. The theory of control barrier functions, that provides formal safety guarantees for delay-free systems, is extended to sys…
Distributed Event-Triggered Distance-Based Formation Control for Multi-Agent Systems
This paper addresses the problem of collaborative formation control for multi-agent systems with limited resources. We consider a team of robots tasked with achieving a desired formation from an arbitrary initial configu…
Collision AvoidanceDistributed Coordination for Multi-Vehicle Systems in the Presence of Misbehaving Vehicles
The coordination problem of multi-vehicle systems is of great interests in the area of autonomous driving and multi-vehicle control. This work mainly focuses on multi-task coordination problem of a group of vehicles with…
Autonomous DrivingCollision Avoidance