{"id":"https://openalex.org/W4410555952","doi":"https://doi.org/10.1145/3716863.3718033","title":"Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata","display_name":"Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata","publication_year":2025,"publication_date":"2025-05-06","ids":{"openalex":"https://openalex.org/W4410555952","doi":"https://doi.org/10.1145/3716863.3718033"},"language":"en","primary_location":{"id":"doi:10.1145/3716863.3718033","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716863.3718033","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716863.3718033","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3716863.3718033","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010081957","display_name":"Anand Balakrishnan","orcid":"https://orcid.org/0000-0002-8781-4810"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Anand Balakrishnan","raw_affiliation_strings":["University of Southern California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110241884","display_name":"S. Paul","orcid":null},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sheryl Paul","raw_affiliation_strings":["University of Southern California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003930356","display_name":"Simone Silvetti","orcid":"https://orcid.org/0000-0001-8048-9317"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simone Silvetti","raw_affiliation_strings":["University of Trieste, Italy"],"affiliations":[{"raw_affiliation_string":"University of Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021825279","display_name":"Laura Nenzi","orcid":"https://orcid.org/0000-0003-2263-9342"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Laura Nenzi","raw_affiliation_strings":["University of Trieste, Italy"],"affiliations":[{"raw_affiliation_string":"University of Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057473400","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0003-4683-5540"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jyotirmoy V. Deshmukh","raw_affiliation_strings":["University of Southern California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, USA","institution_ids":["https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5010081957"],"corresponding_institution_ids":["https://openalex.org/I1174212"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1156737,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9832000136375427,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9832000136375427,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14420","display_name":"Advanced Research in Systems and Signal Processing","score":0.9800000190734863,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9772999882698059,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7260367274284363},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7029111385345459},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6813908219337463},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.49522724747657776},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.4560210704803467},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35185307264328003},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08729195594787598}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7260367274284363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7029111385345459},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6813908219337463},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.49522724747657776},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.4560210704803467},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35185307264328003},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08729195594787598}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3716863.3718033","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716863.3718033","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716863.3718033","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2503.21906","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2503.21906","pdf_url":"https://arxiv.org/pdf/2503.21906","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3716863.3718033","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716863.3718033","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716863.3718033","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1207027810","display_name":null,"funder_award_id":"CCF-SHF-1932620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1889334499","display_name":"FMitF: A Novel Framework for Learning Formal Abstractions and Causal Relations from Temporal Behaviors","funder_award_id":"1837131","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2091120815","display_name":null,"funder_award_id":"FMitF-1837131","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4185534415","display_name":"CAREER: A Framework for Logic-based Requirements to guide Safe Deep Learning for Autonomous Mobile Systems","funder_award_id":"2048094","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4806240817","display_name":null,"funder_award_id":"1058 23/06/2022","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4851802478","display_name":null,"funder_award_id":"SHF-2048094","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5876574054","display_name":null,"funder_award_id":"1932620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6165832738","display_name":"SLES: A Neurosymbolic Approach for Safe Multi-Agent Systems","funder_award_id":"2417075","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6363478400","display_name":null,"funder_award_id":"23/06/2022","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6708180324","display_name":"Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems","funder_award_id":"2039087","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6853111466","display_name":"Novel structural monitoring solution for safe and sustainable post-tensioned infrastructure","funder_award_id":"837131","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7435669594","display_name":null,"funder_award_id":"CNS-2039087","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7452998910","display_name":null,"funder_award_id":"00000","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7855521421","display_name":null,"funder_award_id":"ECS_00000043","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8535605147","display_name":null,"funder_award_id":"CNS-1932620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410555952.pdf","grobid_xml":"https://content.openalex.org/works/W4410555952.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W828139470","https://openalex.org/W1487629853","https://openalex.org/W1498203978","https://openalex.org/W1533557569","https://openalex.org/W1667231716","https://openalex.org/W1705718777","https://openalex.org/W1775249002","https://openalex.org/W1974775743","https://openalex.org/W1976043843","https://openalex.org/W2030224590","https://openalex.org/W2047650874","https://openalex.org/W2049399166","https://openalex.org/W2049696538","https://openalex.org/W2069356553","https://openalex.org/W2076628340","https://openalex.org/W2101804404","https://openalex.org/W2115826669","https://openalex.org/W2143658255","https://openalex.org/W2245953329","https://openalex.org/W2557837928","https://openalex.org/W2758427605","https://openalex.org/W2797716272","https://openalex.org/W2801153259","https://openalex.org/W2902264868","https://openalex.org/W2905083379","https://openalex.org/W2946458591","https://openalex.org/W2949193783","https://openalex.org/W2963017542","https://openalex.org/W2964247868","https://openalex.org/W2998117442","https://openalex.org/W3010924044","https://openalex.org/W3021021465","https://openalex.org/W3026534080","https://openalex.org/W3081694050","https://openalex.org/W3112314931","https://openalex.org/W3129749699","https://openalex.org/W3165590793","https://openalex.org/W3173259272","https://openalex.org/W3182190814","https://openalex.org/W3206177834","https://openalex.org/W3208007721","https://openalex.org/W3208522429","https://openalex.org/W4286696934","https://openalex.org/W4295850088","https://openalex.org/W4368362605","https://openalex.org/W4388233346","https://openalex.org/W4391188106","https://openalex.org/W4407128425"],"related_works":["https://openalex.org/W1750171350","https://openalex.org/W1903000972","https://openalex.org/W2569130014","https://openalex.org/W2095644384","https://openalex.org/W2149582339","https://openalex.org/W2900094146","https://openalex.org/W1597414920","https://openalex.org/W1928422391","https://openalex.org/W2148140319","https://openalex.org/W2124122503"],"abstract_inverted_index":{"Modern":[0],"cyber-physical":[1],"systems":[2],"(CPS)":[3],"can":[4,27,145],"consist":[5],"of":[6,21,35,46,125],"various":[7,37],"networked":[8],"components":[9,38,49],"and":[10,13,39,58,77,87,114,152],"agents":[11],"interacting":[12],"communicating":[14],"with":[15,110],"each":[16],"other.":[17],"In":[18,41],"the":[19,32,36,47,70,74],"context":[20],"spatially":[22,93],"distributed":[23,48,94],"CPS,":[24],"these":[25,42,136],"connections":[26],"be":[28,146],"dynamically":[29],"dependent":[30],"on":[31],"spatial":[33],"configuration":[34],"agents.":[40],"settings,":[43],"robust":[44],"monitoring":[45,154],"is":[50,108],"vital":[51],"to":[52,85,148],"ensuring":[53],"complex":[54],"behaviors":[55],"are":[56,61],"achieved,":[57],"safety":[59],"properties":[60],"maintained.":[62],"To":[63],"this":[64,118,142],"end,":[65],"we":[66,120,139],"look":[67],"at":[68],"defining":[69],"automaton":[71,143],"semantics":[72,144],"for":[73,155],"Spatio-Temporal":[75],"Reach":[76],"Escape":[78],"Logic":[79],"(STREL),":[80],"a":[81,122,159],"formal":[82],"logic":[83],"designed":[84],"express":[86],"monitor":[88],"spatio-temporal":[89,100],"requirements":[90],"over":[91,102],"mobile,":[92],"CPS.":[95],"Specifically,":[96],"STREL":[97,107,131,156],"reasons":[98],"about":[99],"behavior":[101],"dynamic":[103],"weighted":[104],"graphs.":[105],"While":[106],"endowed":[109],"well":[111],"defined":[112],"qualitative":[113],"quantitative":[115],"semantics,":[116],"in":[117],"paper,":[119],"propose":[121],"novel":[123],"construction":[124],"(weighted)":[126],"alternating":[127],"finite":[128],"automata":[129],"from":[130],"specifications":[132,157],"that":[133],"efficiently":[134],"encodes":[135],"semantics.":[137],"Moreover,":[138],"demonstrate":[140],"how":[141],"used":[147],"perform":[149],"both,":[150],"offline":[151],"online":[153],"using":[158],"simulated":[160],"drone":[161],"swarm":[162],"environment.":[163]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}