Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
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 …
behaviour. Examples of such systems can be found in many smart city applications and …
MoonLight: A lightweight tool for monitoring spatio-temporal properties
We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of
mobile and spatially distributed cyber-physical systems (CPS). In the proposed framework …
mobile and spatially distributed cyber-physical systems (CPS). In the proposed framework …
Language support for verifying reconfigurable interacting systems
Reconfigurable interacting systems consist of a set of autonomous agents, with integrated
interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure …
interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure …
Analysis of spatio-temporal properties of stochastic systems using TSTL
In this article, we present Three-Valued spatio-temporal Logic (TSTL), which enriches the
available spatiotemporal analysis of properties expressed in Signal spatio-temporal Logic …
available spatiotemporal analysis of properties expressed in Signal spatio-temporal Logic …
MoonLight: a lightweight tool for monitoring spatio-temporal properties
We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of
mobile, spatially distributed, and interacting entities such as biological and cyber-physical …
mobile, spatially distributed, and interacting entities such as biological and cyber-physical …
Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems
In this paper we present Three-Valued Spatio-Temporal Logic (TSTL), which enriches the
available spatio-temporal analysis of properties expressed in Signal Spatio-Temporal Logic …
available spatio-temporal analysis of properties expressed in Signal Spatio-Temporal Logic …
Probing the performance of the Edinburgh bike sharing system using SSTL
Bike sharing systems are a popular form of sustainable and affordable transport that has
been introduced to cities around the world in recent years. Nevertheless, designing these …
been introduced to cities around the world in recent years. Nevertheless, designing these …
[PDF][PDF] The QUANTICOL software tool suite for modelling smart cities (Final)
This deliverable is an account of the QUANTICOL software tool suite, with application to the
smart city scenarios studied in the project. While Deliverable D4. 3 focuses on the CARMA …
smart city scenarios studied in the project. While Deliverable D4. 3 focuses on the CARMA …