79 citations · 389 across the 22 of their papers we have counts for
23 papers
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
We propose the Robustness Temporal Logic (RobTL), a novel temporal logic for the specification and analysis of distances between the behaviours of Cyber-Physical Systems (CPSs) ove…
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
The behaviour of systems characterised by a closed interaction of software components with the environment is inevitably subject to perturbations and uncertainties. In this paper w…
A framework to measure the robustness of programs in the unpredictable environment
Valentina Castiglioni, Michele Loreti, Simone Tini
Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient b…
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals
Ennio Visconti, Ezio Bartocci, Michele Loreti +1
From biological systems to cyber-physical systems, monitoring the behavior of such dynamical systems often requires to reason about complex spatio-temporal properties of physical a…
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
L. Nenzi, E. Bartocci, L. Bortolussi +1
Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked…
A Spatial Logic for Simplicial Models
Michele Loreti, Michela Quadrini
Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pur…