Safe Coverage of Compact Domains For Second Order Dynamical Systems

TL;DR

This paper introduces a distributed control method for autonomous vehicles to safely cover compact areas, combining stable coverage control with an analytical Hamilton-Jacobi reachability solution for collision avoidance, applicable to various domain shapes.

Contribution

It presents a novel, analytically derived Hamilton-Jacobi collision avoidance strategy integrated with a stable coverage controller for second-order vehicles in arbitrary compact domains.

Findings

Reduces collision count significantly.

Decreases oscillatory vehicle behavior.

Achieves stable coverage in diverse domain shapes.

Abstract

Autonomous systems operating in close proximity with each other to cover a specified area has many potential applications, but to achieve effective coordination, two key challenges need to be addressed: coordination and safety. For coordination, we propose a locally asymptotically stable distributed coverage controller for compact domains in the plane and homogeneous vehicles modeled with second order dynamics with bounded input forces. This control policy is based on artificial potentials designed to enforce desired vehicle-domain and inter-vehicle separations, and can be applied to arbitrary compact domains including non-convex ones. We prove, using Lyapunov theory, that certain coverage configurations are locally asymptotically stable. For safety, we utilize Hamilton-Jacobi (HJ) reachability theory to guarantee pairwise collision avoidance. Rather than computing numerical solutions of the associated HJ partial differential equation as is typically done, we derive an analytical solution for our second-order vehicle model. This provides an exact, global solution rather than an approximate, local one within some computational domain. In addition to considerably reducing collision count, the collision avoidance controller also reduces oscillatory behaviour of vehicles, helping the system reach steady state faster. We demonstrate our approach in three representative simulations involving a square domain, triangle domain, and a non-convex moving domain.