Symbolic abstractions for nonlinear control systems via feedback refinement relation
From MaRDI portal
Abstract: This paper studies the construction of symbolic abstractions for nonlinear control systems via feedback refinement relation. Both the delay-free and time-delay cases are addressed. For the delay-free case, to reduce the computational complexity, we propose a new approximation approach for the state and input sets based on a static quantizer, and then a novel symbolic model is constructed such that the original system and the symbolic model satisfy the feedback refinement relation. For the time-delay case, both static and dynamic quantizers are combined to approximate the state and input sets. This leads to a novel dynamic symbolic model for time-delay control systems, and a feedback refinement relation is established between the original system and the symbolic model. Finally, a numerical example is presented to illustrate the obtained results.
Recommendations
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Symbolic models for nonlinear control systems affected by disturbances
- Approximately bisimilar symbolic models for nonlinear control systems
Cites work
- A sector bound approach to feedback control of nonlinear systems with state quantization
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximation Metrics for Discrete and Continuous Systems
- Compositional abstraction refinement for control synthesis
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- scientific article; zbMATH DE number 3520921 (Why is no real title available?)
- scientific article; zbMATH DE number 1182386 (Why is no real title available?)
- scientific article; zbMATH DE number 6936882 (Why is no real title available?)
- Hybrid feedback stabilization of systems with quantized signals
- Lectures on constructive approximation. Fourier, spline, and wavelet methods on the real line, the sphere, and the ball
- Linear Time Logic Control of Discrete-Time Linear Systems
- Quantized Feedback Stabilization of Nonlinear Systems With External Disturbance
- Stabilizing a linear system with quantized state feedback
- Supervisory Control of a Class of Discrete Event Processes
- Symbolic control design for monotone systems with directed specifications
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- The sector bound approach to quantized feedback control
- Verification and Control of Hybrid Systems
Cited in
(10)- Compositional abstraction refinement for control synthesis
- Learning-based symbolic abstractions for nonlinear control systems
- Symbolic control design of nonlinear systems with outputs
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Dealing with Nondeterminism in Symbolic Control
- Symbolic Abstractions of Networked Control Systems
- Symbolic models for nonlinear control systems affected by disturbances
- Finite-step approximately bi-similar symbolic model for switched systems
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
- Compositional abstraction synthesis for interconnected switched systems with incrementally non-passive modes
This page was built for publication: Symbolic abstractions for nonlinear control systems via feedback refinement relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2174020)
