Mining interpretable spatio-temporal logic properties for spatially distributed systems

DOI10.1007/978-3-030-88885-5_7zbMATH Open1497.68433arXiv2106.08548OpenAlexW3208522429MaRDI QIDQ2147182FDOQ2147182

Sara Mohammadinejad, Laura Nenzi, Jyotirmoy V. Deshmukh

Publication date: 22 June 2022

Abstract: The Internet-of-Things, complex sensor networks, multi-agent cyber-physical systems are all examples of spatially distributed systems that continuously evolve in time. Such systems generate huge amounts of spatio-temporal data, and system designers are often interested in analyzing and discovering structure within the data. There has been considerable interest in learning causal and logical properties of temporal data using logics such as Signal Temporal Logic (STL); however, there is limited work on discovering such relations on spatio-temporal data. We propose the first set of algorithms for unsupervised learning for spatio-temporal data. Our method does automatic feature extraction from the spatio-temporal data by projecting it onto the parameter space of a parametric spatio-temporal reach and escape logic (PSTREL). We propose an agglomerative hierarchical clustering technique that guarantees that each cluster satisfies a distinct STREL formula. We show that our method generates STREL formulas of bounded description complexity using a novel decision-tree approach which generalizes previous unsupervised learning techniques for Signal Temporal Logic. We demonstrate the effectiveness of our approach on case studies from diverse domains such as urban transportation, epidemiology, green infrastructure, and air quality monitoring.

Full work available at URL: https://arxiv.org/abs/2106.08548

Recommendations

• Temporal logic inference for classification and prediction from data
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• Logical clustering and learning for time-series data
• Data-driven statistical learning of temporal logic properties

zbMATH Keywords

interpretabilityunsupervised learningdistributed systemsspatio-temporal dataspatio-temporal reach and escape logic

Mathematics Subject Classification ID

Classification and discrimination; cluster analysis (statistical aspects) (62H30) Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Cites Work

• Silhouettes: a graphical aid to the interpretation and validation of cluster analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Efficient algorithms for agglomerative hierarchical clustering methods
• Logical clustering and learning for time-series data
• Interpretable classification of time-series data using efficient enumerative techniques
• Title not available (Why is that?)
• Time series \(k\)-means: a new \(k\)-means type smooth subspace clustering for time series data

Cited In (1)

• Title not available (Why is that?)

Uses Software

• Silhouettes

This page was built for publication: Mining interpretable spatio-temporal logic properties for spatially distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2147182)