Matches in SemOpenAlex for { <https://semopenalex.org/work/W3122853820> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3122853820 endingPage "110908" @default.
- W3122853820 startingPage "110908" @default.
- W3122853820 abstract "Cyber–physical systems increasingly feature highly-distributed and mobile deployments of devices spread over large physical environments: in these contexts, it is generally very difficult to engineer trustworthy critical services, mostly because formal methods generally hardly scale with the number of involved devices, especially when faults, continuous changes, and dynamic topologies are the norm. To start addressing this problem, in this paper we devise a formally correct and self-adaptive implementation of distributed monitors for spatial properties. We start from the Spatial Logic of Closure Spaces, and provide a compositional translation that takes a formula and yields a distributed program that provides runtime verification of its validity. Such programs are expressed in terms of the field calculus, a recently emerged computational model that focusses on global-level outcomes instead of single-device behaviour, and expresses distributed computations by pure functions and the functional composition mechanism. By reusing previous results and tools of the field calculus, we prove correctness of the translation, self-stabilisation of the derived monitors, and empirically evaluate adaptivity of such monitors in a realistic smart city scenario of safe crowd monitoring and control." @default.
- W3122853820 created "2021-02-01" @default.
- W3122853820 creator A5014225579 @default.
- W3122853820 creator A5065182304 @default.
- W3122853820 creator A5076032146 @default.
- W3122853820 creator A5084401124 @default.
- W3122853820 creator A5085966380 @default.
- W3122853820 date "2021-05-01" @default.
- W3122853820 modified "2023-10-16" @default.
- W3122853820 title "Adaptive distributed monitors of spatial properties for cyber–physical systems" @default.
- W3122853820 cites W1519460009 @default.
- W3122853820 cites W1801319046 @default.
- W3122853820 cites W1969001723 @default.
- W3122853820 cites W2000138546 @default.
- W3122853820 cites W2013672985 @default.
- W3122853820 cites W2027769154 @default.
- W3122853820 cites W2033226581 @default.
- W3122853820 cites W2075569105 @default.
- W3122853820 cites W2101623441 @default.
- W3122853820 cites W2102663002 @default.
- W3122853820 cites W2128932399 @default.
- W3122853820 cites W2499400668 @default.
- W3122853820 cites W2541133209 @default.
- W3122853820 cites W2755597067 @default.
- W3122853820 cites W2785192168 @default.
- W3122853820 cites W2810597774 @default.
- W3122853820 cites W2912003593 @default.
- W3122853820 cites W2946471309 @default.
- W3122853820 cites W3027461786 @default.
- W3122853820 cites W3103135538 @default.
- W3122853820 cites W3137220996 @default.
- W3122853820 cites W3152937683 @default.
- W3122853820 doi "https://doi.org/10.1016/j.jss.2021.110908" @default.
- W3122853820 hasPublicationYear "2021" @default.
- W3122853820 type Work @default.
- W3122853820 sameAs 3122853820 @default.
- W3122853820 citedByCount "19" @default.
- W3122853820 countsByYear W31228538202021 @default.
- W3122853820 countsByYear W31228538202022 @default.
- W3122853820 countsByYear W31228538202023 @default.
- W3122853820 crossrefType "journal-article" @default.
- W3122853820 hasAuthorship W3122853820A5014225579 @default.
- W3122853820 hasAuthorship W3122853820A5065182304 @default.
- W3122853820 hasAuthorship W3122853820A5076032146 @default.
- W3122853820 hasAuthorship W3122853820A5084401124 @default.
- W3122853820 hasAuthorship W3122853820A5085966380 @default.
- W3122853820 hasBestOaLocation W31228538202 @default.
- W3122853820 hasConcept C111919701 @default.
- W3122853820 hasConcept C11413529 @default.
- W3122853820 hasConcept C120314980 @default.
- W3122853820 hasConcept C179768478 @default.
- W3122853820 hasConcept C41008148 @default.
- W3122853820 hasConcept C55439883 @default.
- W3122853820 hasConcept C80444323 @default.
- W3122853820 hasConceptScore W3122853820C111919701 @default.
- W3122853820 hasConceptScore W3122853820C11413529 @default.
- W3122853820 hasConceptScore W3122853820C120314980 @default.
- W3122853820 hasConceptScore W3122853820C179768478 @default.
- W3122853820 hasConceptScore W3122853820C41008148 @default.
- W3122853820 hasConceptScore W3122853820C55439883 @default.
- W3122853820 hasConceptScore W3122853820C80444323 @default.
- W3122853820 hasFunder F4320321873 @default.
- W3122853820 hasLocation W31228538201 @default.
- W3122853820 hasLocation W31228538202 @default.
- W3122853820 hasOpenAccess W3122853820 @default.
- W3122853820 hasPrimaryLocation W31228538201 @default.
- W3122853820 hasRelatedWork W1516169988 @default.
- W3122853820 hasRelatedWork W1517743118 @default.
- W3122853820 hasRelatedWork W2024218563 @default.
- W3122853820 hasRelatedWork W2072806201 @default.
- W3122853820 hasRelatedWork W2281090687 @default.
- W3122853820 hasRelatedWork W2902687583 @default.
- W3122853820 hasRelatedWork W2965845133 @default.
- W3122853820 hasRelatedWork W3192865425 @default.
- W3122853820 hasRelatedWork W1602178951 @default.
- W3122853820 hasRelatedWork W1670831115 @default.
- W3122853820 hasVolume "175" @default.
- W3122853820 isParatext "false" @default.
- W3122853820 isRetracted "false" @default.
- W3122853820 magId "3122853820" @default.
- W3122853820 workType "article" @default.