{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:39:35Z","timestamp":1725471575904},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333859"},{"type":"electronic","value":"9783642333866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33386-6_32","type":"book-chapter","created":{"date-parts":[[2012,9,28]],"date-time":"2012-09-28T10:58:20Z","timestamp":1348829900000},"page":"416-434","source":"Crossref","is-referenced-by-count":10,"title":["Higher-Order Approximations for Verification of Stochastic Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Sadegh","family":"Esmaeil Zadeh Soudjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Abate, A., Katoen, J.-P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. European Journal of Control\u00a0(6), 624\u2013641 (2010)","DOI":"10.3166\/ejc.16.624-641"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Abate, A., Katoen, J.-P., Mereacre, A.: Quantitative automata model checking of autonomous stochastic hybrid systems. In: ACM Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, Chicago, IL, pp. 83\u201392 (April 2011)","DOI":"10.1145\/1967701.1967715"},{"issue":"11","key":"32_CR3","doi-asserted-by":"publisher","first-page":"2724","DOI":"10.1016\/j.automatica.2008.03.027","volume":"44","author":"A. Abate","year":"2008","unstructured":"Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica\u00a044(11), 2724\u20132734 (2008)","journal-title":"Automatica"},{"key":"32_CR4","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"key":"32_CR5","unstructured":"Bertsekas, D.P., Shreve, S.E.: Stochastic Optimal Control: The Discrete-Time Case. Athena Scientific (1996)"},{"key":"32_CR6","series-title":"LNCIS","volume-title":"Stochastic Hybrid Systems: Theory and Safety Critical Applications","year":"2006","unstructured":"Blom, H.A.P., Lygeros, J. (eds.): Stochastic Hybrid Systems: Theory and Safety Critical Applications. LNCIS, vol.\u00a0337. Springer, Heidelberg (2006)"},{"key":"32_CR7","series-title":"Control Engineering","volume-title":"Stochastic Hybrid Systems","year":"2006","unstructured":"Cassandras, C.G., Lygeros, J. (eds.): Stochastic Hybrid Systems. Control Engineering, vol.\u00a024. CRC Press, Boca Raton (2006)"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Adaptive gridding for abstraction and verification of stochastic hybrid systems. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems, Aachen, DE, pp. 59\u201369 (September 2011)","DOI":"10.1109\/QEST.2011.16"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Probabilistic invariance of mixed deterministic-stochastic dynamical systems. In: ACM Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control, Beijing, PRC, pp. 207\u2013216 (April 2012)","DOI":"10.1145\/2185632.2185664"},{"key":"32_CR10","series-title":"Applications of Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0729-0","volume-title":"Discrete-time Markov control processes","author":"O. Hern\u00e1ndez-Lerma","year":"1996","unstructured":"Hern\u00e1ndez-Lerma, O., Lasserre, J.B.: Discrete-time Markov control processes. Applications of Mathematics, vol.\u00a030. Springer, New York (1996)"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov reward model checker. In: IEEE Proceedings of the International Conference on Quantitative Evaluation of Systems, Los Alamos, CA, USA, pp. 243\u2013244 (2005)","DOI":"10.1109\/QEST.2005.2"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Mastroianni, G., Milovanovic, G.V.: Interpolation Processes: Basic Theory and Applications. Springer (2008)","DOI":"10.1007\/978-3-540-68349-0"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Meyn, S.P., Tweedie, R.L.: Markov chains and stochastic stability. Springer (1993)","DOI":"10.1007\/978-1-4471-3267-7"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Ramponi, F., Chatterjee, D., Summers, S., Lygeros, J.: On the connections between PCTL and dynamic programming. In: ACM Proceedings of the 13th International Conference on Hybrid Systems: Computation and Control, pp. 253\u2013262 (April 2010)","DOI":"10.1145\/1755952.1755988"},{"issue":"12","key":"32_CR16","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1016\/j.automatica.2010.08.006","volume":"46","author":"S. Summers","year":"2010","unstructured":"Summers, S., Lygeros, J.: Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem. Automatica\u00a046(12), 1951\u20131961 (2010)","journal-title":"Automatica"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Tkachev, I., Abate, A.: Regularization of Bellman equations for infinite-horizon probabilistic properties. In: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, Beijing, PRC, pp. 227\u2013236 (April 2012)","DOI":"10.1145\/2185632.2185666"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33386-6_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T01:21:35Z","timestamp":1557278495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33386-6_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333859","9783642333866"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33386-6_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}