FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2726579140> ?p ?o ?g. }

• W2726579140 abstract "In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cyber-Physical Systems. In this paper we present the Signal Spatio-Temporal Logic (SSTL), a modal logic that can be used to specify spatio-temporal properties of linear time and discrete space models. The logic is equipped with a Boolean and a quantitative semantics for which efficient monitoring algorithms have been developed. As such, it is suitable for real-time verification of both white box and black box complex systems. These algorithms can also be combined with stochastic model checking routines. SSTL combines the until temporal modality with two spatial modalities, one expressing that something is true somewhere nearby and the other capturing the notion of being surrounded by a region that satisfies a given spatio-temporal property. The monitoring algorithms are implemented in an open source Java tool. We illustrate the use of SSTL analysing the formation of patterns in a Turing Reaction-Diffusion system and spatio-temporal aspects of a large bike-sharing system." @default.
• W2726579140 created "2017-07-14" @default.
• W2726579140 creator A5021825279 @default.
• W2726579140 creator A5049483818 @default.
• W2726579140 creator A5060744592 @default.
• W2726579140 creator A5069085203 @default.
• W2726579140 creator A5082534511 @default.
• W2726579140 date "2018-10-01" @default.
• W2726579140 modified "2023-10-01" @default.
• W2726579140 title "Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL" @default.
• W2726579140 cites W1533557569 @default.
• W2726579140 cites W1547304883 @default.
• W2726579140 cites W1599831144 @default.
• W2726579140 cites W1601893258 @default.
• W2726579140 cites W1867859667 @default.
• W2726579140 cites W1918227179 @default.
• W2726579140 cites W1963893985 @default.
• W2726579140 cites W1972402079 @default.
• W2726579140 cites W1974775743 @default.
• W2726579140 cites W1978720913 @default.
• W2726579140 cites W1998471673 @default.
• W2726579140 cites W2025750846 @default.
• W2726579140 cites W2049399166 @default.
• W2726579140 cites W2053513378 @default.
• W2726579140 cites W2087485732 @default.
• W2726579140 cites W2119049671 @default.
• W2726579140 cites W2134871878 @default.
• W2726579140 cites W2151142585 @default.
• W2726579140 cites W2151284417 @default.
• W2726579140 cites W2167799541 @default.
• W2726579140 cites W2234073770 @default.
• W2726579140 cites W2245953329 @default.
• W2726579140 cites W2473841607 @default.
• W2726579140 cites W2521165853 @default.
• W2726579140 cites W2526596885 @default.
• W2726579140 cites W2527872501 @default.
• W2726579140 cites W2785192168 @default.
• W2726579140 cites W2796919988 @default.
• W2726579140 cites W86222690 @default.
• W2726579140 doi "https://doi.org/10.23638/lmcs-14(4:2)2018" @default.
• W2726579140 hasPublicationYear "2018" @default.
• W2726579140 type Work @default.
• W2726579140 sameAs 2726579140 @default.
• W2726579140 citedByCount "9" @default.
• W2726579140 countsByYear W27265791402019 @default.
• W2726579140 countsByYear W27265791402020 @default.
• W2726579140 countsByYear W27265791402021 @default.
• W2726579140 countsByYear W27265791402022 @default.
• W2726579140 countsByYear W27265791402023 @default.
• W2726579140 crossrefType "journal-article" @default.
• W2726579140 hasAuthorship W2726579140A5021825279 @default.
• W2726579140 hasAuthorship W2726579140A5049483818 @default.
• W2726579140 hasAuthorship W2726579140A5060744592 @default.
• W2726579140 hasAuthorship W2726579140A5069085203 @default.
• W2726579140 hasAuthorship W2726579140A5082534511 @default.
• W2726579140 hasBestOaLocation W27265791402 @default.
• W2726579140 hasConcept C110251889 @default.
• W2726579140 hasConcept C11413529 @default.
• W2726579140 hasConcept C119857082 @default.
• W2726579140 hasConcept C154945302 @default.
• W2726579140 hasConcept C180932941 @default.
• W2726579140 hasConcept C184337299 @default.
• W2726579140 hasConcept C185592680 @default.
• W2726579140 hasConcept C188027245 @default.
• W2726579140 hasConcept C199360897 @default.
• W2726579140 hasConcept C25016198 @default.
• W2726579140 hasConcept C27508121 @default.
• W2726579140 hasConcept C41008148 @default.
• W2726579140 hasConcept C4777664 @default.
• W2726579140 hasConcept C71139939 @default.
• W2726579140 hasConcept C80444323 @default.
• W2726579140 hasConcept C94966114 @default.
• W2726579140 hasConceptScore W2726579140C110251889 @default.
• W2726579140 hasConceptScore W2726579140C11413529 @default.
• W2726579140 hasConceptScore W2726579140C119857082 @default.
• W2726579140 hasConceptScore W2726579140C154945302 @default.
• W2726579140 hasConceptScore W2726579140C180932941 @default.
• W2726579140 hasConceptScore W2726579140C184337299 @default.
• W2726579140 hasConceptScore W2726579140C185592680 @default.
• W2726579140 hasConceptScore W2726579140C188027245 @default.
• W2726579140 hasConceptScore W2726579140C199360897 @default.
• W2726579140 hasConceptScore W2726579140C25016198 @default.
• W2726579140 hasConceptScore W2726579140C27508121 @default.
• W2726579140 hasConceptScore W2726579140C41008148 @default.
• W2726579140 hasConceptScore W2726579140C4777664 @default.
• W2726579140 hasConceptScore W2726579140C71139939 @default.
• W2726579140 hasConceptScore W2726579140C80444323 @default.
• W2726579140 hasConceptScore W2726579140C94966114 @default.
• W2726579140 hasLocation W27265791401 @default.
• W2726579140 hasLocation W27265791402 @default.
• W2726579140 hasLocation W27265791403 @default.
• W2726579140 hasLocation W27265791404 @default.
• W2726579140 hasLocation W27265791405 @default.
• W2726579140 hasOpenAccess W2726579140 @default.
• W2726579140 hasPrimaryLocation W27265791401 @default.
• W2726579140 hasRelatedWork W1545603837 @default.
• W2726579140 hasRelatedWork W1582268538 @default.
• W2726579140 hasRelatedWork W1866799138 @default.
• W2726579140 hasRelatedWork W2005263036 @default.
• W2726579140 hasRelatedWork W2112997772 @default.

• next