Symbolic models for nonlinear time-delay systems using approximate bisimulations
From MaRDI portal
Publication:1959416
DOI10.1016/j.sysconle.2010.04.001zbMath1197.93090arXiv0903.0361OpenAlexW2962899708MaRDI QIDQ1959416
Giordano Pola, Pierdomenico Pepe, Paulo Tabuada, Maria Domenica Di Benedetto
Publication date: 7 October 2010
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0903.0361
time-delay systemsincremental stabilityLyapunov-Krasovskii functionalsapproximate bisimulationsymbolic models
Nonlinear systems in control theory (93C10) Lyapunov and storage functions (93D30) Large-scale systems (93A15)
Related Items (15)
Synthesizing SystemC Code from Delay Hybrid CSP ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ 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 nonlinear control systems affected by disturbances ⋮ Delay-independent incremental stability in time-varying monotone systems satisfying a generalized condition of two-sided scalability ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Symbolic models for retarded jump-diffusion systems ⋮ Incremental \(H_\infty\) performance for a class of stochastic switched nonlinear systems ⋮ Symbolic models for infinite networks of control systems: a compositional approach ⋮ Basic properties and characterizations of incremental stability prioritizing flow time for a class of hybrid systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Input-to-output stability for systems described by retarded functional differential equations
- On characterizations of the input-to-state stability property
- Existence and stability of solutions of a delay-differential system
- A Lyapunov--Krasovskii methodology for ISS and iISS of time-delay systems
- On Lyapunov - Krasovskii functionals under Carathéodory conditions
- Approximately bisimilar symbolic models for nonlinear control systems
- Delay effects on stability. A robust control approach
- Time-delay systems: an overview of some recent advances and open problems.
- A Twofold Spline Approximation for Finite Horizon LQG Control of Hereditary Systems
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- A Smooth Converse Lyapunov Theorem for Robust Stability
- An Approximate Simulation Approach to Symbolic Control
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- A Lyapunov approach to incremental stability properties
- 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
- Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
This page was built for publication: Symbolic models for nonlinear time-delay systems using approximate bisimulations