Viable set computation for hybrid systems
From MaRDI portal
Publication:2252963
DOI10.1016/j.nahs.2013.06.001zbMath1291.93122arXiv0911.4625OpenAlexW1971641763MaRDI QIDQ2252963
John Lygeros, Kostas Margellos
Publication date: 24 July 2014
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0911.4625
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
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 ⋮ The computation of the viability kernel for switched systems ⋮ Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming ⋮ Model-invariant viability kernel approximation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Optimal control of switching surfaces in hybrid dynamical systems
- Optimization techniques for state-constrained control and obstacle problems
- Dynamic noncooperative game theory
- Constructive versions of Tarski's fixed point theorems
- Synthesis and viability of minimally interventive legal controllers for hybrid systems
- Controllers for reachability specifications for 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 regularization of Zeno hybrid automata
- A lattice-theoretical fixpoint theorem and its applications
- Semicontinuous Viscosity Solutions For Hamilton–Jacobi Equations With Convex Hamiltonians
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Voltage dynamics: study of a generator with voltage control, transmission, and matched MW load
- Free energy of self-interacting uniform stars
- Worst case analysis of nonlinear systems
- On the synthesis of discrete controllers for timed systems
- Dynamical properties of hybrid automata
- Impulse differential inclusions: a viability approach to hybrid systems
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- On the Reachability Problem for Uncertain Hybrid Systems
- On the Hybrid Optimal Control Problem: Theory and Algorithms
- Hamilton–Jacobi Formulation for Reach–Avoid Differential Games
- On the Existence of Solutions to a Differential Game
- Hybrid Systems: Computation and Control
- Viability theory
- Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations
This page was built for publication: Viable set computation for hybrid systems
