{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:18:58Z","timestamp":1725679138868},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7039406","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T19:53:59Z","timestamp":1424202839000},"page":"352-357","source":"Crossref","is-referenced-by-count":3,"title":["An approximate linear programming solution to the probabilistic invariance problem for stochastic hybrid systems"],"prefix":"10.1109","author":[{"given":"Anacleto","family":"Petretti","sequence":"first","affiliation":[]},{"given":"Maria","family":"Prandini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1287\/opre.51.6.850.24925"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-24743-2_22","article-title":"Benchmarks for hybrid systems verifications","author":"fehnker","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/11730637_29","article-title":"Computational methods for reachability analysis of stochastic hybrid systems","author":"koutsoukos","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TAC.2007.902736"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1201\/9781420008548.ch5"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TAC.2008.2011011"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/CDC.2012.6425809"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/1755952.1755988"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.automatica.2010.08.006"},{"year":"1996","author":"bertsekas","journal-title":"Stochastic Optimal Control The Discrete Time Case","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.automatica.2008.03.027"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/s10107-003-0499-y"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/3-540-36580-X_12"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1137\/07069821X"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TAC.2006.875041"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.3166\/ejc.16.624-641"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-540-71493-4_4"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.arcontrol.2009.07.001"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2014,12,15]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2014,12,17]]}},"container-title":["53rd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027307\/7039338\/07039406.pdf?arnumber=7039406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T05:44:11Z","timestamp":1498196651000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7039406\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7039406","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}