Viable set computation for hybrid systems
From MaRDI portal
Publication:2252963
Abstract: A new framework for formulating reachability problems with competing inputs, nonlinear dynamics and state constraints as optimal control problems is developed. Such reach-avoid problems arise in, among others, the study of safety problems in hybrid systems. Earlier approaches to reach-avoid computations are either restricted to linear systems, or face numerical difficulties due to possible discontinuities in the Hamiltonian of the optimal control problem. The main advantage of the approach proposed in this paper is that it can be applied to a general class of target hitting continuous dynamic games with nonlinear dynamics, and has very good properties in terms of its numerical solution, since the value function and the Hamiltonian of the system are both continuous. The performance of the proposed method is demonstrated by applying it to a two aircraft collision avoidance scenario under target window constraints and in the presence of wind disturbance. Target Windows are a novel concept in air traffic management, and represent spatial and temporal constraints, that the aircraft have to respect to meet their schedule.
Recommendations
Cites work
- A lattice-theoretical fixpoint theorem and its applications
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Constructive versions of Tarski's fixed point theorems
- Controllers for reachability specifications for hybrid systems
- Dynamic noncooperative game theory
- Dynamical properties of hybrid automata
- Free energy of self-interacting uniform stars
- Hamilton–Jacobi Formulation for Reach–Avoid Differential Games
- scientific article; zbMATH DE number 5604590 (Why is no real title available?)
- scientific article; zbMATH DE number 976936 (Why is no real title available?)
- scientific article; zbMATH DE number 1181255 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Impulse differential inclusions: a viability approach to hybrid systems
- Nonsmooth semipermeable Barriers, Isaacs' equation, and application to a differential game with one target and two players
- On reachability and minimum cost optimal control
- On the Existence of Solutions to a Differential Game
- On the Hybrid Optimal Control Problem: Theory and Algorithms
- On the Reachability Problem for Uncertain Hybrid Systems
- On the regularization of Zeno hybrid automata
- On the synthesis of discrete controllers for timed systems
- Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations
- Optimal control of switching surfaces in hybrid dynamical systems
- Optimization techniques for state-constrained control and obstacle problems
- Semicontinuous Viscosity Solutions For Hamilton–Jacobi Equations With Convex Hamiltonians
- Synthesis and viability of minimally interventive legal controllers for hybrid systems
- Viability theory
- Voltage dynamics: study of a generator with voltage control, transmission, and matched MW load
- Worst case analysis of nonlinear systems
Cited in
(7)- Robust viability of hybrid systems
- The computation of the viability kernel for switched systems
- Model-invariant viability kernel approximation
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- ON THE UNIQUE SOLVABILITY OF NONLOCAL PROBLEMS WITH INTEGRAL CONDITIONS FOR A HYBRID SYSTEM OF PARTIAL DIFFERENTIAL EQUATIONS
- Stability verification for a class of stochastic hybrid systems by semidefinite programming
- On the computation of the robust viability kernel for switched systems
This page was built for publication: Viable set computation for hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2252963)
