Premium
Symbolic models for time‐varying time‐delay systems via alternating approximate bisimulation
Author(s) -
Pola Giordano,
Pepe Pierdomenico,
Di Benedetto Maria Domenica
Publication year - 2014
Publication title -
international journal of robust and nonlinear control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.361
H-Index - 106
eISSN - 1099-1239
pISSN - 1049-8923
DOI - 10.1002/rnc.3204
Subject(s) - bisimulation , focus (optics) , dynamical systems theory , computability , state (computer science) , computer science , class (philosophy) , nonlinear system , symbolic data analysis , mathematics , theoretical computer science , algorithm , artificial intelligence , physics , quantum mechanics , optics
Summary 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 provide sufficient conditions to check it in terms of existence 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. Copyright © 2014 John Wiley & Sons, Ltd.