Published December 2005
| public
Book Section - Chapter
Methods for Safety Verification of Time-Delay Systems
- Creators
- Prajna, Stephen
-
Jadbabaie, Ali
Abstract
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.
Additional Information
© 2005 IEEE. Issue Date: 12-15 Dec. 2005. Date of Current Version: 30 January 2006. The work of the first author was financially supported by the Army Institute for Collaborative Biotechnologies, the NSF Award CCF-0326635 "ITR COLLAB: Theory and Software Infrastructure for a Scalable Systems Biology," and the AFOSR Award FA9550-05-1-0032 "Bio Inspired Networks." The first author would also like to thank Antonis Papachristodoulou for the enlightening discussions on time delay systems.Additional details
- Eprint ID
- 25135
- DOI
- 10.1109/CDC.2005.1582846
- Resolver ID
- CaltechAUTHORS:20110829-081539175
- Army Institute for Collaborative Biotechnologies
- CCF-0326635
- NSF
- FA9550-05-1-0032
- Air Force Office of Scientific Research (AFOSR)
- Created
-
2011-09-07Created from EPrint's datestamp field
- Updated
-
2021-11-09Created from EPrint's last_modified field
- Series Name
- IEEE Conference on Decision and Control & European Control Conference