Symbolic models for nonlinear time-delay systems using approximate bisimulations

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

zbMATH Keywords

time-delay systemsincremental stabilityLyapunov-Krasovskii functionalsapproximate bisimulationsymbolic models

Mathematics Subject Classification ID

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