{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:06:40Z","timestamp":1761487600575},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331704"},{"type":"electronic","value":"9783540331711"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11730637_29","type":"book-chapter","created":{"date-parts":[[2006,2,24]],"date-time":"2006-02-24T01:57:14Z","timestamp":1140746234000},"page":"377-391","source":"Crossref","is-referenced-by-count":30,"title":["Computational Methods for Reachability Analysis of Stochastic Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Xenofon","family":"Koutsoukos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derek","family":"Riley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-30206-3_22","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"M. Bernadskiy","year":"2004","unstructured":"Bernadskiy, M., Sharykin, R., Alur, R.: Structured Modeling of Concurrent Stochastic Hybrid Systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.\u00a03253, pp. 309\u2013324. Springer, Heidelberg (2004)"},{"key":"29_CR2","volume-title":"Stochastic Optimal Control: The Discrete Time Case","author":"D.P. Bertsekas","year":"1978","unstructured":"Bertsekas, D.P., Shreve, S.E.: Stochastic Optimal Control: The Discrete Time Case. Academic Press, London (1978)"},{"doi-asserted-by":"crossref","unstructured":"Bujorianu, M., Lygeros, J.: General Stochastic Hybrid Systems: Modeling and Optimal Control. In: Proc. of 43rd IEEE Conf. on Decision and Control (2004)","key":"29_CR3","DOI":"10.1109\/CDC.2004.1430320"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-36580-X_12","volume-title":"Hybrid Systems: Computation and Control","author":"M.L. Bujorianu","year":"2003","unstructured":"Bujorianu, M.L., Lygeros, J.: Reachability Questions in Piecewise Deterministic Markov Processes. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 126\u2013140. Springer, Heidelberg (2003)"},{"issue":"4","key":"29_CR5","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C. Courcoubetis","year":"1995","unstructured":"Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. Journal of ACM\u00a042(4), 857\u2013907 (1995)","journal-title":"Journal of ACM"},{"key":"29_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2","volume-title":"Markov Models and Optimization","author":"M. Davis","year":"1993","unstructured":"Davis, M.: Markov Models and Optimization. Chapman and Hall, Boca Raton (1993)"},{"key":"29_CR7","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-1-4612-1784-8_15","volume-title":"Stochastic Analysis, Control, Optimization and Applications: A Volume in Honor of W.H. Fleming","author":"M. Davis","year":"1999","unstructured":"Davis, M., Farid, M.: Piecewise-deterministic processes and viscosity solutions. In: Stochastic Analysis, Control, Optimization and Applications: A Volume in Honor of W.H. Fleming, pp. 249\u2013268. Birkhauser, Basel (1999)"},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-48320-9_7","volume-title":"CONCUR\u201999. Concurrency Theory","author":"L. Alfaro de","year":"1999","unstructured":"de Alfaro, L.: Computing Minimum and Maximum Reachability Times in Probabilistic Systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 66\u201381. Springer, Heidelberg (1999)"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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 Verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 326\u2013341. Springer, Heidelberg (2004)"},{"key":"29_CR10","volume-title":"Controlled Markov Processes and Viscosity Solutions","author":"W. Fleming","year":"1993","unstructured":"Fleming, W., Soner, H.: Controlled Markov Processes and Viscosity Solutions. Springer, Heidelberg (1993)"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-540-24743-2_26","volume-title":"Hybrid Systems: Computation and Control","author":"J.P. Hespanha","year":"2004","unstructured":"Hespanha, J.P.: Stochastic Hybrid Systems: Application to Communication Networks. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 387\u2013401. Springer, Heidelberg (2004)"},{"key":"29_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","volume-title":"Hybrid Systems: Computation and Control","author":"J. Hu","year":"2000","unstructured":"Hu, J., Lygeros, J., Sastry, S.: Towards a Theory of Stochastic Hybrid Systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 160\u2013173. Springer, Heidelberg (2000)"},{"unstructured":"Hu, J., Prandini, M., Sastry, S.: Probabilistic Safety Analysis in Three Dimensional Aircraft Flight. In: Proc. of 42nd IEEE Conf. on Decision and Control, pp. 5335\u20135340 (2003)","key":"29_CR13"},{"key":"29_CR14","first-page":"301","volume":"4","author":"X. Koutsoukos","year":"2004","unstructured":"Koutsoukos, X.: Optimal Control of Stochastic Hybrid Systems Based on Locally Consistent Markov Decision Processes. Int. J. of Hybrid Systems\u00a04, 301\u2013318 (2004)","journal-title":"Int. J. of Hybrid Systems"},{"key":"29_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0007-6","volume-title":"Numerical Methods for Stochastic Control Problems in Continuous Time","author":"H.J. Kushner","year":"2001","unstructured":"Kushner, H.J., Dupuis, P.: Numerical Methods for Stochastic Control Problems in Continuous Time. Springer, Heidelberg (2001)"},{"issue":"6","key":"29_CR16","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/j.automatica.2004.01.012","volume":"40","author":"J. Lygeros","year":"2004","unstructured":"Lygeros, J.: On reachability and minimum cost optimal control. Automatica\u00a040(6), 917\u2013927 (2004)","journal-title":"Automatica"},{"issue":"7","key":"29_CR17","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1109\/TAC.2005.851439","volume":"50","author":"I.M. Mitchell","year":"2005","unstructured":"Mitchell, I.M., Bayen, A.M., Tomlin, C.J.: A Time-Dependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games. IEEE Trans. on Automatic Control\u00a050(7), 947\u2013957 (2005)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"29_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-540-31954-2_31","volume-title":"Hybrid Systems: Computation and Control","author":"I.M. Mitchell","year":"2005","unstructured":"Mitchell, I.M., Templeton, J.A.: 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":"29_CR19","volume-title":"Markov Decision Processes-Discrete Stochastic Dynamic Programming","author":"M. Puterman","year":"2005","unstructured":"Puterman, M.: Markov Decision Processes-Discrete Stochastic Dynamic Programming. Wiley, Hoboken, New Jersey (2005)"},{"doi-asserted-by":"crossref","unstructured":"Strubbe, S.N., Julius, A.A., van der Schaft, A.J.: Communicating piecewise deterministic Markov processes. In: ADHS (June 2003)","key":"29_CR20","DOI":"10.1016\/S1474-6670(17)36449-2"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11730637_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T22:24:24Z","timestamp":1555453464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11730637_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331704","9783540331711"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11730637_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}