On reachability and minimum cost optimal control

DOI10.1016/j.automatica.2004.01.012zbMath1068.93011OpenAlexW2090501324MaRDI QIDQ1888412

John Lygeros

Publication date: 23 November 2004

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2004.01.012

zbMATH Keywords

Hamilton-Jacobi equationViscosity solutionsReachabilityViabilityL-infinity controlNonlinear optimal control

Mathematics Subject Classification ID

System identification (93B30) Variable structure systems (93B12) Attainable sets, reachability (93B03) Viscosity solutions to Hamilton-Jacobi equations in optimal control and differential games (49L25)

Related Items

Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem ⋮ The stochastic reach-avoid problem and set characterization for diffusions ⋮ Stochastic system controller synthesis for reachability specifications encoded by random sets ⋮ Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ \((L^\infty+\mathrm{Bolza})\) control problems as dynamic differential games ⋮ Hybrid optimal control of an electric vehicle with a dual-planetary transmission ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Viability, viscosity, and storage functions in model-predictive control with terminal constraints ⋮ A novel unified framework for solving reachability and invariance problems ⋮ Invariant sets of hybrid autonomous systems with disturbance ⋮ Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem ⋮ A Model for Optimal Human Navigation with Stochastic Effects ⋮ Hamilton–Jacobi–Bellman Equations ⋮ The calculation of discriminating kernel based on viability kernel and reachability ⋮ The computation of the viability kernel for switched systems ⋮ Viable set computation for hybrid systems ⋮ Safety preserving control synthesis for sampled data systems ⋮ Model-invariant viability kernel approximation ⋮ SVM Approximation of Value Function Contours in Target Hitting Problems ⋮ 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 ⋮ 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 ⋮ State constrained \(L^\infty\) optimal control problems interpreted as differential games ⋮ Lagrangian methods for approximating the viability kernel in high-dimensional systems

Uses Software

• Kronos
• Uppaal

Cites Work

• Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations
• Controllers for reachability specifications for hybrid systems
• Viability analysis of an aircraft flight domain for take-off in a windshear
• Numerical schemes for dicontinuous value functions of optimal control
• Pursuit Differential Games with State Constraints
• The Bellman equation for minimizing the maximum cost
• Differential games with maximum cost
• Viscosity Solutions of Hamilton-Jacobi Equations
• Verified hybrid controllers for automated vehicles
• Worst case analysis of nonlinear systems
• Impulse differential inclusions: a viability approach to hybrid systems
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• Viability theory
• Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item