Symbolic models for time-varying time-delay systems via alternating approximate bisimulation

DOI10.1002/RNC.3204zbMATH Open1328.93051arXiv1011.5835OpenAlexW2962984511MaRDI QIDQ3465677FDOQ3465677

Authors: P. Pepe, Maria D. Di Benedetto, Giordano Pola 

Publication date: 22 January 2016

Published in: International Journal of Robust and Nonlinear Control (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1011.5835

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

zbMATH Keywords

time-delay systemstime-varying delayssymbolic modelsalternating approximate bisimulationincremental input-delay-to-state stability

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Control/observation systems governed by ordinary differential equations (93C15) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05)

Cites Work

• Introduction to functional differential equations
• Time-delay systems: an overview of some recent advances and open problems.
• Symbolic models for nonlinear time-delay systems using approximate bisimulations
• A twofold spline approximation for finite horizon LQG control of hereditary systems
• Smooth stabilization implies coprime factorization
• A Lyapunov approach to incremental stability properties
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• A set oriented approach to global optimal control
• Stability of time-delay systems
• On characterizations of the input-to-state stability property
• A Lyapunov--Krasovskii methodology for ISS and iISS of time-delay systems
• What's decidable about hybrid automata?
• O-minimal hybrid systems.
• Verification and Control of Hybrid Systems
• Title not available (Why is that?)
• A Smooth Converse Lyapunov Theorem for Robust Stability
• Stability and stabilization of nonlinear systems.
• Approximately bisimilar symbolic models for nonlinear control systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Approximation Metrics for Discrete and Continuous Systems
• Supervisory Control of a Class of Discrete Event Processes
• Input–Output Feedback Linearization of Time-Delay Systems
• Controlling a Class of Nonlinear Systems on Rectangles
• On Lyapunov - Krasovskii functionals under Carathéodory conditions
• Robust adaptive control of nonlinear systems with unknown time delays
• Necessary and sufficient Lyapunov-like conditions for robust nonlinear stabilization
• Symbolic models for nonlinear control systems: alternating approximate bisimulations
• Control Lyapunov-Razumikhin functions and robust stabilization of time delay systems
• Linear Time Logic Control of Discrete-Time Linear Systems
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Games for synthesis of controllers with partial observation.
• 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
• The Problem of the Absolute Continuity for Lyapunov–Krasovskii Functionals
• Input-output approach to stability and \(L_2\)-gain analysis of systems with time-varying delays
• Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• Symbolic models for nonlinear control systems affected by disturbances
• On the reachability of quantized control systems
• On the expressiveness and decidability of o-minimal hybrid systems
• Specifications for decidable hybrid games
• Hierarchical hybrid control systems: a lattice theoretic formulation
• Integrated Design of Symbolic Controllers for Nonlinear Systems
• A discrete-event model of asynchronous quantised systems

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)