{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:26:25Z","timestamp":1762521985773},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798719","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T17:11:18Z","timestamp":1483636278000},"page":"3012-3017","source":"Crossref","is-referenced-by-count":6,"title":["Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction"],"prefix":"10.1109","author":[{"given":"Yu","family":"Wang","sequence":"first","affiliation":[]},{"given":"Nima","family":"Roohi","sequence":"additional","affiliation":[]},{"given":"Matthew","family":"West","sequence":"additional","affiliation":[]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[]},{"given":"Geir E.","family":"Dullerud","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2014.09.001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461372"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461373"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.01.021"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bts166"},{"key":"ref17","first-page":"1","article-title":"Statistical model checking for biological applications","author":"zuliani","year":"2014","journal-title":"STTT"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26916-0_6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.97.7.2968"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref3","first-page":"1","article-title":"Statistical model checking for cyber-physical systems","author":"clarke","year":"2011","journal-title":"Automated Technology for Verification and Analysis Ser LNCS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755968"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.08.006"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400343"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.186"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728627"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.05.002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0368-z"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2432622.2432626"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798719.pdf?arnumber=7798719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T21:11:33Z","timestamp":1513199493000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798719\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798719","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}