{"id":"https://openalex.org/W3165590793","doi":"https://doi.org/10.46298/lmcs-18(1:4)2022","title":"A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems","display_name":"A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems","publication_year":2022,"publication_date":"2022-01-07","ids":{"openalex":"https://openalex.org/W3165590793","doi":"https://doi.org/10.46298/lmcs-18(1:4)2022","mag":"3165590793"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(1:4)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:4)2022","pdf_url":"https://lmcs.episciences.org/8936/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/8936/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110771757","display_name":"L. Nenzi","orcid":null},"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"]},{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT","IT"],"is_corresponding":true,"raw_author_name":"L. Nenzi","raw_affiliation_strings":["University of Trieste, Italy","TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"University of Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]},{"raw_affiliation_string":"TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050836932","display_name":"Ezio Bartocci","orcid":"https://orcid.org/0000-0002-8004-6601"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"E. Bartocci","raw_affiliation_strings":["TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060744592","display_name":"Luca Bortolussi","orcid":"https://orcid.org/0000-0001-8874-4001"},"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":"L. Bortolussi","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/A5069085203","display_name":"Michele Loreti","orcid":"https://orcid.org/0000-0003-3061-863X"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Loreti","raw_affiliation_strings":["University of Camerino, Italy"],"affiliations":[{"raw_affiliation_string":"University of Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5110771757"],"corresponding_institution_ids":["https://openalex.org/I142444530","https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":2.9779,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.91402602,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"Volume 18, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9973000288009644,"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/computer-science","display_name":"Computer science","score":0.7995474934577942},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.695403516292572},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6275540590286255},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5419412851333618},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4961460530757904},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4777918756008148},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.4554736614227295},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4503242075443268},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11719989776611328}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7995474934577942},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.695403516292572},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6275540590286255},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5419412851333618},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4961460530757904},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4777918756008148},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.4554736614227295},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4503242075443268},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11719989776611328},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.46298/lmcs-18(1:4)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:4)2022","pdf_url":"https://lmcs.episciences.org/8936/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2105.11400","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.11400","pdf_url":"https://arxiv.org/pdf/2105.11400","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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"},{"id":"pmh:oai:arts.units.it:11368/3005703","is_oa":true,"landing_page_url":"https://lmcs.episciences.org/8936","pdf_url":null,"source":{"id":"https://openalex.org/S4306400480","display_name":"ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142444530","host_organization_name":"University of Trieste","host_organization_lineage":["https://openalex.org/I142444530"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:8cd1250f88df4310900e5c35844600c7","is_oa":true,"landing_page_url":"https://doaj.org/article/8cd1250f88df4310900e5c35844600c7","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)","raw_type":"article"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/458687","is_oa":true,"landing_page_url":"https://hdl.handle.net/11581/458687","pdf_url":null,"source":{"id":"https://openalex.org/S4306400819","display_name":"Unicam Scientific Publications (University of Camerino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I112859197","host_organization_name":"Universit\u00e0 di Camerino","host_organization_lineage":["https://openalex.org/I112859197"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(1:4)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:4)2022","pdf_url":"https://lmcs.episciences.org/8936/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.8399999737739563,"id":"https://metadata.un.org/sdg/3","display_name":"Good health and well-being"}],"awards":[{"id":"https://openalex.org/G1464101492","display_name":null,"funder_award_id":"FESR 2014-2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1975729292","display_name":null,"funder_award_id":"W1255-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4292065384","display_name":null,"funder_award_id":"ZK-35","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G453067482","display_name":null,"funder_award_id":"014-2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G5634946813","display_name":null,"funder_award_id":"2014-2020","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G8680849391","display_name":null,"funder_award_id":"W1255","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3165590793.pdf","grobid_xml":"https://content.openalex.org/works/W3165590793.grobid-xml"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W86222690","https://openalex.org/W296769721","https://openalex.org/W1489721681","https://openalex.org/W1503002024","https://openalex.org/W1539708367","https://openalex.org/W1547304883","https://openalex.org/W1601893258","https://openalex.org/W1705718777","https://openalex.org/W1878853999","https://openalex.org/W1879819495","https://openalex.org/W1964764902","https://openalex.org/W1967005434","https://openalex.org/W1972402079","https://openalex.org/W1974775743","https://openalex.org/W1975120975","https://openalex.org/W1996820391","https://openalex.org/W2008196645","https://openalex.org/W2026629052","https://openalex.org/W2028286620","https://openalex.org/W2030863252","https://openalex.org/W2067971887","https://openalex.org/W2069251911","https://openalex.org/W2076632469","https://openalex.org/W2089692943","https://openalex.org/W2101804404","https://openalex.org/W2123970780","https://openalex.org/W2130442140","https://openalex.org/W2132022337","https://openalex.org/W2151284417","https://openalex.org/W2156525231","https://openalex.org/W2156958982","https://openalex.org/W2157413433","https://openalex.org/W2158381251","https://openalex.org/W2167998587","https://openalex.org/W2172184261","https://openalex.org/W2296694987","https://openalex.org/W2340973907","https://openalex.org/W2473841607","https://openalex.org/W2519834483","https://openalex.org/W2522351640","https://openalex.org/W2600130231","https://openalex.org/W2604247018","https://openalex.org/W2735488281","https://openalex.org/W2758427605","https://openalex.org/W2785192168","https://openalex.org/W2785700716","https://openalex.org/W2796327418","https://openalex.org/W2897317743","https://openalex.org/W2917102740","https://openalex.org/W2934379134","https://openalex.org/W2962721399","https://openalex.org/W2963017542","https://openalex.org/W2963100367","https://openalex.org/W2964247868","https://openalex.org/W2973199035","https://openalex.org/W2980308966","https://openalex.org/W3012868172","https://openalex.org/W3026534080","https://openalex.org/W3042744136","https://openalex.org/W3043625731","https://openalex.org/W3089343034","https://openalex.org/W3091805220","https://openalex.org/W3092082484","https://openalex.org/W3109090548","https://openalex.org/W3140790380","https://openalex.org/W3146720230","https://openalex.org/W3149132974","https://openalex.org/W3199608686","https://openalex.org/W3208522429"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W2763487042","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W3035590440"],"abstract_inverted_index":{"Cyber-Physical":[0],"Systems":[1],"(CPS)":[2],"consist":[3],"of":[4,65,100,116,208],"inter-wined":[5],"computational":[6],"(cyber)":[7],"and":[8,23,29,35,55,73,82,93,102,132,138,157,180,186,203,228],"physical":[9,109,137],"components":[10],"interacting":[11],"through":[12],"sensors":[13],"and/or":[14],"actuators.":[15],"Computational":[16],"elements":[17],"are":[18,119],"networked":[19],"at":[20,39],"every":[21],"scale":[22],"can":[24,33,44,69,142,170],"communicate":[25],"with":[26,30,152,211],"each":[27],"other":[28,172],"humans.":[31],"Nodes":[32],"join":[34],"leave":[36],"the":[37,63,79,98,108,117,148,162,206,212],"network":[38,227],"any":[40],"time":[41],"or":[42],"they":[43],"move":[45],"to":[46,91,214],"different":[47],"spatial":[48,54,154,174],"locations.":[49],"In":[50],"this":[51],"scenario,":[52],"monitoring":[53,199,218],"temporal":[56],"properties":[57],"plays":[58],"a":[59,86,122,222,229],"key":[60],"role":[61],"in":[62,111],"understanding":[64],"how":[66],"complex":[67],"behaviors":[68],"emerge":[70],"from":[71],"local":[72],"dynamic":[74,127],"interactions.":[75],"We":[76,182,195],"revisit":[77],"here":[78],"Spatio-Temporal":[80],"Reach":[81],"Escape":[83],"Logic":[84,151],"(STREL),":[85],"logic-based":[87],"formal":[88],"language":[89],"designed":[90],"express":[92],"monitor":[94],"spatio-temporal":[95,219],"requirements":[96,220],"over":[97,144,161,221],"execution":[99],"mobile":[101,224],"spatially":[103],"distributed":[104],"CPS.":[105],"STREL":[106,146,202],"considers":[107],"space":[110],"which":[112],"CPS":[113],"entities":[114],"(nodes":[115],"graph)":[118],"arranged":[120],"as":[121,177],"weighted":[123,163],"graph":[124],"representing":[125],"their":[126],"topological":[128],"configuration.":[129],"Both":[130],"nodes":[131],"edges":[133],"include":[134],"attributes":[135],"modeling":[136],"logical":[139],"quantities":[140],"that":[141,159],"evolve":[143],"time.":[145],"combines":[147],"Signal":[149],"Temporal":[150],"two":[153,215],"modalities":[155,175],"reach":[156],"escape":[158],"operate":[160],"graph.":[164],"From":[165],"these":[166],"basic":[167],"operators,":[168],"we":[169,204],"derive":[171],"important":[173],"such":[176],"everywhere,":[178],"somewhere":[179],"surround.":[181],"propose":[183],"both":[184],"qualitative":[185],"quantitative":[187],"semantics":[188],"based":[189],"on":[190],"constraint":[191],"semiring":[192],"algebraic":[193],"structure.":[194],"provide":[196],"an":[197],"offline":[198],"algorithm":[200],"for":[201,234],"show":[205],"feasibility":[207],"our":[209],"approach":[210],"application":[213],"case":[216],"studies:":[217],"simulated":[223,230],"ad-hoc":[225],"sensor":[226],"epidemic":[231],"spreading":[232],"model":[233],"COVID19.":[235]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2021-06-07T00:00:00"}