{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:45:14Z","timestamp":1742391914765,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/isic.2007.4450868","type":"proceedings-article","created":{"date-parts":[[2008,2,15]],"date-time":"2008-02-15T15:04:48Z","timestamp":1203087888000},"page":"100-105","source":"Crossref","is-referenced-by-count":6,"title":["Verification of Biochemical Processes Using Stochastic Hybrid Systems"],"prefix":"10.1109","author":[{"given":"Derek","family":"Riley","sequence":"first","affiliation":[]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[]},{"given":"Kasandra","family":"Riley","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"758","article-title":"safety analysis of sugar cataract development using stochastic hybrid systems, hybrid systems: computation and control 2007","volume":"4416","author":"riley","year":"2007","journal-title":"LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1006\/abbi.1997.9882"},{"journal-title":"Markov Decision Processes-Discrete Stochastic Dynamic Programming","year":"2005","author":"puterman","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914777"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0007-6","author":"kushner","year":"2001","journal-title":"Numerical Methods for Stochastic Control Problems in Continuous Time"},{"key":"13","first-page":"301","article-title":"optimal control of stochastic hybrid systems based on locally consistent markov decision processes","volume":"4","author":"koutsoukos","year":"2004","journal-title":"Int J of Hybrid Systems"},{"key":"14","first-page":"377","article-title":"computational methods for reachability analysis of stochastic hybrid systems, hybrid systems: computation and control 2006","volume":"3927","author":"koutsoukos","year":"2006","journal-title":"LNCS"},{"key":"11","first-page":"5335","article-title":"probabilistic safety analysis in three dimensional aircraft flight","author":"hu","year":"2003","journal-title":"Proc of 42nd IEEE Conf on Decision and Control"},{"key":"12","first-page":"417","article-title":"modeling subtilin production in bacillus subtilis using stochastic hybrid systems","volume":"2993","author":"hu","year":"2004","journal-title":"LNCS"},{"key":"3","first-page":"1","article-title":"a probabilistic model for molecular systems","author":"barbuti","year":"2005","journal-title":"Fundamenta Informaticae XX IOS Press"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1063\/1.1835951"},{"key":"2","article-title":"an alternative to gillespie's algorithm for simulating chemical reactions","author":"barbuti","year":"2005","journal-title":"Computational Methods in Systems Biology 2005"},{"key":"1","first-page":"19","article-title":"hybrid modeling and simulation of biomolecular networks, hybrid systems: computation and control","author":"alur","year":"2001","journal-title":"LNCS 2034"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1017"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1049\/sb:20045019"},{"key":"6","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1126\/science.1070919","article-title":"stochastic gene expression in a single cell","volume":"297","author":"elowitz","year":"2002","journal-title":"Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1063\/1.1778376"},{"journal-title":"Parallel and Distributed Computation Numerical Methods","year":"1989","author":"bertsekas","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1063\/1.1505860"},{"year":"0","key":"8"}],"event":{"name":"2007 IEEE 22nd International Symposium on Intelligent Control","start":{"date-parts":[[2007,10,1]]},"location":"Singapore","end":{"date-parts":[[2007,10,3]]}},"container-title":["2007 IEEE 22nd International Symposium on Intelligent Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4359557\/4450846\/04450868.pdf?arnumber=4450868","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,4]],"date-time":"2021-06-04T11:47:14Z","timestamp":1622807234000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4450868\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/isic.2007.4450868","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}