{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T13:59:26Z","timestamp":1772287166149,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540714927","type":"print"},{"value":"9783540714934","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71493-4_4","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T17:33:57Z","timestamp":1180546437000},"page":"4-17","source":"Crossref","is-referenced-by-count":44,"title":["Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Abate","sequence":"first","affiliation":[]},{"given":"Saurabh","family":"Amin","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Prandini","sequence":"additional","affiliation":[]},{"given":"John","family":"Lygeros","sequence":"additional","affiliation":[]},{"given":"Shankar","family":"Sastry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11730637_7","volume-title":"Hybrid Systems: Computation and Control","author":"S. Amin","year":"2006","unstructured":"Amin, S., et al.: Reachability analysis for controlled discrete time stochastic hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 49\u201363. Springer, Heidelberg (2006)"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/CDC.2006.377091","volume-title":"Proceedings of the 45th IEEE Conference on Decision and Control","author":"A. Abate","year":"2006","unstructured":"Abate, A., et al.: Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems. In: Proceedings of the 45th IEEE Conference on Decision and Control, San Diego, CA, December 2006, pp. 258\u2013263. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1109\/TAC.1975.1100984","volume":"20","author":"D. Bertsekas","year":"1975","unstructured":"Bertsekas, D.: Convergence of Discretization Procedures in Dynamic Programming. IEEE Transactions on Automatic Control\u00a020(3), 415\u2013419 (1975)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1109\/TAC.1982.1102980","volume":"27","author":"D. Bertsekas","year":"1982","unstructured":"Bertsekas, D.: Distributed Dynamic Programming. IEEE Transactions on Automatic Control\u00a027(3), 610\u2013616 (1982)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2085","volume":"27","author":"B. Kveton","year":"2006","unstructured":"Kveton, B., Hauskrecht, M., Guestrin, C.: Solving factored MDPs with Hybrid State and Action Variables. Journal of Artificial Intelligence Research\u00a027, 1\u201349 (2006)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"4_CR6","volume-title":"Stochastic Hybrid Systems","author":"M. Prandini","year":"2006","unstructured":"Prandini, M., Hu, J.: Stochastic reachability: Theoretical foundations and numerical approximation. In: Cassandras, C., Lygeros, J. (eds.) Stochastic Hybrid Systems, CRC Press, Boca Raton (2006)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-24743-2_22","volume-title":"Hybrid Systems: Computation and Control","author":"A. Fehnker","year":"2004","unstructured":"Fehnker, A., Ivancic, F.: Benchmarks for Hybrid Systems Verifications. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 326\u2013341. Springer, Heidelberg (2004)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/978-3-540-31954-2_31","volume-title":"Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2005","unstructured":"Mitchell, I., Templeton, J.: A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 480\u2013494. Springer, Heidelberg (2005)"},{"key":"4_CR9","volume-title":"Neuro-Dynamic Programming","author":"D.P. Bertsekas","year":"1996","unstructured":"Bertsekas, D.P., Tsitsiklis, J.N.: Neuro-Dynamic Programming. Athena Scientific, Belmont (1996)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:23:47Z","timestamp":1558257827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540714927","9783540714934"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}