{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T17:34:12Z","timestamp":1779903252105,"version":"3.53.1"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2009,6,1]],"date-time":"2009-06-01T00:00:00Z","timestamp":1243814400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/tac.2009.2019791","type":"journal-article","created":{"date-parts":[[2009,5,27]],"date-time":"2009-05-27T15:39:44Z","timestamp":1243438784000},"page":"1193-1203","source":"Crossref","is-referenced-by-count":125,"title":["Approximations of Stochastic Hybrid Systems"],"prefix":"10.1109","volume":"54","author":[{"given":"A.A.","family":"Julius","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.J.","family":"Pappas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184594"},{"key":"ref38","first-page":"322","volume":"3414","author":"hespanha","year":"2005","journal-title":"HSCC"},{"key":"ref33","author":"girard","year":"2005","journal-title":"Approximate (Bi)-Simulations for Linear Systems With Constrained Inputs"},{"key":"ref32","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428804"},{"key":"ref30","author":"kushner","year":"1967","journal-title":"Stochastic Stability and Control"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012993252309"},{"key":"ref36","author":"boyd","year":"2005","journal-title":"MATLAB Software for Disciplined Convex Programming"},{"key":"ref35","article-title":"yalmip: a toolbox for modeling and optimization in matlab","author":"lfberg","year":"2004","journal-title":"Proc CACSD Conf"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref10","first-page":"387","volume":"2993","author":"hespanha","year":"2004","journal-title":"HSCC"},{"key":"ref40","volume":"3414","year":"2005","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref11","first-page":"5754","article-title":"application of stochastic hybrid systems in power management of streaming data","author":"hu","year":"2006","journal-title":"Proc Amer Control Conf"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","volume":"1790","author":"hu","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref13","author":"oksendal","year":"2000","journal-title":"Stochastic Differential Equations An Introduction with Applications"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012996299302"},{"key":"ref15","first-page":"269","author":"ghosh","year":"2003","journal-title":"System Modelling and Optimization"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1201\/9781420008548.ch2","author":"krystul","year":"2006","journal-title":"Stochastic Hybrid Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582904"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref28","first-page":"209","volume":"736","author":"alur","year":"1993","journal-title":"Hybrid Automata An Algorithmic Approach to the Specification and Verification of Hybrid Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657469"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657467"},{"key":"ref3","first-page":"372","volume":"2993","author":"glover","year":"2004","journal-title":"HSCC"},{"key":"ref6","first-page":"436","author":"lygeros","year":"2006","journal-title":"HSCC"},{"key":"ref29","article-title":"stochastic impulsive systems driven by renewal processes","author":"hespanha","year":"2006","journal-title":"Proc 17th Int Symp Math Theory Networks Syst"},{"key":"ref5","first-page":"417","volume":"2993","author":"hu","year":"2004","journal-title":"HSCC"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657471"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657468"},{"key":"ref2","first-page":"45","article-title":"stochastic hybrid models: an overview","author":"pola","year":"2003","journal-title":"Proc IFAC Conf Anal Design Hybrid Syst"},{"key":"ref9","first-page":"463","volume":"2993","author":"neogi","year":"2004","journal-title":"HSCC"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898224"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"ref22","first-page":"198","volume":"3414","author":"bujorianu","year":"2005","journal-title":"HSCC"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45499-3_23"},{"key":"ref41","volume":"2993","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref23","first-page":"623","volume":"3414","author":"strubbe","year":"2005","journal-title":"HSCC"},{"key":"ref26","first-page":"336","article-title":"an algorithm for quantitative verification of probabilistic transition systems","author":"van breugel","year":"2001","journal-title":"Proc CONCUR"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/5071740\/04982634.pdf?arnumber=4982634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:40Z","timestamp":1633909900000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4982634\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":41,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tac.2009.2019791","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6]]}}}