Title:Differential Games Based on Invariant Generation

Abstract:Differential games play an important role in collision avoidance, motion planning and control of aircrafts, and related applications. A central problem is the computation of the set of initial states from which the ego player can enforce a stay within the safe set over a specified time horizon. Previous methods addressing this problem are mostly limited to finite time horizons. We study the problem in the context of an infinite time horizon, where the ego player aims to perpetually maintain the system within the safe set, while the mutual other player attempts to enforce a visit to an unsafe state. We consider the problem within the Hamilton-Jacobi-Isaacs equation framework with unique Lipschitz continuous viscosity solutions. Through this formulation, the game is proven to have value and contemporary numerical methods can be applied to such differential games. Finally an example adopted from a Moore-Greitzer jet-engine model is employed to illustrate our approach.