{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:41:54Z","timestamp":1757612514228,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":59,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["SHF-2048094,CNS-1932620,CNS-2039087,FMitF-1837131,CCF-SHF-1932620,IIS-SLES-2417075"],"award-info":[{"award-number":["SHF-2048094,CNS-1932620,CNS-2039087,FMitF-1837131,CCF-SHF-1932620,IIS-SLES-2417075"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Ministero dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["ECS00000043"],"award-info":[{"award-number":["ECS00000043"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716863.3718033","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:20:33Z","timestamp":1747808433000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8781-4810","authenticated-orcid":false,"given":"Anand","family":"Balakrishnan","sequence":"first","affiliation":[{"name":"University of Southern California, Los Angeles, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-2939-4891","authenticated-orcid":false,"given":"Sheryl","family":"Paul","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8048-9317","authenticated-orcid":false,"given":"Simone","family":"Silvetti","sequence":"additional","affiliation":[{"name":"University of Trieste, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2263-9342","authenticated-orcid":false,"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[{"name":"University of Trieste, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4683-5540","authenticated-orcid":false,"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/347090.347114"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3464974.3468448"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039367"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008699807402"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88494-9_18"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715114"},{"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.1016\/j.ic.2022.104957"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.Valuetools.2014.258183"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788700023806"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0259-2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","unstructured":"Javier Esparza Jan K\u0159et\u00ednsk\u00fd Jean-Fran\u00e7ois Raskin et al. 2022. From linear temporal logic and limit-deterministic B\u00fcchi automata to deterministic parity automata. International Journal on Software Tools for Technology Transfer 24 (Aug. 2022) 635--659. https:\/\/doi.org\/10.1007\/s10009-022-00663-1 Published: 23 July 2022 Accepted: 07 June 2022.","DOI":"10.1007\/s10009-022-00663-1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_19_1","volume-title":"Semiring Labelled Decision Diagrams","author":"Fargier H\u00e9l\u00e8ne","year":"2013","unstructured":"H\u00e9l\u00e8ne Fargier, Pierre Marquis, and Nicolas Schmidt. 2013. Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. In 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Francesca Rossi (Ed.). AAAI Press: International Joint Conferences on Artificial Intelligence, P\u00e9kin, China, 884--890. https:\/\/hal.science\/hal-04085303"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9333-5"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scs.2019.101660"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728633"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1177\/02783649231223546"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858460"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.05.003"},{"key":"e_1_3_2_1_27_1","volume-title":"Specifying real-time properties with metric temporal logic. Real-time systems 2, 4","author":"Koymans Ron","year":"1990","unstructured":"Ron Koymans. 1990. Specifying real-time properties with metric temporal logic. Real-time systems 2, 4 (1990), 255--299."},{"volume-title":"Languages","author":"Kuich Werner","key":"e_1_3_2_1_28_1","unstructured":"Werner Kuich and Arto Salomaa. 1986. Semirings, Automata, Languages. Springer Berlin Heidelberg, Berlin, Heidelberg."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2021.09.029"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"Tao Li Jiaqi Liu Haopeng Sun et al. 2021. Runtime Verification of Spatio-Temporal Specification Language. Mobile Networks and Applications 26 (Dec. 2021) 2392--2406. https:\/\/doi.org\/10.1007\/s11036-021-01779-5 Published: 21 June 2021 Accepted: 10 May 2021.","DOI":"10.1007\/s11036-021-01779-5"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3538747"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00013"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-76669-0_10"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11867340_20"},{"key":"e_1_3_2_1_35_1","volume-title":"Jo\u00e3o Costa Seco, and Carla Ferreira","author":"de Matos Pedro Andr\u00e9","year":"2022","unstructured":"Andr\u00e9 de Matos Pedro, Tom\u00e1s Silva, Tiago Sequeira, Jo\u00e3o Louren\u00e7o, Jo\u00e3o Costa Seco, and Carla Ferreira. 2022. Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. In Formal Methods for Industrial Critical Systems, Jan Friso Groote and Marieke Huisman (Eds.). Springer International Publishing, Cham, 155--171."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88885-5_7"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3585937"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","unstructured":"Ali Momtaz Nawaraj Basnet Hasan Abbas et al. 2023. Predicate monitoring in distributed cyber-physical systems. International Journal on Software Tools for Technology Transfer 25 (Aug. 2023) 541--556. https:\/\/doi.org\/10.1007\/s10009-023-00718-x Published: 02 November 2023 Accepted: 19 September 2023.","DOI":"10.1007\/s10009-023-00718-x"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-815032-0.00011-1"},{"key":"e_1_3_2_1_40_1","unstructured":"NASA. 2024. Cooperative Autonomous Distributed Robotic Exploration (CADRE). https:\/\/www.nasa.gov\/cooperative-autonomous-distributed-robotic-exploration-cadre\/ Accessed: 2024-11-13."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","unstructured":"L. Nenzi E. Bartocci L. Bortolussi and M. Loreti. 2022. A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Logical Methods in Computer Science Volume 18 Issue 1 (Jan. 2022). https:\/\/doi.org\/10.46298\/lmcs-18(1:4)2022","DOI":"10.46298\/lmcs-18(1:4)2022"},{"key":"e_1_3_2_1_42_1","article-title":"Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic","volume":"1","author":"Nenzi Laura","year":"2015","unstructured":"Laura Nenzi and Luca Bortolussi. 2015. Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic. EAI Endorsed Transactions on Cloud Systems 1, 4 (2015).","journal-title":"EAI Endorsed Transactions on Cloud Systems"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_2"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.33"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_1"},{"key":"e_1_3_2_1_46_1","volume-title":"The power grid as a complex network: a survey. Physica A: Statistical Mechanics and its Applications 392, 11","author":"Pagani Giuliano Andrea","year":"2013","unstructured":"Giuliano Andrea Pagani and Marco Aiello. 2013. The power grid as a complex network: a survey. Physica A: Statistical Mechanics and its Applications 392, 11 (2013), 2688--2700."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2020.11.017"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","unstructured":"A. Pnueli and A. Zaks. 2008. On the Merits of Temporal Testers. In 25 Years of Model Checking Orna Grumberg and Helmut Veith (Eds.). Vol. 5000. Springer Berlin Heidelberg Berlin Heidelberg 172--195. https:\/\/doi.org\/10.1007\/978-3-540-69850-0_11","DOI":"10.1007\/978-3-540-69850-0_11"},{"key":"e_1_3_2_1_49_1","volume-title":"CUDD: CU Decision Diagram Package. Public Software","author":"Somenzi Fabio","year":"1997","unstructured":"Fabio Somenzi. 1997. CUDD: CU Decision Diagram Package. Public Software, University of Colorado (1997). https:\/\/cir.nii.ac.jp\/crid\/1570009749922215168"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9340854"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-36071-9"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015261"},{"volume-title":"Logics for Concurrency","author":"Vardi Moshe Y.","key":"e_1_3_2_1_54_1","unstructured":"Moshe Y. Vardi. 1996. An Automata-Theoretic Approach to Linear Temporal Logic. In Logics for Concurrency. Springer, 238--266."},{"key":"e_1_3_2_1_55_1","volume-title":"Alternating automata and program verification. Computer science today: recent trends and developments","author":"Vardi Moshe Y","year":"2005","unstructured":"Moshe Y Vardi. 2005. Alternating automata and program verification. Computer science today: recent trends and developments (2005), 471--485."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2019.2962207"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/1642293.1642346"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2884906"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.3016032"}],"event":{"name":"HSCC '25: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Irvine CA USA","acronym":"HSCC '25"},"container-title":["Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718033","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:46:06Z","timestamp":1756993566000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":59,"alternative-id":["10.1145\/3716863.3718033","10.1145\/3716863"],"URL":"https:\/\/doi.org\/10.1145\/3716863.3718033","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}