{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T12:06:34Z","timestamp":1762862794513,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466803"},{"type":"electronic","value":"9783662466810"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-46681-0_23","type":"book-chapter","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T18:56:36Z","timestamp":1427741796000},"page":"272-286","source":"Crossref","is-referenced-by-count":50,"title":["FAUST $^{\\mathsf 2}$ : Formal Abstractions of Uncountable-STate STochastic Processes"],"prefix":"10.1007","author":[{"given":"Sadegh Esmaeil Zadeh","family":"Soudjani","sequence":"first","affiliation":[]},{"given":"Caspar","family":"Gevaerts","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Meyn, S., Tweedie, R.: Markov chains and stochastic stability. Springer (1993)","DOI":"10.1007\/978-1-4471-3267-7"},{"issue":"11","key":"23_CR2","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":"23_CR3","unstructured":"Bertsekas, D., Shreve, S.: Stochastic Optimal Control: The Discrete-Time Case. Athena Scientific (1996)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-540-71493-4_4","volume-title":"Hybrid Systems: Computation and Control","author":"A. Abate","year":"2007","unstructured":"Abate, A., Amin, S., Prandini, M., Lygeros, J., Sastry, S.: Computational approaches to reachability analysis of stochastic hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 4\u201317. Springer, Heidelberg (2007)"},{"issue":"12","key":"23_CR5","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":"23_CR6","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"6","author":"A. Abate","year":"2010","unstructured":"Abate, A., Katoen, J.P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. European Journal of Control\u00a06, 624\u2013641 (2010)","journal-title":"European Journal of Control"},{"key":"23_CR7","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 (2011)","DOI":"10.1145\/1967701.1967715"},{"key":"23_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, pp. 59\u201369 (September 2011)","DOI":"10.1109\/QEST.2011.16"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Tkachev, I., Mereacre, A., Katoen, J., Abate, A.: Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. In: Proceedings of the 16th international conference on Hybrid Systems: Computation and Control, HSCC 2013, pp. 293\u2013302 (2013)","DOI":"10.1145\/2461328.2461373"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. SIAM Journal on Applied Dynamical Systems\u00a012(2), 921\u2013956 (2013)","DOI":"10.1137\/120871456"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Tkachev, I., Abate, A.: Formula-free Finite Abstractions for Linear Temporal Verification of Stochastic Hybrid Systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Philadelphia, PA, pp. 283\u2013292 (April 2013)","DOI":"10.1145\/2461328.2461372"},{"key":"23_CR12","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":"23_CR13","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"},{"issue":"5","key":"23_CR14","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"23_CR15","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., Ivan\u010di\u0107, F.: Benchmarks for hybrid systems verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 326\u2013341. Springer, Heidelberg (2004)"},{"issue":"9","key":"23_CR16","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1109\/TAC.1985.1104071","volume":"30","author":"R. Malham\u00e9","year":"1985","unstructured":"Malham\u00e9, R., Chong, C.: Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system. IEEE Transactions on Automatic Control\u00a030(9), 854\u2013860 (1985)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"23_CR17","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":"23_CR18","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Probabilistic reach-avoid computation for partially-degenerate stochastic processes. IEEE Transactions on Automatic Control\u00a059(2), 528\u2013534 (2014)","DOI":"10.1109\/TAC.2013.2273300"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-642-33386-6_32","volume-title":"Automated Technology for Verification and Analysis","author":"S. Esmaeil Zadeh Soudjani","year":"2012","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Higher-Order Approximations for Verification of Stochastic Hybrid Systems. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol.\u00a07561, pp. 416\u2013434. Springer, Heidelberg (2012)"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-319-10696-0_7","volume-title":"Quantitative Evaluation of Systems","author":"D. Adzkiya","year":"2014","unstructured":"Adzkiya, D., Esmaeil Zadeh Soudjani, S., Abate, A.: Finite Abstractions of Stochastic Max-Plus-Linear Systems. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol.\u00a08657, pp. 74\u201389. Springer, Heidelberg (2014)"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/978-3-642-54862-8_45","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Esmaeil Zadeh Soudjani","year":"2014","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol.\u00a08413, pp. 547\u2013561. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46681-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:21:38Z","timestamp":1559139698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46681-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466803","9783662466810"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46681-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}