{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:17Z","timestamp":1750306997379,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T00:00:00Z","timestamp":1334620800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,4,17]]},"DOI":"10.1145\/2185632.2185664","type":"proceedings-article","created":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T12:53:22Z","timestamp":1334667202000},"page":"207-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Probabilistic invariance of mixed deterministic-stochastic dynamical systems"],"prefix":"10.1145","author":[{"given":"Sadegh","family":"Esmaeil Zadeh Soudjani","sequence":"first","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"volume-title":"MIT Press","year":"2008","author":"Baier C.","key":"e_1_3_2_1_3_1"},{"volume-title":"Athena Scientific","year":"1996","author":"Bertsekas D. P.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"M. Bujorianu and J. Lygeros. Reachability questions in piecewise deterministic Markov processes. In O. Maler and A. Pnueli editors Hybrid Systems: Computation and Control number 2623 in Lecture Notes in Computer Sciences pages 126--140. Springer Verlag Berlin Heidelberg 2003.   M. Bujorianu and J. Lygeros. Reachability questions in piecewise deterministic Markov processes. In O. Maler and A. Pnueli editors Hybrid Systems: Computation and Control number 2623 in Lecture Notes in Computer Sciences pages 126--140. Springer Verlag Berlin Heidelberg 2003.","DOI":"10.1007\/3-540-36580-X_12"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jtbi.2003.3164"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"issue":"137","key":"e_1_3_2_1_9_1","article-title":"On polyhedral projection and parametric programming","volume":"3","author":"Jones C.","year":"2008","journal-title":"Journal of Optimization Theory and Applications"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"R.\n       \n      Khanin\n     and \n      \n      \n      D.\n       \n      Higham\n      \n  \n  . \n  Chemical Master Equation and Langevin regimes for a gene transcription model. In M. Calder and S. Gilmore editors Computational Methods in Systems Biology volume \n  4695\n   of \n  Lecture Notes in Computer Science pages \n  1\n  --\n  14\n  . \n  Springer Berlin \/ Heidelberg 2007\n  .   R. Khanin and D. Higham. Chemical Master Equation and Langevin regimes for a gene transcription model. In M. Calder and S. Gilmore editors Computational Methods in Systems Biology volume 4695 of Lecture Notes in Computer Science pages 1--14. Springer Berlin \/ Heidelberg 2007.","DOI":"10.1007\/978-3-540-75140-3_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_29"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"M. Kvasnica P. Grieder and M. Baoti\u0107. Multi-parametric toolbox (MPT) 2004.  M. Kvasnica P. Grieder and M. Baoti\u0107. Multi-parametric toolbox (MPT) 2004.","DOI":"10.1007\/978-3-540-24743-2_30"}],"event":{"name":"HSCC'12: Hybrid Systems: Computation and Control","sponsor":["IEEE","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Beijing China","acronym":"HSCC'12"},"container-title":["Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185632.2185664","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2185632.2185664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:48:45Z","timestamp":1750236525000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185632.2185664"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,17]]},"references-count":12,"alternative-id":["10.1145\/2185632.2185664","10.1145\/2185632"],"URL":"https:\/\/doi.org\/10.1145\/2185632.2185664","relation":{},"subject":[],"published":{"date-parts":[[2012,4,17]]},"assertion":[{"value":"2012-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}