Mining interpretable spatio-temporal logic properties for spatially distributed systems

DOI10.1007/978-3-030-88885-5_7MaRDI QIDQ2147182zbMATH OpenOpenAlexFDO

Authors Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi

Publication date 22 June 2022

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 1179314 (Why is no real title available?)
• scientific article; zbMATH DE number 2133739 (Why is no real title available?)
• Efficient algorithms for agglomerative hierarchical clustering methods
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Interpretable classification of time-series data using efficient enumerative techniques
• Logical clustering and learning for time-series data
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• Silhouettes: a graphical aid to the interpretation and validation of cluster analysis
• Time series \(k\)-means: a new \(k\)-means type smooth subspace clustering for time series data

Cited in

(3)

• Logical clustering and learning for time-series data
• Temporal logic inference for classification and prediction from data
• scientific article; zbMATH DE number 7471693 (Why is no real title available?)

Describes a project that uses

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)