{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:46:19Z","timestamp":1743014779211,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031163357"},{"type":"electronic","value":"9783031163364"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-16336-4_10","type":"book-chapter","created":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:02:40Z","timestamp":1662832960000},"page":"192-213","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Stability Analysis of\u00a0Planar Probabilistic Piecewise Constant Derivative Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1995-2592","authenticated-orcid":false,"given":"Spandan","family":"Das","sequence":"first","affiliation":[]},{"given":"Pavithra","family":"Prabhakar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,11]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","unstructured":"Alur, R., Dang, T., Ivanci, F.: Counter-example guided predicate abstraction of hybrid systems. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 208\u2013223. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36577-X_15","DOI":"10.1007\/3-540-36577-X_15"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s00236-006-0035-7","volume":"43","author":"E Asarin","year":"2007","unstructured":"Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Inform. 43, 451\u2013476 (2007). https:\/\/doi.org\/10.1007\/s00236-006-0035-7","journal-title":"Acta Inform."},{"key":"10_CR3","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/9.664150","volume":"43","author":"M Branicky","year":"1998","unstructured":"Branicky, M.: Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Autom. Control 43(4), 475\u2013482 (1998). https:\/\/doi.org\/10.1109\/9.664150","journal-title":"IEEE Trans. Autom. Control"},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: 2012 IEEE 33rd Real-Time Systems Symposium, pp. 183\u2013192 (2012). https:\/\/doi.org\/10.1109\/RTSS.2012.70","DOI":"10.1109\/RTSS.2012.70"},{"key":"10_CR6","unstructured":"Cheng, P., Deng, F.: Almost sure exponential stability of linear impulsive stochastic differential systems. In: Proceedings of the 31st Chinese Control Conference, pp. 1553\u20131557. IEEE (2012)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.nahs.2018.05.003","volume":"30","author":"P Cheng","year":"2018","unstructured":"Cheng, P., Deng, F., Yao, F.: Almost sure exponential stability and stochastic stabilization of stochastic differential systems with impulsive effects. Nonlinear Anal. Hybrid Syst. 30, 106\u2013117 (2018)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"issue":"04","key":"10_CR8","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1142\/S012905410300190X","volume":"14","author":"E Clarke","year":"2003","unstructured":"Clarke, E., et al.: Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int. J. Found. Comput. Sci. 14(04), 583\u2013604 (2003)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"10_CR9","unstructured":"Davrazos, G., Koussoulas, N.: A review of stability results for switched and hybrid systems. In: Mediterranean Conference on Control and Automation. Citeseer (2001)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-75454-1_10","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"H Dierks","year":"2007","unstructured":"Dierks, H., Kupferschmid, S., Larsen, K.G.: Automatic abstraction refinement for timed automata. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 114\u2013129. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75454-1_10"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1080\/00207179.2018.1482502","volume":"93","author":"KD Do","year":"2020","unstructured":"Do, K.D., Nguyen, H.: Almost sure exponential stability of dynamical systems driven by l\u00e9vy processes and its application to control design for magnetic bearings. Int. J. Control 93(3), 599\u2013610 (2020)","journal-title":"Int. J. Control"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S.: Abstraction refinement for stability. In: 2011 IEEE\/ACM Second International Conference on Cyber-Physical Systems, pp. 22\u201331. IEEE (2011)","DOI":"10.1109\/ICCPS.2011.24"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S.: Lyapunov abstractions for inevitability of hybrid systems. In: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, pp. 115\u2013124 (2012)","DOI":"10.1145\/2185632.2185652"},{"key":"10_CR14","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? J. Comput. Syst. Sci. 57(1), 94\u2013124 (1998). https:\/\/doi.org\/10.1006\/jcss.1998.1581, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0022000098915811","DOI":"10.1006\/jcss.1998.1581"},{"issue":"2","key":"10_CR15","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1016\/j.automatica.2007.05.027","volume":"44","author":"L Hu","year":"2008","unstructured":"Hu, L., Mao, X.: Almost sure exponential stabilisation of stochastic systems by state-feedback control. Automatica 44(2), 465\u2013471 (2008)","journal-title":"Automatica"},{"key":"10_CR16","unstructured":"Kleinberg, J., Tardos, E.: Algorithm Design. Addison-Wesley, Boston (2006)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Lal, R., Prabhakar, P.: Hierarchical abstractions for reachability analysis of probabilistic hybrid systems. In: 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 848\u2013855. IEEE (2018)","DOI":"10.1109\/ALLERTON.2018.8635976"},{"issue":"5s","key":"10_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3358217","volume":"18","author":"R Lal","year":"2019","unstructured":"Lal, R., Prabhakar, P.: Counterexample guided abstraction refinement for polyhedral probabilistic hybrid systems. ACM Trans. Embedded Comput. Syst. 18(5s), 1\u201323 (2019)","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"10_CR19","doi-asserted-by":"publisher","unstructured":"Liberzon, D.: Switching in Systems and control. Springer, Boston (2003). https:\/\/doi.org\/10.1007\/978-1-4612-0017-8","DOI":"10.1007\/978-1-4612-0017-8"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/11730637_38","volume-title":"Hybrid Systems: Computation and Control","author":"A Podelski","year":"2006","unstructured":"Podelski, A., Wagner, S.: Model checking of hybrid systems: from reachability towards stability. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 507\u2013521. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11730637_38"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"750","DOI":"10.1007\/978-3-540-71493-4_76","volume-title":"Hybrid Systems: Computation and Control","author":"A Podelski","year":"2007","unstructured":"Podelski, A., Wagner, S.: A sound and complete proof rule for region stability of hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 750\u2013753. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71493-4_76"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Prabhakar, P., Duggirala, S., Mitra, S., Viswanathan, M.: Hybrid automata-based CEGAR for rectangular hybrid automata. Citeseer (2013). http:\/\/www.its.caltech.edu\/pavithra\/Papers\/rtss2012tr.pdf","DOI":"10.1007\/978-3-642-35873-9_6"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-642-39799-8_20","volume-title":"Computer Aided Verification","author":"P Prabhakar","year":"2013","unstructured":"Prabhakar, P., Garcia Soto, M.: Abstraction based model-checking of stability of hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 280\u2013295. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_20"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Prabhakar, P., Viswanathan, M.: On the decidability of stability of hybrid systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 53\u201362 (2013)","DOI":"10.1145\/2461328.2461339"},{"key":"10_CR25","doi-asserted-by":"publisher","unstructured":"Prabhakar, P., Vladimerou, V., Viswanathan, M., Dullerud, G.E.: Verifying tolerant systems using polynomial approximations. In: 2009 30th IEEE Real-Time Systems Symposium, pp. 181\u2013190 (2009). https:\/\/doi.org\/10.1109\/RTSS.2009.28","DOI":"10.1109\/RTSS.2009.28"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477\u2013492. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24743-2_32"},{"key":"10_CR27","doi-asserted-by":"publisher","unstructured":"Ross, S.M.: Chapter 4 - Markov chains. In: Ross, S.M. (ed.) Introduction to Probability Models, 10th edn., pp. 191\u2013290. Academic Press, Boston (2010). https:\/\/doi.org\/10.1016\/B978-0-12-375686-2.00009-1","DOI":"10.1016\/B978-0-12-375686-2.00009-1"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Rutten, J.J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Monograph series. No. 23), American Mathematical Society (2004)","DOI":"10.1090\/crmm\/023"},{"key":"10_CR29","doi-asserted-by":"publisher","unstructured":"Teel, A.R., Subbaraman, A., Sferlazza, A.: Stability analysis for stochastic hybrid systems: a survey. Automatica 50(10), 2435\u20132456 (2014). https:\/\/doi.org\/10.1016\/j.automatica.2014.08.006https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0005109814003070","DOI":"10.1016\/j.automatica.2014.08.006"},{"key":"10_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0109998","volume-title":"An introduction to hybrid dynamical systems","author":"AJ Van Der Schaft","year":"2000","unstructured":"Van Der Schaft, A.J., Schumacher, J.M.: An introduction to hybrid dynamical systems, vol. 251. Springer, London (2000). https:\/\/doi.org\/10.1007\/BFb0109998"},{"issue":"6","key":"10_CR31","doi-asserted-by":"publisher","first-page":"1314","DOI":"10.1080\/00207179.2017.1392042","volume":"92","author":"B Wang","year":"2019","unstructured":"Wang, B., Zhu, Q.: Asymptotic stability in distribution of stochastic systems with semi-Markovian switching. Int. J. Control 92(6), 1314\u20131324 (2019)","journal-title":"Int. J. Control"},{"issue":"2","key":"10_CR32","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0304-4149(02)00230-2","volume":"103","author":"C Yuan","year":"2003","unstructured":"Yuan, C., Mao, X.: Asymptotic stability in distribution of stochastic differential equations with Markovian switching. Stoch. Process. Their Appl. 103(2), 277\u2013291 (2003)","journal-title":"Stoch. Process. Their Appl."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16336-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:04:09Z","timestamp":1662833049000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16336-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031163357","9783031163364"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16336-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest.org\/qest2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}