{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:43:47Z","timestamp":1757612627368,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"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":[[2025,5,6]]},"DOI":"10.1145\/3716550.3722040","type":"proceedings-article","created":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T06:20:57Z","timestamp":1746598857000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1475-933X","authenticated-orcid":false,"given":"Christian","family":"Abou-Mrad","sequence":"first","affiliation":[{"name":"Oregon State University, Corvallis, OR, US"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5029-5607","authenticated-orcid":false,"given":"Tanmay","family":"Khandait","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, US"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6726-9790","authenticated-orcid":false,"given":"Giulia","family":"Pedrielli","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, US"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8096-2618","authenticated-orcid":false,"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[{"name":"Oregon State University, Corvallis, OR, US"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/Allerton.2012.6483411"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431460"},{"key":"e_1_3_2_1_4_1","unstructured":"Christian Abou-Mrad. 2024. Private Communication."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3641513.3650139"},{"volume-title":"Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior","author":"Andr\u00e9 \u00c9tienne","key":"e_1_3_2_1_6_1","unstructured":"\u00c9tienne Andr\u00e9, Masaki Waga, Natuski Urabe, and Ichiro Hasuo. 2022. Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. In NASA Formal Methods, Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez (Eds.). Springer International Publishing, Cham, 470--488."},{"volume-title":"Tools and algorithms for the construction and analysis of systems (LNCS","author":"Rahul Annapureddy Yashwanth Singh","key":"e_1_3_2_1_7_1","unstructured":"Yashwanth Singh Rahul Annapureddy, Che Liu, Georgios E. Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In Tools and algorithms for the construction and analysis of systems (LNCS, Vol. 6605). Springer, 254--257."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127050"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3487212.3487350"},{"key":"e_1_3_2_1_11_1","volume-title":"Kochenderfer","author":"Corso Anthony","year":"2020","unstructured":"Anthony Corso, Robert J. Moss, Mark Koren, Ritchie Lee, and Mykel J. Kochenderfer. 2020. A Survey of Algorithms for Black-Box Safety Validation. ArXiv abs\/2005.02979 (2020). https:\/\/api.semanticscholar.org\/CorpusID:218516698"},{"key":"e_1_3_2_1_12_1","volume-title":"ARCH Workshop Series.","author":"CPS Virtual Organization","year":"2024","unstructured":"CPS Virtual Organization. 2024. ARCH Workshop Series."},{"key":"e_1_3_2_1_13_1","volume-title":"Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings 20","author":"Cralley Joseph","year":"2020","unstructured":"Joseph Cralley, Ourania Spantidi, Bardh Hoxha, and Georgios Fainekos. 2020. Tltk: A toolbox for parallel robustness computation of temporal logic specifications. In Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings 20. Springer, 404--416."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126521"},{"volume-title":"Proc. of Runtime Verification. Springer.","author":"Dokhanchi A.","key":"e_1_3_2_1_15_1","unstructured":"A. Dokhanchi, B. Hoxha, and G. Fainekos. 2014. Online Monitoring for Temporal Logic Robustness. In Proc. of Runtime Verification. Springer."},{"volume-title":"A Toolbox for Verification and Parameter Synthesis of Hybrid Systems","author":"Donz\u00e9 Alexandre","key":"e_1_3_2_1_16_1","unstructured":"Alexandre Donz\u00e9. 2010. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In Computer Aided Verification, Tayssir Touili, Byron Cook, and Paul Jackson (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 167--170."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"volume-title":"NASA Symposium on Formal Methods.","author":"Dreossi T.","key":"e_1_3_2_1_19_1","unstructured":"T. Dreossi, T. Dang, A. Donze, J. Kapinski, X. Jin, and J. V. Deshmukh. 2015. A Trajectory Splicing Approach to Concretizing Counterexamples for Hybrid Systems. In NASA Symposium on Formal Methods."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"G. Fainekos and G. Pappas. 2009. Robustness of temporal logic specifications for continuous-time signals. Theoretical Computer Science (2009).","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Peter I Frazier. 2018. Bayesian optimization. In Recent advances in optimization and modeling of contemporary problems. Informs 255--278.","DOI":"10.1287\/educ.2018.0188"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3197506"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883847"},{"key":"e_1_3_2_1_24_1","volume-title":"Int. Workshop on Design and Implementation of Formal Tools and Systems.","author":"Hoxha Bardh","year":"2014","unstructured":"Bardh Hoxha, Hoang Bach, Houssam Abbas, Adel Dokhanchi, Yoshihiro Kobayashi, and Georgios Fainekos. 2014. Towards formal specification visualization for testing and monitoring of cyber-physical systems. In Int. Workshop on Design and Implementation of Formal Tools and Systems."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353863"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710449"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008306431147"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 11th Int. Workshop on Applied","volume":"103","author":"Khandait Tanmay","year":"2024","unstructured":"Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, et al. 2024. ARCH-COMP 2024 Category Report: Falsification. In Proceedings of the 11th Int. Workshop on Applied, Vol. 103. 122--144."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562146"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"volume-title":"Formal Methods for Multi-Agent Feedback Control Systems","author":"Lindemann Lars","key":"e_1_3_2_1_32_1","unstructured":"Lars Lindemann and Dimos Dimarogonas. 2025. Formal Methods for Multi-Agent Feedback Control Systems. MIT Press."},{"volume-title":"Monitoring Temporal Properties of Continuous Signals","author":"Maler Oded","key":"e_1_3_2_1_33_1","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49439.2021.9551474"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029989"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_47"},{"key":"e_1_3_2_1_37_1","volume-title":"RTAMT: Online Robustness Monitors from STL. In Automated Technology for Verification and Analysis. https:\/\/api.semanticscholar.org\/CorpusID:218869539","author":"Ni\u010dkovi\u0107 D.","year":"2020","unstructured":"D. Ni\u010dkovi\u0107 and Tomoya Yamaguchi. 2020. RTAMT: Online Robustness Monitors from STL. In Automated Technology for Verification and Analysis. https:\/\/api.semanticscholar.org\/CorpusID:218869539"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"e_1_3_2_1_42_1","volume-title":"Part-x: A family of stochastic algorithms for search-based test generation with probabilistic guarantees","author":"Pedrielli Giulia","year":"2023","unstructured":"Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, and Georgios Fainekos. 2023. Part-x: A family of stochastic algorithms for search-based test generation with probabilistic guarantees. IEEE Transactions on Automation Science and Engineering (2023)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2018.00038"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447624"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_11"},{"volume-title":"Verification and Control of Temporal Logic Specifications for Hybrid Systems. Master's thesis","author":"Sabatino Francesco","key":"e_1_3_2_1_47_1","unstructured":"Francesco Sabatino. 2019. Verification and Control of Temporal Logic Specifications for Hybrid Systems. Master's thesis. KTH Royal Institute of Technology. https:\/\/www.kth.se\/polopoly_fs\/1.588039.1550155544!\/Thesis%20KTH%20-%20Francesco%20Sabatino.pdf"},{"key":"e_1_3_2_1_48_1","volume-title":"Robust Temporal Logic Model Predictive Control. In Allerton conference.","author":"Sadraddini Sadra","year":"2015","unstructured":"Sadra Sadraddini and Calin Belta. 2015. Robust Temporal Logic Model Predictive Control. In Allerton conference."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"TJ Santner. 2003. The Design and analysis of computer experiments.","DOI":"10.1007\/978-1-4757-3799-8"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-1_1"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85248-1_15"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"e_1_3_2_1_53_1","unstructured":"Hengyi Yang. 2013. Dynamic programming algorithm for computing temporal logic robustness. Technical Report. Arizona State University."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_18"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_29"}],"event":{"name":"ICCPS '25: ACM\/IEEE 16th International Conference on Cyber-Physical Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Irvine CA USA","acronym":"ICCPS '25"},"container-title":["Proceedings of the ACM\/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3722040","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716550.3722040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:59:50Z","timestamp":1756994390000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3722040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":55,"alternative-id":["10.1145\/3716550.3722040","10.1145\/3716550"],"URL":"https:\/\/doi.org\/10.1145\/3716550.3722040","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}