Safety preserving control synthesis for sampled data systems
DOI10.1016/J.NAHS.2013.04.003zbMATH Open1291.93192OpenAlexW2158048639MaRDI QIDQ2252964FDOQ2252964
Authors: Yanyan Li 
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
Recommendations
- An improved algorithm for robust safety analysis of sampled data systems
- Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Sampled-data control of continuous-time systems with an \(H_ \infty\) optimality criterion
Hamilton-Jacobi equationsnonlinear systemssampled datacontrol synthesisviabilityellipsoidscontinuous reachability
Attainable sets, reachability (93B03) Synthesis problems (93B50) Nonlinear systems in control theory (93C10) Sampled-data control/observation systems (93C57)
Cites Work
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- On reachability and minimum cost optimal control
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- On Reachability Under Uncertainty
- Title not available (Why is that?)
- A Framework for Stabilization of Nonlinear Sampled-Data Systems Based on Their Approximate Discrete-Time Models
- Ellipsoidal techniques for reachability analysis: Internal approximation
- Advanced tools for nonlinear sampled-data systems' analysis and control
- Viability Theory
- Planning Algorithms
- Controllers for reachability specifications for hybrid systems
- The Birth of Model Checking
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Title not available (Why is that?)
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Computing the viability kernel using maximal reachable sets
- Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Title not available (Why is that?)
Cited In (5)
- Computational tools for the safety control of a class of piecewise continuous systems with imperfect information on a partial order
- Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems
- Data-driven design of safe control for polynomial systems
- Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems
- An improved algorithm for robust safety analysis of sampled data systems
Uses Software
This page was built for publication: Safety preserving control synthesis for sampled data systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2252964)
