Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays

Author

Pola, Giordano ; Pepe, Pierdomenico ; Di Benedetto, Maria D.

Author_Institution

Dept. of Electr. & Inf. Eng., Univ. of L´´Aquila, L´´Aquila, Italy

fYear

2010

fDate

15-17 Dec. 2010

Firstpage

7649

Lastpage

7654

Abstract

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.

Keywords

Lyapunov methods; delays; nonlinear control systems; stability; time-varying systems; Liapunov-Krasovskii functionals; alternating approximate bisimulation; bisimilar symbolic models; input-delay-to-state stability; nonlinear control systems; unknown time-varying delays; Approximation methods; Biological system modeling; Delay; Delay effects; Gold; Spline; Time-delay systems; alternating approximate bisimulation; incremental input-delay-to-state stability; symbolic models; time-varying delays;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control (CDC), 2010 49th IEEE Conference on

Conference_Location

Atlanta, GA

ISSN

0743-1546

Print_ISBN

978-1-4244-7745-6

Type

conf

DOI

10.1109/CDC.2010.5717258

Filename

5717258