{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T19:57:16Z","timestamp":1780516636648,"version":"3.54.1"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:00:00Z","timestamp":1641513600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Austrian Science Fund","award":["W 1255"],"award-info":[{"award-number":["W 1255"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and\nphysical components interacting through sensors and\/or actuators. Computational\nelements are networked at every scale and can communicate with each other and\nwith humans. Nodes can join and leave the network at any time or they can move\nto different spatial locations. In this scenario, monitoring spatial and\ntemporal properties plays a key role in the understanding of how complex\nbehaviors can emerge from local and dynamic interactions. We revisit here the\nSpatio-Temporal Reach and Escape Logic (STREL), a logic-based formal language\ndesigned to express and monitor spatio-temporal requirements over the execution\nof mobile and spatially distributed CPS. STREL considers the physical space in\nwhich CPS entities (nodes of the graph) are arranged as a weighted graph\nrepresenting their dynamic topological configuration. Both nodes and edges\ninclude attributes modeling physical and logical quantities that can evolve\nover time. STREL combines the Signal Temporal Logic with two spatial modalities\nreach and escape that operate over the weighted graph. From these basic\noperators, we can derive other important spatial modalities such as everywhere,\nsomewhere and surround. We propose both qualitative and quantitative semantics\nbased on constraint semiring algebraic structure. We provide an offline\nmonitoring algorithm for STREL and we show the feasibility of our approach with\nthe application to two case studies: monitoring spatio-temporal requirements\nover a simulated mobile ad-hoc sensor network and a simulated epidemic\nspreading model for COVID19.<\/jats:p>","DOI":"10.46298\/lmcs-18(1:4)2022","type":"journal-article","created":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T08:35:59Z","timestamp":1641544559000},"source":"Crossref","is-referenced-by-count":16,"title":["A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems"],"prefix":"10.46298","volume":"Volume 18, Issue 1","author":[{"given":"L.","family":"Nenzi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"E.","family":"Bartocci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"L.","family":"Bortolussi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"25203","published-online":{"date-parts":[[2022,1,7]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/8936\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/8936\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T20:20:04Z","timestamp":1687292404000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/7505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-18(1:4)2022","relation":{"has-preprint":[{"id-type":"arxiv","id":"2105.11400v1","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2105.11400","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2105.11400","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"value":"1860-5974","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,7]]},"article-number":"7505"}}