Overapproximating reachable sets by Hamilton-Jacobi projections

DOI10.1023/A:1025364227563zbMath1045.93008OpenAlexW315739085MaRDI QIDQ1418889

Claire J. Tomlin, Ian M. Mitchell

Publication date: 14 January 2004

Published in: Journal of Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025364227563

zbMATH Keywords

reachabilityprojectionHamilton-Jacobi equationsnonlinear control systemscontinuous-time systemsreachable sets

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (20)

Algorithms for overcoming the curse of dimensionality for certain Hamilton-Jacobi equations arising in control theory and elsewhere ⋮ From Dubins' car to Reeds and Shepp's mobile robot ⋮ Algorithm for overcoming the curse of dimensionality for time-dependent non-convex Hamilton-Jacobi equations arising from optimal control and differential games problems ⋮ Model predictive monitoring of dynamical systems for signal temporal logic specifications ⋮ Reachable sets bounding for switched systems with time-varying delay and bounded disturbances ⋮ Estimates of reachable sets of multidimensional control systems with nonlinear interconnections ⋮ Algorithm for overcoming the curse of dimensionality for state-dependent Hamilton-Jacobi equations ⋮ On backwards and forwards reachable sets bounding for perturbed time-delay systems ⋮ Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems ⋮ Synthesis of optimal control for cooperative collision avoidance for aircraft (ships) with unequal turn capabilities ⋮ External estimates of the reachability sets of nonlinear controlled systems ⋮ On the adaptive control of a class of SISO dynamic hybrid systems ⋮ Optimization-based subdivision algorithm for reachable sets ⋮ Further results on reachable set bounding for discrete-time system with time-varying delay and bounded disturbance inputs ⋮ Fast construction of forward flow maps using Eulerian based interpolation schemes ⋮ On external estimates for reachable sets of nonlinear control systems ⋮ A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) ⋮ Actor-Critic Method for High Dimensional Static Hamilton--Jacobi--Bellman Partial Differential Equations based on Neural Networks ⋮ Some decidable results on reachability of solvable systems

This page was built for publication: Overapproximating reachable sets by Hamilton-Jacobi projections