Safety preserving control synthesis for sampled data systems
From MaRDI portal
Publication:2252964
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
Cites work
- 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
- Advanced tools for nonlinear sampled-data systems' analysis and control
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Computing the viability kernel using maximal reachable sets
- Controllers for reachability specifications for hybrid systems
- Ellipsoidal techniques for reachability analysis: Internal approximation
- scientific article; zbMATH DE number 2085339 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 1405864 (Why is no real title available?)
- scientific article; zbMATH DE number 1444352 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- On reachability and minimum cost optimal control
- On Reachability Under Uncertainty
- Planning Algorithms
- Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
- The Birth of Model Checking
- Viability Theory
Cited in
(5)- Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear 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
- Computational tools for the safety control of a class of piecewise continuous systems with imperfect information on a partial order
- Data-driven design of safe control for polynomial systems
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)
