Abstract
We consider a two player, zero sum differential game with a cost of Bolza type, subject to a state constraint. It is shown that, under a suitable hypothesis concerning existence of inward pointing velocity vectors for the minimizing player at the boundary of the constraint set, the lower value of the game is Lipschitz continuous and is the unique viscosity solution (appropriately defined) of the lower Hamilton-Jacobi-Isaacs equation. If the inward pointing hypothesis is satisfied by the maximizing player’s velocity set, then the upper game is Lipschitz continuous and is the unique solution of the upper Hamilton-Jacobi-Isaacs equation. Under the classical Isaacs condition, the upper and lower Hamilton-Jacobi-Isaacs equation coincide. In this case, even if the inward pointing hypothesis is satisfied w.r.t. both players, the value of the game might fail to exist; however imposing stronger constraint qualifications (involving the existence of inward pointing vectors associated with saddle points for the Hamiltonian) the game value does exist and is the unique solution to this Hamilton-Jacobi-Isaacs equation. The novelty of our work resides in the fact that we permit the two players’ controls to be completely coupled within the dynamic constraint, state constraint and the cost functional, in contrast to earlier work, in which the players’ controls are decoupled w.r.t. the dynamics and state constraint, and interaction between them only occurs through the cost function. Furthermore, the inward pointing hypotheses that we impose are of a verifiable nature and less restrictive than those earlier employed.
Similar content being viewed by others
References
Aubin, J.-P., Frankowska, H.: Set-Valued Analysis. Birkhäuser Boston Inc., Boston, Basel, Berlin (1990)
Bardi, M., Capuzzo-Dolcetta, I.: Optimal control and viscosity solutions of the Hamilton-Jacobi equations. Birkhäuser, Boston (1997)
Bardi, M., Koike, S., Soravia, P.: Pursuit-evasion game with state constraints: dynamic programming and discrete-time approximations. Discret. Contin. Dyn. Syst. 6(2), 361–380 (2000)
Basar, T., Bernhard, P.: H-Infinity Optimal Control and Related Minimax Design Problems. Birkhaüser, Boston, MA (1991)
Bettiol, P., Cardaliaguet, P., Quincampoix, M.: Zero-sum state constrained differential games: existence of value for Bolza problem. Int. J. Game Theory 34, 495–527 (2006)
Bettiol, P., Cardaliaguet, P., Quincampoix, M.: On a Non anticipative Filippov Theorem for Control Systems with state constraints. In: Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC ’05, pp. 257–261 (2006)
Bettiol, P., Frankowska, H.: Regularity of solution maps of differential inclusions for systems under state constraints. J. Set-Valued Anal. 15(1), 21–45 (2007)
Bettiol, P., Vinter, R.B.: Trajectories satisfying a smooth state constraint: improved estimates. IEEE TAC 56(5), 1090–1096 (2011)
Bettiol, P., Vinter, R.B.: Estimates on trajectories in a closed set with corners for (t, x) dependent data. Math. Control Relat. Fields 3, 245–267 (2013)
Cardaliaguet, P., Quincampoix, M., Saint-Pierre, P.: Numerical methods for differential games. In: Bardi, M., Raghavan, T.E.S., Parthasarathy, T. (eds.) Stochastic and Differential Games : Theory and numerical methods, pp. 177–247. Birkhäuser, Boston (1999)
Cardaliaguet, P., Quincampoix, M., Saint-Pierre, P.: Pursuit differential games with state constraints. SIAM J. Control Optim. 39(5), 1615–1632 (2001)
Cardaliaguet, P., Plaskacz, S.: Invariant solutions of differential games and Hamilton–Jacobi equations for time-measurable hamiltonians. SIAM J. Control Optim. 38(5), 1501–1520 (2000)
Edwards, C., Spurgeon, S.: Sliding Mode Control: Theory And Applications. CRC Press, Boca Raton (1998)
Evans, L.C., Souganidis, P.E.: Differential games and representation formulas for solutions of Hamilton–Jacobi equations. Indiana Univ. Math. J. 282, 487–502 (1984)
Frankowska, H., Mazzola, M.: On relations of the adjoint state to the value function for optimal control problems with state constraints. NoDEA Nonlinear Differ. Equ. Appl. 20(2), 361–383 (2013)
Isaacs, R.: Differential Games. Wiley, New York (1965)
Koike, S.: On the state constraint problem for differential games. Indiana Univ. Math. J. 44(2), 467–487 (1995)
Krasovskii, N.N., Subbotin, A.I.: Game-Theorical Control Problems. Springer-Verlag, New-York (1988)
Plaskacz, S., Quincampoix, M.: Value-functions for differential games and control systems with discontinuous terminal cost. SIAM J. Control Optim. 39(5), 1485–1498 (2000)
Rockafellar, R.T.: Clarke’s tangent cones and the boundaries of closed sets in \(\mathbb{R}^{n}\). Nonlinear Anal. 3(1), 145–154 (1979)
Soner, H.M.: Optimal control problems with state-space constraints. SIAM J. Control Optim. 24, 552–562 (1986)
Vinter, R.B.: Optimal Control. Birkhaüser, Boston (2000)
Acknowledgements
This research of the first and second authors benefited from the support of the “FMJH Program Gaspard Monge in optimization and operation research” (PGMO 2015-2832H, PGMO 2016-1570H), and from the support to this program from EDF and EDF-THALES-ORANGE-CRITEO. The research of the second author benefited from the support of the Project PGMO 2018-0047H, and was also partially supported by Research Contract AFOSR-FA9550-18-1-0254.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bettiol, P., Quincampoix, M. & Vinter, R.B. Existence and Characterization of the Values of Two Player Differential Games with State Constraints. Appl Math Optim 80, 765–799 (2019). https://doi.org/10.1007/s00245-019-09608-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00245-019-09608-8