{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:37:00Z","timestamp":1725547020368},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/cdc.2015.7402282","type":"proceedings-article","created":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T16:32:44Z","timestamp":1456763564000},"page":"525-530","source":"Crossref","is-referenced-by-count":3,"title":["Construction of approximations of stochastic control systems: A compositional approach"],"prefix":"10.1109","author":[{"given":"Majid","family":"Zamani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Rungger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peyman Mohajerin","family":"Esfahani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728615"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_37"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039915"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.17.357-365"},{"key":"ref3","article-title":"Optimal control of diffusion processes","author":"borkar","year":"1989","journal-title":"Pitman Research Notes in Mathematics Series"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.09.016"},{"key":"ref5","article-title":"A composition theorem for bisimulation functions","author":"girard","year":"2007","journal-title":"Preprint"},{"journal-title":"Brownian Motion and Stochastic Calculus Volume 113 of Graduate Texts in Mathematics","year":"1991","author":"karatzas","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2019791"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref2"},{"journal-title":"A Linear Systems Primer","year":"2007","author":"antsaklis","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"}],"event":{"name":"2015 54th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2015,12,15]]},"location":"Osaka","end":{"date-parts":[[2015,12,18]]}},"container-title":["2015 54th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7396016\/7402066\/07402282.pdf?arnumber=7402282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T15:26:22Z","timestamp":1490196382000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7402282\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2015.7402282","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}