Search papers, labs, and topics across Lattice.
FORMULA, a novel distributed control framework, is introduced to address the challenges of safe and scalable formation control for multi-robot systems. It combines Model Predictive Control (MPC) with Control Lyapunov Functions (CLFs) for stability and learns Control Barrier Functions (CBFs) using neural networks for decentralized safety, thereby automating safety constraint design. Simulations show FORMULA enables safe, formation-preserving navigation in complex environments, overcoming limitations of traditional MPC and CBF methods.
Forget hand-tuning safety constraints: FORMULA learns them for multi-robot systems, enabling safer and more scalable formation control.
Multi-robot systems (MRS) are essential for large-scale applications such as disaster response, material transport, and warehouse logistics, yet ensuring robust, safety-aware formation control in cluttered and dynamic environments remains a major challenge. Existing model predictive control (MPC) approaches suffer from limitations in scalability and provable safety, while control barrier functions (CBFs), though principled for safety enforcement, are difficult to handcraft for large-scale nonlinear systems. This paper presents FORMULA, a safe distributed, learning-enhanced predictive control framework that integrates MPC with Control Lyapunov Functions (CLFs) for stability and neural network-based CBFs for decentralized safety, eliminating manual safety constraint design. This scheme maintains formation integrity during obstacle avoidance, resolves deadlocks in dense configurations, and reduces online computational load. Simulation results demonstrate that FORMULA enables scalable, safety-aware, formation-preserving navigation for multi-robot teams in complex environments.
