{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:57:49Z","timestamp":1725742669080},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642401954"},{"type":"electronic","value":"9783642401961"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40196-1_27","type":"book-chapter","created":{"date-parts":[[2013,7,23]],"date-time":"2013-07-23T01:54:56Z","timestamp":1374544496000},"page":"305-321","source":"Crossref","is-referenced-by-count":6,"title":["Symbolic Control of Stochastic Switched Systems via Finite Abstractions"],"prefix":"10.1007","author":[{"given":"Majid","family":"Zamani","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Abate, A.: A contractivity approach for probabilistic bisimulations of diffusion processes. In: Proceedings of 48th IEEE Conference on Decision and Control, pp. 2230\u20132235 (December 2009)","DOI":"10.1109\/CDC.2009.5400334"},{"issue":"11","key":"27_CR2","doi-asserted-by":"publisher","first-page":"2688","DOI":"10.1109\/TAC.2011.2160595","volume":"56","author":"A. Abate","year":"2011","unstructured":"Abate, A., D\u2019Innocenzo, A., Di Benedetto, M.D.: Approximate abstractions of stochastic hybrid systems. IEEE Transactions on Automatic Control\u00a056(11), 2688\u20132694 (2011)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"27_CR3","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1109\/9.989067","volume":"47","author":"D. Angeli","year":"2002","unstructured":"Angeli, D.: A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control\u00a047(3), 410\u2013421 (2002)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"27_CR4","series-title":"LNCIS","doi-asserted-by":"publisher","DOI":"10.1007\/11587392","volume-title":"Stochastic Hybrid Systems: Theory and Safety Critical Applications","author":"H.A.P. Blom","year":"2006","unstructured":"Blom, H.A.P., Lygeros, J.: Stochastic Hybrid Systems: Theory and Safety Critical Applications. LNCIS, vol.\u00a0337. Springer, Heidelberg (2006)"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-31954-2_13","volume-title":"Hybrid Systems: Computation and Control","author":"M.L. Bujorianu","year":"2005","unstructured":"Bujorianu, M.L., Lygeros, J., Bujorianu, M.C.: Bisimulation for General Stochastic Hybrid Systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 198\u2013214. Springer, Heidelberg (2005)"},{"issue":"1","key":"27_CR6","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1137\/040619429","volume":"45","author":"D. Chatterjee","year":"2006","unstructured":"Chatterjee, D., Liberzon, D.: Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions. SIAM Journal on Control and Optimization\u00a045(1), 174\u2013206 (2006)","journal-title":"SIAM Journal on Control and Optimization"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Girard, A.: Low-complexity switching controllers for safety using symbolic models. In: Proceedings of 4th IFAC Conference on Analysis and Design of Hybrid Systems, pp. 82\u201387 (2012)","DOI":"10.3182\/20120606-3-NL-3011.00022"},{"issue":"5","key":"27_CR8","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TAC.2007.895849","volume":"25","author":"A. Girard","year":"2007","unstructured":"Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control\u00a025(5), 782\u2013798 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TAC.2009.2034922","volume":"55","author":"A. Girard","year":"2010","unstructured":"Girard, A., Pola, G., Tabuada, P.: Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control\u00a055(1), 116\u2013126 (2010)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"6","key":"27_CR10","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1109\/TAC.2009.2019791","volume":"54","author":"A.A. Julius","year":"2009","unstructured":"Julius, A.A., Pappas, G.J.: Approximations of stochastic hybrid systems. IEEE Transaction on Automatic Control\u00a054(6), 1193\u20131203 (2009)","journal-title":"IEEE Transaction on Automatic Control"},{"key":"27_CR11","series-title":"Graduate Texts in Mathematics","volume-title":"Brownian Motion and Stochastic Calculus","author":"I. Karatzas","year":"1991","unstructured":"Karatzas, I., Shreve, S.E.: Brownian Motion and Stochastic Calculus, 2nd edn. Graduate Texts in Mathematics, vol.\u00a0113. Springer, New York (1991)","edition":"2"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Liberzon, D.: Switching in Systems and Control. Systems & Control: Foundations & Applications. Birkh\u00e4user (2003)","DOI":"10.1007\/978-1-4612-0017-8"},{"key":"27_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-31424-7_28","volume-title":"Computer Aided Verification","author":"R. Majumdar","year":"2012","unstructured":"Majumdar, R., Zamani, M.: Approximately bisimilar symbolic models for digital control systems. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 362\u2013377. Springer, Heidelberg (2012)"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 95","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 229\u2013242. Springer, Heidelberg (1995)"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/978-3-642-14295-6_49","volume-title":"Computer Aided Verification","author":"M. Mazo Jr.","year":"2010","unstructured":"Mazo Jr., M., Davitian, A., Tabuada, P.: PESSOA: A tool for embedded controller synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 566\u2013569. Springer, Heidelberg (2010)"},{"key":"27_CR16","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Inc. (1989)"},{"key":"27_CR17","unstructured":"Oksendal, B.K.: Stochastic differential equations: An introduction with applications, 5th edn. Springer (November 2002)"},{"issue":"2","key":"27_CR18","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1137\/070698580","volume":"48","author":"G. Pola","year":"2009","unstructured":"Pola, G., Tabuada, P.: Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SIAM Journal on Control and Optimization\u00a048(2), 719\u2013733 (2009)","journal-title":"SIAM Journal on Control and Optimization"},{"key":"27_CR19","unstructured":"Prajna, S., Papachristodoulou, A., Seiler, P., Parrilo, P.A.: SOSTOOLS: Control applications and new developments. In: Proceedings of IEEE International Symposium on Computer Aided Control Systems Design, pp. 315\u2013320 (2004)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Sproston, J.: Discrete-time verification and control for probabilistic rectangular hybrid automata. In: Proceedings of 8th International Conference on Quantitative Evaluation of Systems, pp. 79\u201388 (2011)","DOI":"10.1109\/QEST.2011.18"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems, A symbolic approach, 1st edn. Springer (June 2009)","DOI":"10.1007\/978-1-4419-0224-5_1"},{"key":"27_CR22","unstructured":"Zamani, M., Mohajerin Esfahani, P., Majumdar, R., Abate, A., Lygeros, J.: Symbolic control of stochastic systems via approximately bisimilar finite abstractions. arXiv: 1302.3868 (2013)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40196-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T02:53:52Z","timestamp":1557975232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40196-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401954","9783642401961"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40196-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}