Symbolic models for nonlinear control systems affected by disturbances
From MaRDI portal
Publication:4897709
Abstract: In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. In this paper we face the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances in the sense of alternating approximate bisimulation.
Recommendations
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Approximately bisimilar symbolic models for nonlinear control systems
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic models for control systems
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
Cites work
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- A Lyapunov approach to incremental stability properties
- A discrete-event model of asynchronous quantised systems
- A set oriented approach to global optimal control
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Approximation Metrics for Discrete and Continuous Systems
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- Controlling a Class of Nonlinear Systems on Rectangles
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- Hierarchical hybrid control systems: a lattice theoretic formulation
- Integrated Design of Symbolic Controllers for Nonlinear Systems
- O-minimal hybrid systems.
- On the expressiveness and decidability of o-minimal hybrid systems
- On the reachability of quantized control systems
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Transition-Time Optimization for Switched-Mode Dynamical Systems
- Verification and Control of Hybrid Systems
- What's decidable about hybrid automata?
Cited in
(12)- Abstraction-based control synthesis using partial information
- Output regulation problem of a class of pure-feedback nonlinear systems via adaptive neural control
- Effects of controlling parameter on symbolic nonlinear complexity detection
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Approximate predictability of pseudo-metric systems
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
- Approximately bisimilar symbolic model for switched systems with unstable subsystems
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic models for control systems
- A modal characterization of alternating approximate bisimilarity
This page was built for publication: Symbolic models for nonlinear control systems affected by disturbances
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4897709)
