{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:46:45Z","timestamp":1762102005713,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T00:00:00Z","timestamp":1492473600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,18]]},"DOI":"10.1145\/3055004.3055023","type":"proceedings-article","created":{"date-parts":[[2017,4,10]],"date-time":"2017-04-10T12:27:28Z","timestamp":1491827248000},"page":"121-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Abstraction based reachability analysis for finite branching stochastic hybrid systems"],"prefix":"10.1145","author":[{"given":"Wenji","family":"Zhang","sequence":"first","affiliation":[{"name":"Kansas State University"}]},{"given":"Pavithra","family":"Prabhakar","sequence":"additional","affiliation":[{"name":"Kansas State University"}]},{"given":"Balasubramaniam","family":"Natarajan","sequence":"additional","affiliation":[{"name":"Kansas State University"}]}],"member":"320","published-online":{"date-parts":[[2017,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.12.002"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2160595"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"e_1_3_2_1_5_1","volume-title":"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. 209--229.","author":"Alur Rajeev","year":"1992","unstructured":"Rajeev Alur , Costas Courcoubetis , Thomas A. Henzinger , and Pei hsin Ho . 1992 . Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. 209--229. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei hsin Ho. 1992. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. 209--229."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132363"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646734.701464"},{"volume-title":"Extended Stochastic Hybrid Systems and Their Reachability Problem","author":"Bujorianu Manuela L.","key":"e_1_3_2_1_8_1","unstructured":"Manuela L. Bujorianu . 2004. Extended Stochastic Hybrid Systems and Their Reachability Problem . Springer Berlin Heidelberg , 234--249. Manuela L. Bujorianu. 2004. Extended Stochastic Hybrid Systems and Their Reachability Problem. Springer Berlin Heidelberg, 234--249."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Edmund Clarke Ansgar Fehnker Zhi Han Bruce Krogh Jol Ouaknine Olaf Stursberg and Michael Theobald. 2003. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. (2003).  Edmund Clarke Ansgar Fehnker Zhi Han Bruce Krogh Jol Ouaknine Olaf Stursberg and Michael Theobald. 2003. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. (2003).","DOI":"10.21236\/ADA461189"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44804-7_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.05.025"},{"key":"e_1_3_2_1_12_1","volume-title":"Conference on Decision and Control and European Control Conference","author":"Girard Antoine","year":"2005","unstructured":"Antoine Girard and George J. Pappas . 2006. Approximate bisimulations for nonlinear dynamical systems . In Conference on Decision and Control and European Control Conference , December , 2005 . IEEE, IEEE, Seville, Espagne, 684--689. Antoine Girard and George J. Pappas. 2006. Approximate bisimulations for nonlinear dynamical systems. In Conference on Decision and Control and European Control Conference, December, 2005. IEEE, IEEE, Seville, Espagne, 684--689."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SE4SG.2012.6225719"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2014.100"},{"volume-title":"Computational Methods for Reachability Analysis of Stochastic Hybrid Systems","author":"Koutsoukos Xenofon","key":"e_1_3_2_1_15_1","unstructured":"Xenofon Koutsoukos and Derek Riley . 2006. Computational Methods for Reachability Analysis of Stochastic Hybrid Systems . Springer Berlin Heidelberg , 377--391. Xenofon Koutsoukos and Derek Riley. 2006. Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. Springer Berlin Heidelberg, 377--391."},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. 23rd International Conference on Computer Aided Verification (CAV'11)","volume":"6806","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems . In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) (LNCS), Vol. 6806 . Springer, 585--591. M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) (LNCS), Vol. 6806. Springer, 585--591."},{"volume-title":"Verifying Quantitative Properties of Continuous Probabilistic Timed Automata","author":"Kwiatkowska Marta","key":"e_1_3_2_1_17_1","unstructured":"Marta Kwiatkowska , Gethin Norman , Roberto Segala , and Jeremy Sproston . 2000. Verifying Quantitative Properties of Continuous Probabilistic Timed Automata . Springer Berlin Heidelberg , 123--137. Marta Kwiatkowska, Gethin Norman, Roberto Segala, and Jeremy Sproston. 2000. Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. Springer Berlin Heidelberg, 123--137."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.583-594"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185662"},{"key":"e_1_3_2_1_20_1","volume-title":"CAV 2016, Toronto, ON, Canada, July 17--23, 2016, Proceedings, Part I. 495--512","author":"Prabhakar Pavithra","year":"2016","unstructured":"Pavithra Prabhakar and Miriam Garcia Soto . 2016 . Counterexample Guided Abstraction Refinement for Stability Analysis. In Computer Aided Verification - 28th International Conference , CAV 2016, Toronto, ON, Canada, July 17--23, 2016, Proceedings, Part I. 495--512 . Pavithra Prabhakar and Miriam Garcia Soto. 2016. Counterexample Guided Abstraction Refinement for Stability Analysis. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016, Proceedings, Part I. 495--512."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_48"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Jan JMM Rutten Marta Kwiatkowska Gethin Norman and David Parker. 2004. Mathematical techniques for analyzing concurrent and probabilistic systems. American Mathematical Soc.  Jan JMM Rutten Marta Kwiatkowska Gethin Norman and David Parker. 2004. Mathematical techniques for analyzing concurrent and probabilistic systems . American Mathematical Soc.","DOI":"10.1090\/crmm\/023"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461372"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_27"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2014.04.003"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.004"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"}],"event":{"name":"ICCPS '17: ACM\/IEEE 8th International Conference on Cyber-Physical Systems","acronym":"ICCPS '17","location":"Pittsburgh Pennsylvania"},"container-title":["Proceedings of the 8th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3055004.3055023","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3055004.3055023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:51Z","timestamp":1750217811000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3055004.3055023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":27,"alternative-id":["10.1145\/3055004.3055023","10.1145\/3055004"],"URL":"https:\/\/doi.org\/10.1145\/3055004.3055023","relation":{},"subject":[],"published":{"date-parts":[[2017,4,18]]},"assertion":[{"value":"2017-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}