{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:11:26Z","timestamp":1762521086506,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1582846","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T10:20:03Z","timestamp":1159957203000},"page":"4348-4353","source":"Crossref","is-referenced-by-count":16,"title":["Methods for Safety Verification of Time-Delay Systems"],"prefix":"10.1109","author":[{"given":"S.","family":"Prajna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Jadbabaie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-8216-3","author":"srikant","year":"2004","journal-title":"The Mathematics of Internet Congestion Control"},{"key":"17","first-page":"542","article-title":"Primal-dual tests for safety and reachability","volume":"3414","author":"prajna","year":"2005","journal-title":"LNCS"},{"journal-title":"Process Dynamics and Control","year":"2004","author":"seborg","key":"18"},{"year":"0","key":"15"},{"key":"16","article-title":"On the necessity of barrier certificates","author":"prajna","year":"2005","journal-title":"Proceedings of the IFAC World Congress"},{"key":"13","first-page":"477","article-title":"Safety verification of hybrid systems using barrier certificates","volume":"2993","author":"prajna","year":"2004","journal-title":"LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428804"},{"journal-title":"Delay Effects on Stability A Robust Control Approach","year":"2001","author":"niculescu","key":"11"},{"key":"12","doi-asserted-by":"crossref","first-page":"4153","DOI":"10.23919\/ACC.2004.1383959","article-title":"Analysis of nonlinear time-delay systems using the sum of squares decomposition","volume":"5","author":"papachristodoulou","year":"2004","journal-title":"Proceedings of the 2004 American Control Conference ACC"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"20","first-page":"600","article-title":"Nonlinear systems: Approximating reach sets","volume":"2993","author":"tiwari","year":"2004","journal-title":"LNCS"},{"key":"2","first-page":"45","article-title":"Optimization-based verification and stability characterization of piecewise affine and hybrid systems","volume":"1790","author":"bemporad","year":"2000","journal-title":"LNCS"},{"key":"1","first-page":"4","article-title":"Progress on reachability analysis of hybrid systems using predicate abstraction","volume":"2623","author":"alur","year":"2003","journal-title":"LNCS"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/b98868","author":"murray","year":"2002","journal-title":"Mathematical Biology I An Introduction"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4342-7","author":"hale","year":"1993","journal-title":"Introduction to Functional Differential Equations"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0039-0"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470376"},{"journal-title":"Model checking","year":"2000","author":"clarke jr","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00093-1"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01582846.pdf?arnumber=1582846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,18]],"date-time":"2020-04-18T07:58:31Z","timestamp":1587196711000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1582846\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1582846","relation":{},"subject":[]}}