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 [J].

Belta, Calin ;

Habets, Luc C. G. J. M. .

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 [J].

Fridman, Emilia ;

Shaked, Uri .

SYSTEMS & CONTROL LETTERS, 2006, 55 (12) :1041-1053

[5] A twofold spline approximation for finite horizon LQG control of hereditary systems [J].

Germani, A ;

Manes, C ;

Pepe, P .

SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2000, 39 (04) :1233-1295

[6] Approximation metrics for discrete and continuous systems [J].

Girard, Antoine ;

Pappas, George J. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (05) :782-798

[7] Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems [J].

Girard, Antoine ;

Pola, Giordano ;

Tabuada, Paulo .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (01) :116-126

[8] Input-to-Output Stability for Systems Described by Retarded Functional Differential Equations [J].

Karafyllis, Iasson ;

Pepe, Pierdomenico ;

Jiang, Zhong-Ping .

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

← 1 2 →