Simone Silvetti
YOU?
Author Swipe
View article: Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata Open
Modern cyber-physical systems (CPS) can consist of various networked components and agents interacting and communicating with each other. In the context of spatially distributed CPS, these connections can be dynamically dependent on the sp…
View article: MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties Open
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, space is represented as a weighted graph, describing the topol…
View article: A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors Open
Type I Diabetes (T1D) is a chronic disease in which the body's ability to synthesize insulin is destroyed. It can be difficult for patients to manage their T1D, as they must control a variety of behavioral factors that affect glycemic cont…
View article: Signal Convolution Logic
Signal Convolution Logic Open
We introduce a new logic called Signal Convolution Logic (SCL) that combines temporal logic with convolutional filters from digital signal processing. SCL enables to reason about the percentage of time a formula is satisfied in a bounded i…
View article: A Robust Genetic Algorithm for Learning Temporal Specifications from Data
A Robust Genetic Algorithm for Learning Temporal Specifications from Data Open
We consider the problem of mining signal temporal logical requirements from a dataset of regular (good) and anomalous (bad) trajectories of a dynamical system. We assume the training set to be labeled by human experts and that we have acce…
View article: A Robust Genetic Algorithm for Learning Temporal Specifications from Data
A Robust Genetic Algorithm for Learning Temporal Specifications from Data Open
We consider the problem of mining signal temporal logical requirements from a dataset of regular (good) and anomalous (bad) trajectories of a dynamical system. We assume the training set to be labeled by human experts and that we have acce…