Upper and Lower Bounds for a Class of Constrained Linear Time-Varying Games
Preprint
Abstract
This paper develops an algorithm for upper- and lower-bounding the value function for a class of linear time-varying games subject to convex control sets. In particular, a two-player zero-sum differential game is considered where the respective players aim to minimise and maximise a convex terminal state cost. A collection of solutions of a single-player dynamical system subject to a trimmed control set is used to characterise a viscosity supersolution of a Hamilton-Jacobi (HJ) equation, which in turn yields an upper bound for the value function. Analogously, a collection of hyperplanes is used to characterise a viscosity subsolution of the HJ equation, which yields a lower bound. The computational complexity and memory requirement of the proposed algorithm scales with the number of solutions and hyperplanes that characterise the bounds, which is not explicitly tied to the number of system states. Thus, the algorithm is tractable for systems of moderately high dimension whilst preserving rigorous guarantees for optimal control and differential game applications.Keywords
All Related Versions
This publication has 22 references indexed in Scilit:
- A stochastic algorithm for deterministic multistage optimization problemsAnnals of Operations Research, 2025
- A Hamilton–Jacobi–Bellman Approach to Ellipsoidal Approximations of Reachable Sets for Linear Time-Varying SystemsIEEE Transactions on Automatic Control, 2024
- Optimistic planning algorithms for state-constrained optimal control problemsComputers & Mathematics with Applications, 2022
- Scalable Zonotopic Under-Approximation of Backward Reachable Sets for Uncertain Linear SystemsIEEE Control Systems Letters, 2021
- Overcoming the curse of dimensionality for some Hamilton–Jacobi partial differential equations via neural network architecturesResearch in the Mathematical Sciences, 2020
- Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying UncertaintiesIEEE Transactions on Automatic Control, 2019
- Predictive Control for Linear and Hybrid Systems2017
- Method for computing exterior and interior approximations to the reachability sets of bilinear differential systemsDifferential Equations, 2015
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic gamesIEEE Transactions on Automatic Control, 2005
- Semiconcave Functions, Hamilton—Jacobi Equations, and Optimal Control2004