{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T10:01:14Z","timestamp":1764842474597,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1652544, SaTC-1813388"],"award-info":[{"award-number":["CNS-1652544, SaTC-1813388"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-17-1-2504, N00014-20-1-2745"],"award-info":[{"award-number":["N00014-17-1-2504, N00014-20-1-2745"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-19-1-0169"],"award-info":[{"award-number":["FA9550-19-1-0169"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3450267.3450534","type":"proceedings-article","created":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T22:09:05Z","timestamp":1617314945000},"page":"55-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Probabilistic conformance for cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Yu","family":"Wang","sequence":"first","affiliation":[{"name":"Duke University"}]},{"given":"Mojtaba","family":"Zarei","sequence":"additional","affiliation":[{"name":"Duke University"}]},{"given":"Borzoo","family":"Bonakdarpoor","sequence":"additional","affiliation":[{"name":"Michigan State University"}]},{"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[{"name":"Duke University"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"e_1_3_2_1_3_1","volume-title":"International Conference on Runtime Verification. 147--160","author":"Asarin Eugene","year":"2011","unstructured":"Eugene Asarin , Alexandre Donz\u00e9 , Oded Maler , and Dejan Nickovic . 2011 . Parametric identification of temporal properties . In International Conference on Runtime Verification. 147--160 . Eugene Asarin, Alexandre Donz\u00e9, Oded Maler, and Dejan Nickovic. 2011. Parametric identification of temporal properties. In International Conference on Runtime Verification. 147--160."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1088\/1748-9326\/10\/11\/114005"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_46"},{"key":"e_1_3_2_1_6_1","unstructured":"CPSL@Duke. 2020. Probabilistic Conformance for CPS: Case-Studies. https:\/\/gitlab.oit.duke.edu\/cpsl\/conformance.  CPSL@Duke. 2020. Probabilistic Conformance for CPS: Case-Studies. https:\/\/gitlab.oit.duke.edu\/cpsl\/conformance."},{"volume-title":"Handbook of Model Checking","author":"Dams Dennis","key":"e_1_3_2_1_7_1","unstructured":"Dennis Dams and Orna Grumberg . 2018. Abstraction and Abstraction Refinement . In Handbook of Model Checking . Springer International , 385--419. Dennis Dams and Orna Grumberg. 2018. Abstraction and Abstraction Refinement. In Handbook of Model Checking. Springer International, 385--419."},{"volume-title":"2011 International Conference on Clean Electrical Power. 99--104","author":"De Brito Moacyr A. G.","key":"e_1_3_2_1_8_1","unstructured":"Moacyr A. G. De Brito , Leonardo P. Sampaio , G. Luigi , Guilherme A. e Melo , and Carlos A. Canesin . 2011. Comparative analysis of MPPT techniques for PV applications . In 2011 International Conference on Clean Electrical Power. 99--104 . Moacyr A. G. De Brito, Leonardo P. Sampaio, G. Luigi, Guilherme A. e Melo, and Carlos A. Canesin. 2011. Comparative analysis of MPPT techniques for PV applications. In 2011 International Conference on Clean Electrical Power. 99--104."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0261-8"},{"key":"e_1_3_2_1_10_1","volume-title":"Non-parametric Statistics: Theory and Methods.","author":"Deshpande Jyotirmoy V.","year":"2018","unstructured":"Jyotirmoy V. Deshpande , Uttara Naik-Nimbalkar , and Isha Dewan . 2018 . Non-parametric Statistics: Theory and Methods. Jyotirmoy V. Deshpande, Uttara Naik-Nimbalkar, and Isha Dewan. 2018. Non-parametric Statistics: Theory and Methods."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/mnras\/225.1.155"},{"volume-title":"Fundamentals of vehicle dynamics","author":"Gillespie Thomas D","key":"e_1_3_2_1_12_1","unstructured":"Thomas D Gillespie . 1992. Fundamentals of vehicle dynamics . Vol. 400 . Society of automotive engineers Warrendale, PA. Thomas D Gillespie. 1992. Fundamentals of vehicle dynamics. Vol. 400. Society of automotive engineers Warrendale, PA."},{"key":"e_1_3_2_1_13_1","volume-title":"Component-aware Input-Output Conformance. In International Conference on Formal Techniques for Distributed Objects, Components, and Systems. 111--128","author":"Graf-Brill Alexander","year":"2019","unstructured":"Alexander Graf-Brill and Holger Hermanns . 2019 . Component-aware Input-Output Conformance. In International Conference on Formal Techniques for Distributed Objects, Components, and Systems. 111--128 . Alexander Graf-Brill and Holger Hermanns. 2019. Component-aware Input-Output Conformance. In International Conference on Formal Techniques for Distributed Objects, Components, and Systems. 111--128."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Lex Heerink and Jan Tretmans. 1996. Formal Methods in Conformance Testing: A Probabilistic Refinement. In Int. Work. on Testing of Communicating Sys. 261--276.  Lex Heerink and Jan Tretmans. 1996. Formal Methods in Conformance Testing: A Probabilistic Refinement. In Int. Work. on Testing of Communicating Sys. 261--276.","DOI":"10.1007\/978-0-387-35062-2_19"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"e_1_3_2_1_16_1","volume-title":"Powertrain Control Verification Benchmark. In The 17th International Conference on Hybrid Systems: Computation and Control. 253--262","author":"Jin Xiaoqing","year":"2014","unstructured":"Xiaoqing Jin , Jyotirmoy V. Deshmukh , James Kapinski , Koichi Ueda , and Ken Butts . 2014 . Powertrain Control Verification Benchmark. In The 17th International Conference on Hybrid Systems: Computation and Control. 253--262 . Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts. 2014. Powertrain Control Verification Benchmark. In The 17th International Conference on Hybrid Systems: Computation and Control. 253--262."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2019791"},{"key":"e_1_3_2_1_18_1","volume-title":"Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap. In 26th International Conference on Concurrency Theory (CONCUR)","volume":"42","author":"Khakpour Narges","year":"2015","unstructured":"Narges Khakpour and Mohammad Reza Mousavi . 2015 . Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap. In 26th International Conference on Concurrency Theory (CONCUR) , Vol. 42 . 18--40. Narges Khakpour and Mohammad Reza Mousavi. 2015. Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap. In 26th International Conference on Concurrency Theory (CONCUR), Vol. 42. 18--40."},{"key":"e_1_3_2_1_19_1","volume-title":"Larsen and Axel Legay","author":"Kim","year":"2016","unstructured":"Kim G. Larsen and Axel Legay . 2016 . Statistical Model Checking: Past, Present , and Future. In Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques . 3--15. Kim G. Larsen and Axel Legay. 2016. Statistical Model Checking: Past, Present, and Future. In Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 3--15."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_11"},{"volume-title":"Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. In IEEE\/RSJ International Conf. on Intelligent Robots and Systems (IROS). 370--376","author":"Stephan","key":"e_1_3_2_1_21_1","unstructured":"Stephan B. Liu and Matthias Althoff. 2018 . Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. In IEEE\/RSJ International Conf. on Intelligent Robots and Systems (IROS). 370--376 . Stephan B. Liu and Matthias Althoff. 2018. Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. In IEEE\/RSJ International Conf. on Intelligent Robots and Systems (IROS). 370--376."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.10.047"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760105"},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","key":"e_1_3_2_1_24_1","unstructured":"Oded Maler and Dejan Nickovic . 2004. Monitoring temporal properties of continuous signals . In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems . Springer , 152--166. Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, 152--166."},{"key":"e_1_3_2_1_25_1","unstructured":"MathWorks Inc. 2019. lane-keeping Assist System . https:\/\/www.mathworks.com\/help\/mpc\/ug\/lane-keeping-assist-system-using-model-predictive-control.htmll. Accessed: 2019-7-15.  MathWorks Inc. 2019. lane-keeping Assist System . https:\/\/www.mathworks.com\/help\/mpc\/ug\/lane-keeping-assist-system-using-model-predictive-control.htmll. Accessed: 2019-7-15."},{"key":"e_1_3_2_1_26_1","unstructured":"MathWorks Inc. 2019. Model Predictive Control Toolbox. https:\/\/www.mathworks.com\/help\/mpc\/ug\/lane-keeping-assist-system-using-model-predictive-control.html. Accessed: 2019-7-15.  MathWorks Inc. 2019. Model Predictive Control Toolbox. https:\/\/www.mathworks.com\/help\/mpc\/ug\/lane-keeping-assist-system-using-model-predictive-control.html. Accessed: 2019-7-15."},{"key":"e_1_3_2_1_27_1","unstructured":"MathWorks Inc. 2019. PowerSim. https:\/\/www.mathworks.com\/help\/physmod\/sps\/index.html?s_tid=CRUX_lftnav. Accessed: 2019-7-15.  MathWorks Inc. 2019. PowerSim. https:\/\/www.mathworks.com\/help\/physmod\/sps\/index.html?s_tid=CRUX_lftnav. Accessed: 2019-7-15."},{"key":"e_1_3_2_1_28_1","unstructured":"MathWorks Inc. 2019. SimPower. https:\/\/www.mathworks.com\/help\/physmod\/sps\/examples\/250-kw-grid-connected-pv-array.html. Accessed: 2019-7-15.  MathWorks Inc. 2019. SimPower. https:\/\/www.mathworks.com\/help\/physmod\/sps\/examples\/250-kw-grid-connected-pv-array.html. Accessed: 2019-7-15."},{"key":"e_1_3_2_1_29_1","volume-title":"Agile autonomous driving using end-to-end deep imitation learning. arXiv preprint arXiv:1709.07174","author":"Pan Yunpeng","year":"2017","unstructured":"Yunpeng Pan , Ching-An Cheng , Kamil Saigol , Keuntaek Lee , Xinyan Yan , Evangelos Theodorou , and Byron Boots . 2017. Agile autonomous driving using end-to-end deep imitation learning. arXiv preprint arXiv:1709.07174 ( 2017 ). Yunpeng Pan, Ching-An Cheng, Kamil Saigol, Keuntaek Lee, Xinyan Yan, Evangelos Theodorou, and Byron Boots. 2017. Agile autonomous driving using end-to-end deep imitation learning. arXiv preprint arXiv:1709.07174 (2017)."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1093\/mnras\/202.3.615"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3193992.3193995"},{"key":"e_1_3_2_1_32_1","volume-title":"Reachset Conformance Testing of Hybrid Automata. In 19th International Conference on Hybrid Systems: Computation and Control (HSCC). 277--286","author":"Roehm Hendrik","year":"2016","unstructured":"Hendrik Roehm , Jens Oehlerking , Matthias Woehrle , and Matthias Althoff . 2016 . Reachset Conformance Testing of Hybrid Automata. In 19th International Conference on Hybrid Systems: Computation and Control (HSCC). 277--286 . Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, and Matthias Althoff. 2016. Reachset Conformance Testing of Hybrid Automata. In 19th International Conference on Hybrid Systems: Computation and Control (HSCC). 277--286."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049804"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_57"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Jeremy Sproston. 2000. Decidable Model Checking of Probabilistic Hybrid Automata. In Formal Techniques in Real-Time and Fault-Tolerant Systems. 31--45.  Jeremy Sproston. 2000. Decidable Model Checking of Probabilistic Hybrid Automata. In Formal Techniques in Real-Time and Fault-Tolerant Systems. 31--45.","DOI":"10.1007\/3-540-45352-0_5"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Kishor S. Trivedi Andrea Bobbio and Jogesh Muppala. 2017. Reliability and Availability Engineering: Modeling Analysis and Applications.  Kishor S. Trivedi Andrea Bobbio and Jogesh Muppala. 2017. Reliability and Availability Engineering: Modeling Analysis and Applications.","DOI":"10.1017\/9781316163047"},{"volume-title":"Weak Convergence and Empirical Processes","author":"van der Vaart A. W.","key":"e_1_3_2_1_37_1","unstructured":"A. W. van der Vaart and Jon A Wellner . 1996. Glivenko-Cantelli Theorems . In Weak Convergence and Empirical Processes . Springer , 122--126. A. W. van der Vaart and Jon A Wellner. 1996. Glivenko-Cantelli Theorems. In Weak Convergence and Empirical Processes. Springer, 122--126."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF51468.2021.00009"},{"volume-title":"Statistical Verification of Dynamical Systems Using Set Oriented Methods. In 18th Int. Conf. on Hybrid Systems: Computation and Control (HSCC). 169--178","author":"Wang Yu","key":"e_1_3_2_1_39_1","unstructured":"Yu Wang , Nima Roohi , Matthew West , Mahesh Viswanathan , and Geir E. Dullerud . 2015 . Statistical Verification of Dynamical Systems Using Set Oriented Methods. In 18th Int. Conf. on Hybrid Systems: Computation and Control (HSCC). 169--178 . Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, and Geir E. Dullerud. 2015. Statistical Verification of Dynamical Systems Using Set Oriented Methods. In 18th Int. Conf. on Hybrid Systems: Computation and Control (HSCC). 169--178."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3358232","article-title":"Statistical Verification of Hyperproperties for Cyber-Physical Systems","volume":"18","author":"Wang Yu","year":"2019","unstructured":"Yu Wang , Mojtaba Zarei , Borzoo Bonakdarpour , and Miroslav Pajic . 2019 . Statistical Verification of Hyperproperties for Cyber-Physical Systems . ACM Transactions on Embedded Computing Systems 18 , 5s (2019), 1 -- 23 . Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic. 2019. Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems 18, 5s (2019), 1--23.","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382209"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Lijun Zhang Zhikun She Stefan Ratschan Holger Hermanns and Ernst Moritz Hahn. 2010. Safety Verification for Probabilistic Hybrid Systems. In Computer Aided Verification. 196--211.  Lijun Zhang Zhikun She Stefan Ratschan Holger Hermanns and Ernst Moritz Hahn. 2010. Safety Verification for Probabilistic Hybrid Systems. In Computer Aided Verification. 196--211.","DOI":"10.1007\/978-3-642-14295-6_21"}],"event":{"name":"ICCPS '21: ACM\/IEEE 12th International Conference on Cyber-Physical Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS\\TCRT TC on Real-Time Systems"],"location":"Nashville Tennessee","acronym":"ICCPS '21"},"container-title":["Proceedings of the ACM\/IEEE 12th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450267.3450534","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3450267.3450534","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3450267.3450534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:46:58Z","timestamp":1750193218000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450267.3450534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":42,"alternative-id":["10.1145\/3450267.3450534","10.1145\/3450267"],"URL":"https:\/\/doi.org\/10.1145\/3450267.3450534","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}