A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games

DOI10.1109/TAC.2005.851439zbMath1366.91022MaRDI QIDQ5274100

Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin

Publication date: 12 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Dynamic programming in optimal control and differential games (49L20) Differential games and control (49N70) Differential games (aspects of game theory) (91A23) Stochastic systems in control theory (general) (93E03)

Related Items

Off‐policy model‐based end‐to‐end safe reinforcement learning ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Linearization, model reduction and reachability in nonlinear ODEs ⋮ Model-based reinforcement learning for approximate optimal control with temporal logic specifications ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Differential Game Logic ⋮ Approximation of value function of differential game with minimal cost ⋮ Efficient polyhedral enclosures for the reachable set of nonlinear control systems ⋮ Matching-based capture strategies for 3D heterogeneous multiplayer reach-avoid differential games ⋮ Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem ⋮ Guaranteed collision avoidance for autonomous systems with acceleration constraints and sensing uncertainties ⋮ On reachability and minimum cost optimal control ⋮ Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles ⋮ Verification of Hybrid Systems ⋮ Towards rigorous robust optimal control via generalized high-order moment expansion ⋮ Cooperative pursuit with Voronoi partitions ⋮ Algorithms for overcoming the curse of dimensionality for certain Hamilton-Jacobi equations arising in control theory and elsewhere ⋮ Improved reachable set bounding for linear time-delay systems with disturbances ⋮ The method of uniform monotonous approximation of the reachable set border for a controllable system ⋮ OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations ⋮ Differential games in \(L^{\infty}\) ⋮ A pursuit-evasion game with hybrid pursuer dynamics ⋮ COMPLETE SOLUTION OF A PURSUIT–EVASION DIFFERENTIAL GAME WITH HYBRID EVADER DYNAMICS ⋮ Coordination and collision avoidance for Lagrangian systems with disturbances ⋮ Robust pursuit of a hybrid evader ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities ⋮ Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable ⋮ Computational techniques for reachability analysis of Max-Plus-Linear systems ⋮ The flexible, extensible and efficient toolbox of level set methods ⋮ Safety verification for regime-switching jump diffusions via barrier certificates ⋮ An efficient data structure and accurate scheme to solve front propagation problems ⋮ A scheme for calculating solvability sets ``up to moment in linear differential games ⋮ Monotone approximations of minimum and maximum functions and multi-objective problems ⋮ Algorithm of uniform filling of nonlinear dynamic system reachable set based on maximin problem solution ⋮ Safe reinforcement learning: A control barrier function optimization approach ⋮ Multi-objective low-thrust spacecraft trajectory design using reachability analysis ⋮ Justification of the geometric solution of a target defense game with faster defenders and a convex target area using the HJI equation ⋮ Algorithm for overcoming the curse of dimensionality for time-dependent non-convex Hamilton-Jacobi equations arising from optimal control and differential games problems ⋮ A novel unified framework for solving reachability and invariance problems ⋮ Smarter Lions: Efficient Cooperative Pursuit in General Bounded Arenas ⋮ Distributed robust adaptive equilibrium computation for generalized convex games ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Aircraft control during cruise flight in windshear conditions: viability approach ⋮ On maximal robust positively invariant sets in constrained nonlinear systems ⋮ Direct Optimal Control and Model Predictive Control ⋮ Reachable sets bounding for switched systems with time-varying delay and bounded disturbances ⋮ Flexible performance-based robust control for a class of nonlinear systems with input saturation ⋮ Optimal strategy analysis for adversarial differential games ⋮ The calculation of discriminating kernel based on viability kernel and reachability ⋮ An adaptive sparse grid semi-Lagrangian scheme for first order Hamilton-Jacobi Bellman equations ⋮ The computation of the viability kernel for switched systems ⋮ Anticipating Shocks in the State Space: Characterizing Robustness and Building Increasingly Robust Evolutions ⋮ A computational approach to synthesizing guards for hybrid systems ⋮ Algorithm for overcoming the curse of dimensionality for state-dependent Hamilton-Jacobi equations ⋮ Determination of inner and outer bounds of reachable sets through subpavings ⋮ Event-driven optimal control for a robotic exploration, pick-up and delivery problem ⋮ Provably safe and robust learning-based model predictive control ⋮ On backwards and forwards reachable sets bounding for perturbed time-delay systems ⋮ Reach-avoid differential games with targets and obstacles depending on controls ⋮ Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ A mathematical framework for delay analysis in single source networks ⋮ CONTROL STRATEGIES FOR PLAYERS IN PURSUIT-EVASION GAMES BASED ON THEIR PREFERENCES ⋮ Viable set computation for hybrid systems ⋮ Safety preserving control synthesis for sampled data systems ⋮ Synthesis of optimal control for cooperative collision avoidance for aircraft (ships) with unequal turn capabilities ⋮ On the transform of a guidance game ⋮ On the perpetual collision-free RHC of fleets of vehicles ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Perspectives on characteristics based curse-of-dimensionality-free numerical approaches for solving Hamilton-Jacobi equations ⋮ Pareto fronts of the set of sustainable thresholds for constrained control systems ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ On the Optimization of Conservation Law Models at a Junction with Inflow and Flow Distribution Controls ⋮ Optimization-based subdivision algorithm for reachable sets ⋮ Linear Differential Game with Two Pursuers and One Evader ⋮ Reachability Analysis and Deterministic Global Optimization of DAE Models ⋮ Set-theoretic analysis of the isolated ramp metering problem ⋮ Approximation of reachable sets using optimal control and support vector machines ⋮ Linear functional state bounding for positive systems with disturbances varying within a bounded set ⋮ A dynamic game approach to distributionally robust safety specifications for stochastic systems ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ On the problem of guidance of an autonomous conflict-controlled system onto a cylinder set ⋮ Increasing pursuer capturability by using hybrid dynamics ⋮ On the suicidal pedestrian differential game ⋮ Uniform substitution at one Fell swoop ⋮ Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities ⋮ Unnamed Item ⋮ Some Sufficient Conditions for Multi-Player Pursuit-Evasion Games with Continuous and Discrete Observations ⋮ The viability kernel of dynamical systems with mixed constraints: a level-set approach ⋮ Model-invariant viability kernel approximation ⋮ Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control ⋮ SVM Approximation of Value Function Contours in Target Hitting Problems ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ Reachable set computation of linear systems with nonconvex constraints via convex optimization ⋮ A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation ⋮ Optimal strategies for the lifeline differential game with limited lifetime ⋮ Actor-Critic Method for High Dimensional Static Hamilton--Jacobi--Bellman Partial Differential Equations based on Neural Networks ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs ⋮ Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets ⋮ Cooperative strategies for two-evader-one-pursuer reach-avoid differential games ⋮ External ellipsoidal approximations for set evolution equations ⋮ Small-gain theorem for safety verification of interconnected systems ⋮ Lagrangian methods for approximating the viability kernel in high-dimensional systems