Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
From MaRDI portal
Publication:3465677
DOI10.1002/rnc.3204zbMath1328.93051arXiv1011.5835OpenAlexW2962984511MaRDI QIDQ3465677
Pierdomenico Pepe, Maria Domenica Di Benedetto, Giordano Pola
Publication date: 22 January 2016
Published in: International Journal of Robust and Nonlinear Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1011.5835
time-delay systemstime-varying delayssymbolic modelsalternating approximate bisimulationincremental input-delay-to-state stability
Nonlinear systems in control theory (93C10) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Control/observation systems governed by ordinary differential equations (93C15)
Related Items
Synthesizing SystemC Code from Delay Hybrid CSP, Symbolic abstractions for nonlinear control systems via feedback refinement relation, Switching controller synthesis for delay hybrid systems under perturbations, Optimal multirate sampling in symbolic models for incrementally stable switched systems, Symbolic models for retarded jump-diffusion systems
Cites Work
- Unnamed Item
- Input-to-output stability for systems described by retarded functional differential equations
- Stability and stabilization of nonlinear systems.
- Specifications for decidable hybrid games
- On characterizations of the input-to-state stability property
- A Lyapunov--Krasovskii methodology for ISS and iISS of time-delay systems
- Input-output approach to stability and \(L_2\)-gain analysis of systems with time-varying delays
- On Lyapunov - Krasovskii functionals under Carathéodory conditions
- Approximately bisimilar symbolic models for nonlinear control systems
- What's decidable about hybrid automata?
- Introduction to functional differential equations
- Games for synthesis of controllers with partial observation.
- Time-delay systems: an overview of some recent advances and open problems.
- A discrete-event model of asynchronous quantised systems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- O-minimal hybrid systems.
- On the expressiveness and decidability of o-minimal hybrid systems
- Robust adaptive control of nonlinear systems with unknown time delays
- A Twofold Spline Approximation for Finite Horizon LQG Control of Hereditary Systems
- Necessary and sufficient Lyapunov-like conditions for robust nonlinear stabilization
- Input-output linearization of retarded non-linear systems by using an extension of Lie derivative
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- Verification and Control of Hybrid Systems
- Supervisory Control of a Class of Discrete Event Processes
- Hierarchical hybrid control systems: a lattice theoretic formulation
- Control Lyapunov-Razumikhin functions and robust stabilization of time delay systems
- Smooth stabilization implies coprime factorization
- A Smooth Converse Lyapunov Theorem for Robust Stability
- Symbolic models for nonlinear control systems affected by disturbances
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- On the reachability of quantized control systems
- A Lyapunov approach to incremental stability properties
- Input–Output Feedback Linearization of Time-Delay Systems
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
- Controlling a Class of Nonlinear Systems on Rectangles
- Linear Time Logic Control of Discrete-Time Linear Systems
- Approximation Metrics for Discrete and Continuous Systems
- The Problem of the Absolute Continuity for Lyapunov–Krasovskii Functionals
- Integrated Design of Symbolic Controllers for Nonlinear Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- A set oriented approach to global optimal control
- Stability of time-delay systems
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
