Differential Hybrid Games

This article introduces differential hybrid games, which combine differential games with hybrid games. In both kinds of games, two players interact with continuous dynamics. The difference is that hybrid games also provide all the features of hybrid systems and discrete games, but only deterministic differential equations. Differential games, instead, provide differential equations with continuous-time game input by both players, but not the luxury of hybrid games, such as mode switches and discrete-time or alternating adversarial interaction. This article augments differential game logic with modalities for the combined dynamics of differential hybrid games. It shows how hybrid games subsume differential games and introduces differential game invariants and differential game variants for proving properties of differential games inductively.

[1]  Alexandre M. Bayen,et al.  A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.

[2]  D. Marker.  Model theory : an introduction , 2002 .

[3]  Mahesh Viswanathan,et al.  Specifications for decidable hybrid games , 2011, Theor. Comput. Sci..

[4]  André Platzer,et al.  Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .

[5]  L. Evans,et al.  Viscosity solutions of Isaacs' equations and differential games with Lipschitz controls , 1984 .

[6]  P. Varaiya,et al.  Differential games , 1971 .

[7]  Alexandre M. Bayen,et al.  Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation , 2007, HSCC.

[8]  Patricia Bouyer,et al.  O-Minimal Hybrid Reachability Games , 2009, Log. Methods Comput. Sci..

[9]  Anil Nerode,et al.  Viability in Hybrid Systems , 1995, Theor. Comput. Sci..

[10]  Helmut Werner,et al.  Gewöhnliche Differentialgleichungen , 1986, Hochschultext.

[11]  Duvsan Repovvs,et al.  Continuous Selections of Multivalued Mappings , 1998, 1401.2257.

[12]  André Platzer,et al.  Differential Game Logic , 2014, ACM Trans. Comput. Log..

[13]  P. Vachenauer,et al.  Gew??hnliche Differentialgleichungen , 2001 .

[14]  Martino Bardi,et al.  Stochastic and Differential Games , 1999 .

[15]  Zdzisław Denkowski,et al.  Set-Valued Analysis , 2021 .

[16]  L. Evans,et al.  Partial Differential Equations , 1941 .

[17]  D. S. Arnon,et al.  Algorithms in real algebraic geometry , 1988 .

[18]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[19]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[20]  Alain Rapaport,et al.  Characterization of Barriers of Differential Games , 1998 .

[21]  Jean-Pierre Aubin,et al.  Differential Games: A Viability Approach , 1990 .

[22]  Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 , 2012, LICS.

[23]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[24]  N. N. Krasovskii,et al.  Game-Theoretical Control , 1988 .

[25]  Yan Gao,et al.  On the Reachability Problem for Uncertain Hybrid Systems , 2007, IEEE Transactions on Automatic Control.

[26]  P. Souganidis.  Approximation schemes for viscosity solutions of Hamilton-Jacobi equations , 1985 .

[27]  Mythily Ramaswamy,et al.  Zero-Sum Differential Games Involving Hybrid Controls , 2006 .

[28]  Edmund M. Clarke,et al.  Computing differential invariants of hybrid systems as fixedpoints , 2008, Formal Methods Syst. Des..

[29]  Oana-Silvia Serea,et al.  Discontinuous differential games and control systems with supremum cost , 2002 .

[30]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[31]  Leon A. Petrosjan,et al.  Differential Games of Pursuit , 1993 .

[32]  S. Basu,et al.  Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics) , 2006 .

[33]  P. Lions,et al.  Viscosity solutions of Hamilton-Jacobi equations , 1983 .

[34]  G. Barles.  An Introduction to the Theory of Viscosity Solutions for First-Order Hamilton–Jacobi Equations and Applications , 2013 .

[35]  André Platzer,et al.  The Complete Proof Theory of Hybrid Systems , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

[36]  Marc Quincampoix,et al.  Differential Games Through Viability Theory: Old and Recent Results , 2007 .

[37]  André Platzer,et al.  Differential Dynamic Logic for Hybrid Systems , 2008, Journal of Automated Reasoning.

[38]  Otomar Hájek,et al.  Pursuit Games: An Introduction to the Theory and Applications of Differential Games of Pursuit and Evasion , 2008 .

[39]  Lars Grüne,et al.  Differential Games and Zubov's Method , 2011, SIAM J. Control. Optim..

[40]  Patrick Saint-Pierre.  Viable Capture Basin for Studying differential and Hybrid Games: Application to Finance , 2004, IGTR.

[41]  André Platzer,et al.  Logics of Dynamical Systems , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

[42]  Alberto Bressan,et al.  Viscosity Solutions of Hamilton-Jacobi Equations and Optimal Control Problems , 2011 .

[43]  André Platzer,et al.  The Structure of Differential Invariants and Differential Cut Elimination , 2011, Log. Methods Comput. Sci..

[44]  S. Zagatti.  On viscosity solutions of Hamilton-Jacobi equations , 2008 .

[45]  Robert Baier,et al.  Set-Valued Numerical Analysis and Optimal Control , 2005 .

[46]  Thomas A. Henzinger,et al.  Rectangular Hybrid Games , 1999, CONCUR.

[47]  A. I. Subbotin,et al.  Game-Theoretical Control Problems , 1987 .

[48]  P. Hartman.  Ordinary Differential Equations , 1965 .

[49]  Rufus Isaacs,et al.  Differential Games , 1965 .

[50]  Anil Nerode,et al.  Hybrid System Games: Extraction of Control Automata with Small Topologies , 1996, Hybrid Systems.

[51]  N. Bourbaki.  General Topology: Chapters 1–4 , 1989 .

[52]  N. G. Parke,et al.  Ordinary Differential Equations. , 1958 .

[53]  R. Elliott,et al.  Cauchy problems for certain Isaacs-Bellman equations and games of survival , 1974 .

[54]  T. Başar,et al.  Stochastic and differential games : theory and numerical methods , 1999 .

[55]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[56]  P. Souganidis,et al.  Differential Games and Representation Formulas for Solutions of Hamilton-Jacobi-Isaacs Equations. , 1983 .

[57]  P. Saint-Pierre,et al.  Set-Valued Numerical Analysis for Optimal Control and Differential Games , 1999 .

[58]  P. Cardaliaguet.  A differential game with two players and one target , 1994 .

[59]  P. Lions,et al.  Some Properties of Viscosity Solutions of Hamilton-Jacobi Equations. , 1984 .

[60]  André Platzer,et al.  Differential-algebraic Dynamic Logic for Differential-algebraic Programs , 2010, J. Log. Comput..