Symbolic abstractions for nonlinear control systems via feedback refinement relation
From MaRDI portal
Publication:2174020
DOI10.1016/j.automatica.2020.108828zbMath1441.93091arXiv2011.12824OpenAlexW3000471896WikidataQ126320037 ScholiaQ126320037MaRDI QIDQ2174020
Publication date: 17 April 2020
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.12824
nonlinear control systemsquantizerstime-delay control systemsfeedback refinement relationsymbolic abstraction
Feedback control (93B52) Nonlinear systems in control theory (93C10) Synthesis problems (93B50) Delay control/observation systems (93C43)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A sector bound approach to feedback control of nonlinear systems with state quantization
- Approximately bisimilar symbolic models for nonlinear control systems
- Hybrid feedback stabilization of systems with quantized signals
- Symbolic control design for monotone systems with directed specifications
- Compositional abstraction refinement for control synthesis
- Lectures on constructive approximation. Fourier, spline, and wavelet methods on the real line, the sphere, and the ball
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Verification and Control of Hybrid Systems
- Supervisory Control of a Class of Discrete Event Processes
- Quantized Feedback Stabilization of Nonlinear Systems With External Disturbance
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- The sector bound approach to quantized feedback control
- Linear Time Logic Control of Discrete-Time Linear Systems
- Approximation Metrics for Discrete and Continuous Systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Stabilizing a linear system with quantized state feedback
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
This page was built for publication: Symbolic abstractions for nonlinear control systems via feedback refinement relation