Multi-Player Pursuer Coordination for Nonlinear Reach-Avoid Games in Arbitrary Dimensions via Coverage Control

The concept of reach-avoid (RA) games via coverage control is generalized to players with nonlinear dynamics and in arbitrary dimensions. Pursuer coordination on defense surfaces is formally shown sufficient as a cooperative strategy for RA games in any dimensions. Nonlinear control synthesis strategies with convergence guarantees are provided to enforce coverage on said surfaces. The effectiveness of two coverage control formulations is verified through simulation.