Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
From MaRDI portal
Publication:3465677
Abstract: Time-delay systems are an important class of dynamical systems that provide a solid mathematical framework to deal with many application domains of interest. In this paper we focus on nonlinear control systems with unknown and time-varying delay signals and we propose one approach to the control design of such systems, which is based on the construction of symbolic models. Symbolic models are abstract descriptions of dynamical systems where one symbolic state and one symbolic input correspond to an aggregate of states and an aggregate of inputs. We first introduce the notion of incremental input-delay-to-state stability and characterize it by means of Lyapunov-Krasovskii functionals. We then derive sufficient conditions for the existence of symbolic models that are shown to be alternating approximately bisimilar to the original system. Further results are also derived which prove the computability of the proposed symbolic models in a finite number of steps.
Recommendations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Approximately bisimilar symbolic models for nonlinear control systems
- Symbolic models for nonlinear control systems affected by disturbances
Cites work
- scientific article; zbMATH DE number 1252483 (Why is no real title available?)
- A Lyapunov approach to incremental stability properties
- A Lyapunov--Krasovskii methodology for ISS and iISS of time-delay systems
- A Smooth Converse Lyapunov Theorem for Robust Stability
- A discrete-event model of asynchronous quantised systems
- A set oriented approach to global optimal control
- A twofold spline approximation for finite horizon LQG control of hereditary systems
- 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
- Control Lyapunov-Razumikhin functions and robust stabilization of time delay systems
- Controlling a Class of Nonlinear Systems on Rectangles
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
- Games for synthesis of controllers with partial observation.
- Hierarchical hybrid control systems: a lattice theoretic formulation
- Input-output approach to stability and L₂-gain analysis of systems with time-varying delays
- Input-output linearization of retarded non-linear systems by using an extension of Lie derivative
- Input-to-output stability for systems described by retarded functional differential equations
- Input–Output Feedback Linearization of Time-Delay Systems
- Integrated Design of Symbolic Controllers for Nonlinear Systems
- Introduction to functional differential equations
- Linear Time Logic Control of Discrete-Time Linear Systems
- Necessary and sufficient Lyapunov-like conditions for robust nonlinear stabilization
- O-minimal hybrid systems.
- On Lyapunov - Krasovskii functionals under Carathéodory conditions
- On characterizations of the input-to-state stability property
- 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
- Robust adaptive control of nonlinear systems with unknown time delays
- Smooth stabilization implies coprime factorization
- Specifications for decidable hybrid games
- Stability and stabilization of nonlinear systems.
- Stability of time-delay systems
- Supervisory Control of a Class of Discrete Event Processes
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Symbolic models for nonlinear control systems affected by disturbances
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- The Problem of the Absolute Continuity for Lyapunov–Krasovskii Functionals
- Time-delay systems: an overview of some recent advances and open problems.
- Verification and Control of Hybrid Systems
- What's decidable about hybrid automata?
Cited in
(10)- Symbolic approximate time-optimal control
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Symbolic models for nonlinear control systems affected by disturbances
- Switching controller synthesis for delay hybrid systems under perturbations
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic models for retarded jump-diffusion systems
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Synthesizing SystemC Code from Delay Hybrid CSP
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
This page was built for publication: Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3465677)
