{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T13:59:27Z","timestamp":1772287167278,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540331704","type":"print"},{"value":"9783540331711","type":"electronic"}],"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_7","type":"book-chapter","created":{"date-parts":[[2006,2,24]],"date-time":"2006-02-24T06:57:14Z","timestamp":1140764234000},"page":"49-63","source":"Crossref","is-referenced-by-count":26,"title":["Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Saurabh","family":"Amin","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Abate","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":"7_CR1","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)"},{"key":"7_CR2","unstructured":"Hu, J., Prandini, M., Sastry, S.: Probabilistic safety analysis in three-dimensional aircraft flight. In: Proc. of the IEEE Conf. on Decision and Control (2003)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.: Stochastic safety verification using barrier certificates. In: Proc. of the IEEE Conf. on Decision and Control (2004)","DOI":"10.1109\/CDC.2004.1428804"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1109\/TITS.2005.853699","volume":"6","author":"J. Hu","year":"2005","unstructured":"Hu, J., Prandini, M., Sastry, S.: Aircraft conflict prediction in the presence of a spatially correlated wind field. IEEE Trans. on Intelligent Transportation Systems\u00a06(3), 326\u2013340 (2005)","journal-title":"IEEE Trans. on Intelligent Transportation Systems"},{"key":"7_CR5","doi-asserted-by":"publisher","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, London (1993)"},{"issue":"6","key":"7_CR6","doi-asserted-by":"publisher","first-page":"1952","DOI":"10.1137\/S0363012996299302","volume":"35","author":"M.K. Ghosh","year":"1997","unstructured":"Ghosh, M.K., Araposthasis, A., Marcus, S.I.: Ergodic control of switching diffusions. SIAM Journal of Control and Optimization\u00a035(6), 1952\u20131988 (1997)","journal-title":"SIAM Journal of Control and Optimization"},{"key":"7_CR7","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., Krogh, B. (eds.) Hybrid Systems: Computation and Control. LNCS, vol.\u00a01790, pp. 160\u2013173. Springer, Heidelberg (2000)"},{"key":"7_CR8","unstructured":"Lygeros, J., Watkins, O.: Stochastic reachability for discrete time systems: an application to aircraft collision avoidance. In: Proc. of the IEEE Conf. on Decision and Control (2003)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Bujorianu, M., Lygeros, J.: General stochastic hybrid systems: Modelling and optimal control. In: Proc. of the IEEE Conf. on Decision and Control (2004)","DOI":"10.1109\/CDC.2004.1430320"},{"key":"7_CR10","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov decision processes","author":"M. Puterman","year":"1994","unstructured":"Puterman, M.: Markov decision processes. John Wiley & Sons, Inc., Chichester (1994)"},{"key":"7_CR11","unstructured":"Bertsekas, D.P., Shreve, S.E.: Stochastic optimal control: the discrete-time case. Athena Scientific (1996)"},{"issue":"9","key":"7_CR12","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1109\/TAC.1985.1104071","volume":"AC-30","author":"R. Malhame","year":"1985","unstructured":"Malhame, R., Chong, C.Y.: Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system. IEEE Transactions on Automatic Control\u00a0AC-30(9), 854\u2013860 (1985)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8455-5","volume-title":"Numerical Integration of Stochastic Differential Equations","author":"G. Milstein","year":"1995","unstructured":"Milstein, G.: Numerical Integration of Stochastic Differential Equations. Kluver Academic Press, London (1995)"},{"key":"7_CR14","volume-title":"Stochastic Systems: Estimation, Identification, and Adaptive Control","author":"P.R. Kumar","year":"1986","unstructured":"Kumar, P.R., Varaiya, P.P.: Stochastic Systems: Estimation, Identification, and Adaptive Control. Prentice Hall, Inc., New Jersey (1986)"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T02:24:28Z","timestamp":1555467868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11730637_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331704","9783540331711"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11730637_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}