Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays

被引：4
作者：
Pola, Giordano [1 ]
Pepe, Pierdomenico [1 ]
Di Benedetto, Maria D. [1 ]
机构：
[1] Univ Aquila, Elect & Informat Engn Dept, Ctr Excellence DEWS, I-67100 Laquila, Italy
来源：
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC) | 2010年
关键词：
Time-delay systems; symbolic models; alternating approximate bisimulation; incremental input-delay-to-state stability; time-varying delays; BISIMULATIONS; STABILITY; DISCRETE;
D O I：
10.1109/CDC.2010.5717258
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we study existence of symbolic models for the class of nonlinear control systems with unknown time-varying delays. We first introduce the notion of incrementally input-delay-to-state stability and characterize it by means of Liapunov-Krasovskii functionals. We then derive sufficient conditions that guarantee existence of symbolic models which are approximately equivalent, in the sense of alternating approximate bisimulation, to the original time-delay system.
引用
收藏
页码：7649 / 7654
页数：6
相关论文
共 20 条
  • [1] Alur R, 1998, LECT NOTES COMPUT SC, V1466, P163, DOI 10.1007/BFb0055622
  • [2] Controlling a class of nonlinear systems on rectangles
    Belta, Calin
    Habets, Luc C. G. J. M.
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (11) : 1749 - 1759
  • [3] EGERSTEDT M, 2006, IEEE T AUTOMATIC CON, V51
  • [4] Input-output approach to stability and L2-gain analysis of systems with time-varying delays
    Fridman, Emilia
    Shaked, Uri
    [J]. SYSTEMS & CONTROL LETTERS, 2006, 55 (12) : 1041 - 1053
  • [5] A twofold spline approximation for finite horizon LQG control of hereditary systems
    Germani, A
    Manes, C
    Pepe, P
    [J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2000, 39 (04) : 1233 - 1295
  • [6] Approximation metrics for discrete and continuous systems
    Girard, Antoine
    Pappas, George J.
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (05) : 782 - 798
  • [7] Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
    Girard, Antoine
    Pola, Giordano
    Tabuada, Paulo
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (01) : 116 - 126
  • [8] Input-to-Output Stability for Systems Described by Retarded Functional Differential Equations
    Karafyllis, Iasson
    Pepe, Pierdomenico
    Jiang, Zhong-Ping
    [J]. EUROPEAN JOURNAL OF CONTROL, 2008, 14 (06) : 539 - 555
  • [9] Manes C., 2007, P 6 IFAC WORKSH TIM
  • [10] Milner R., 1989, Communication and concurrency
12