Safety preserving control synthesis for sampled data systems
From MaRDI portal
Publication:2252964
DOI10.1016/j.nahs.2013.04.003zbMath1291.93192OpenAlexW2158048639MaRDI QIDQ2252964
Publication date: 24 July 2014
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2013.04.003
nonlinear systemsHamilton-Jacobi equationsellipsoidscontrol synthesisviabilitysampled datacontinuous reachability
Nonlinear systems in control theory (93C10) Sampled-data control/observation systems (93C57) Synthesis problems (93B50) Attainable sets, reachability (93B03)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Controllers for reachability specifications for hybrid systems
- Ellipsoidal techniques for reachability analysis: Internal approximation
- On reachability and minimum cost optimal control
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Advanced tools for nonlinear sampled-data systems' analysis and control
- Computing the viability kernel using maximal reachable sets
- Viability Theory
- The Birth of Model Checking
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- On Reachability Under Uncertainty
- A Framework for Stabilization of Nonlinear Sampled-Data Systems Based on Their Approximate Discrete-Time Models
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Planning Algorithms
- Hybrid Systems: Computation and Control
This page was built for publication: Safety preserving control synthesis for sampled data systems
