{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:54:48Z","timestamp":1725544488352},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78929-1_1","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T09:01:58Z","timestamp":1216285318000},"page":"1-15","source":"Crossref","is-referenced-by-count":9,"title":["Markov Set-Chains as Abstractions of Stochastic Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Abate","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"D\u2019Innocenzo","sequence":"additional","affiliation":[]},{"given":"Maria D.","family":"Di Benedetto","sequence":"additional","affiliation":[]},{"given":"Shankar S.","family":"Sastry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica (accepted, 2007)","DOI":"10.1109\/CDC.2006.377091"},{"issue":"2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088(2), 971\u2013984 (2000)","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous time markov chains. ACM Trans. on Comp. Logic\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM Trans. on Comp. Logic"},{"key":"1_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"2002","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2002)"},{"key":"1_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-4483-2","volume-title":"Markov Models and Optimization","author":"M.H.A. Davis","year":"1993","unstructured":"Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall\/CRC Press, London (1993)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"D\u2019Innocenzo, A., Julius, A.A., Di Benedetto, M.D., Pappas, G.J.: Approximate timed abstractions of hybrid automata. In: Proceedings of the 46 th IEEE Conference on Decision and Control. New Orleans, Louisiana, USA, 12\u201314 December (2007)","DOI":"10.1109\/CDC.2007.4434720"},{"issue":"5","key":"1_CR7","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"52","author":"A. Girard","year":"2007","unstructured":"Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control\u00a052(5), 782\u2013798 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"1_CR8","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0094586","volume-title":"Markov Set-Chains","author":"H.J. Hartfiel","year":"1998","unstructured":"Hartfiel, H.J.: Markov Set-Chains. Lecture Notes in Mathematics, vol.\u00a01695. Springer, Heidelberg (1998)"},{"key":"1_CR9","unstructured":"Julius, A.A., Pappas, G.J.: Approximate abstraction of stochastic hybrid systems. IEEE Trans. Automatic Control (provisionally accepted)"},{"key":"1_CR10","volume-title":"Approximation and Weak Convergence Methods for Random Processes with Applications to Stochastic Systems Theory","author":"H.J. Kushner","year":"1984","unstructured":"Kushner, H.J.: Approximation and Weak Convergence Methods for Random Processes with Applications to Stochastic Systems Theory. MIT Press, Cambridge (1984)"},{"key":"1_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14394-6","volume-title":"Stochastic Differential Equations: An Introduction with Applications","author":"B. \u00d8ksendal","year":"2003","unstructured":"\u00d8ksendal, B.: Stochastic Differential Equations: An Introduction with Applications, 6th edn. Springer, Heidelberg (2003)","edition":"6"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T18:13:35Z","timestamp":1557684815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540789284","9783540789291"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}