Methods for Safety Verification of Time-Delay Systems

This paper addresses the safety verification of systems with time-delay. It extends the barrier certificate methodology previously proposed for safety verification of systems described by ordinary differential equations to the functional differential equations setting. For verifying the safety of a...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 44th IEEE Conference on Decision and Control pp. 4348 - 4353
Main Authors Prajna, S., Jadbabaie, A.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2005
Subjects
Application software
Automata
Communication system control
Control systems
Differential equations
Polynomials
Robust stability
Safety
Stability analysis
State-space methods
Online AccessGet full text
ISBN9780780395671
0780395670
ISSN0191-2216
DOI10.1109/CDC.2005.1582846

Cover

More Information
Summary:This paper addresses the safety verification of systems with time-delay. It extends the barrier certificate methodology previously proposed for safety verification of systems described by ordinary differential equations to the functional differential equations setting. For verifying the safety of a time-delay system, a functional of states is used as a barrier certificate. The forms of the functionals resemble the Lyapunov-Razumikhin functions or the Lyapunov-Krasovskii functionals used in stability analysis of time-delay systems. When the description of the system is given in terms of polynomials, such a barrier certificate can be searched using sum of squares programming.
ISBN:9780780395671
0780395670
ISSN:0191-2216
DOI:10.1109/CDC.2005.1582846