{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:36:27Z","timestamp":1729632987014,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1109\/cdc.2008.4739270","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T17:57:15Z","timestamp":1232474235000},"page":"221-226","source":"Crossref","is-referenced-by-count":5,"title":["Approximate abstractions of discrete-time controlled stochastic hybrid systems"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"D'Innocenzo","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[]},{"given":"Maria D.","family":"Di Benedetto","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming"},{"key":"13","article-title":"approximate abstraction of stochastic hybrid systems","author":"julius","year":"0","journal-title":"IEEE Trans Automatic Control"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434911"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(99)00241-6"},{"key":"12","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/978-3-540-24743-2_28","article-title":"modeling subtilin production in bacillus subtilis using stochastic hybrid systems","volume":"2993","author":"hu","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"year":"0","key":"2"},{"key":"1","article-title":"markov set-chains as abstractions of stochastic hybrid systems","volume":"4981","author":"abate","year":"2008","journal-title":"LNCS"},{"key":"10","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/11603009_18","article-title":"quantifying similarities between timed systems","volume":"3829","author":"henzinger","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_20"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434720"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"9","article-title":"markov set-chains","volume":"1695","author":"hartfiel","year":"1998","journal-title":"Lecture Notes in Mathematics"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"}],"event":{"name":"2008 47th IEEE Conference on Decision and Control","start":{"date-parts":[[2008,12,9]]},"location":"Cancun","end":{"date-parts":[[2008,12,11]]}},"container-title":["2008 47th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4721212\/4738560\/04739270.pdf?arnumber=4739270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,30]],"date-time":"2021-09-30T07:09:54Z","timestamp":1632985794000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4739270\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2008.4739270","relation":{},"subject":[],"published":{"date-parts":[[2008,12]]}}}