{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T00:22:42Z","timestamp":1775607762515,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/cdc.2004.1428804","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T18:10:36Z","timestamp":1219860636000},"page":"929-934 Vol.1","source":"Crossref","is-referenced-by-count":62,"title":["Stochastic safety verification using barrier certificates"],"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"}]},{"given":"G.J.","family":"Pappas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24743-2_32","article-title":"Safety verification of hybrid systems using barrier certificates","author":"prajna","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"17","article-title":"Stochastic hybrid models: An overview","author":"pola","year":"2003","journal-title":"Proceedings IFAC Conference on Analysis and Design of Hybrid Systems"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1137\/1038003"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1273063"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272482"},{"key":"15","author":"\ufffdksendal","year":"2000","journal-title":"Stochastic Differential Equation An Introduction with Applications"},{"key":"16","author":"parrilo","year":"2000","journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-4149(98)00070-2"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46430-1_16","article-title":"Towards a theory of stochastic hybrid systems","author":"hu","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"12","author":"kushner","year":"1967","journal-title":"Stochastic Stability and Control"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36580-X_37","article-title":"Approximate reachability for linear systems","author":"tiwari","year":"2003","journal-title":"Hybrid Systems Computation and Control"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46430-1_8","article-title":"Optimization-based verification and stability characterization of piecewise affine and hybrid systems","author":"bemporad","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184594"},{"key":"2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-45657-0_30","article-title":"The d\/dt tool for verification of hybrid systems","volume":"2404","author":"asarin","year":"2002","journal-title":"Computer Aided Verification in LNCS"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36580-X_4","article-title":"Progress on reachability analysis of hybrid systems using predicate abstraction","author":"alur","year":"2003","journal-title":"Hybrid Systems Computation and Control"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24743-2_26","article-title":"Stochastic hybrid systems: Application to communication networks","author":"hespanha","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-4483-2","author":"davis","year":"1993","journal-title":"Markov Processes and Optimization"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36580-X_12","article-title":"Reachability questions in piecewise deterministic Markov processes","author":"bujorianu","year":"2003","journal-title":"Hybrid Systems Computation and Control"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24743-2_16","article-title":"Extended stochastic hybrid systems and their reachability problem","author":"bujorianu","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012996299302"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574740"}],"event":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","location":"Nassau, Bahamas","start":{"date-parts":[[2004,12,17]]},"end":{"date-parts":[[2004,12,17]]}},"container-title":["2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9774\/30836\/01428804.pdf?arnumber=1428804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T16:44:57Z","timestamp":1557765897000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1428804\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2004.1428804","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}