Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Cyber-physical system applications such as autonomous vehicles, wearable devices, and avionic systems generate a large volume of time-series data. Designers often look for tools to help classify and categorize the data. Traditional machine learning techniques for time-series data offer several solutions to solve these problems; however, the artifacts trained by these algorithms often lack interpretability. On the other hand, temporal logics, such as Signal Temporal Logic (STL) have been successfully used in the formal methods community as specifications of time-series behaviors. In this work, we propose a new technique to automatically learn temporal logic formulae that are able to cluster and classify real-valued time-series data. Previous work on learning STL formulas from data either assumes a formula-template to be given by the user, or assumes some special fragment of STL that enables exploring the formula structure in a systematic fashion. In our technique, we relax these assumptions, and provide a way to systematically explore the space of all STL formulas. As the space of all STL formulas is very large, and contains many semantically equivalent formulas, we suggest a technique to heuristically prune the space of formulas considered. Finally, we illustrate our technique on various case studies from the automotive, transportation and healthcare domain.
Code (0)
등록된 구현이 없습니다.
Tasks
Autonomous VehiclesClassificationGeneral ClassificationTime SeriesTime Series AnalysisSimilar Papers 제목 키워드 기반
Learning Interpretable Shapelets for Time Series Classification through Adversarial Regularization
Times series classification can be successfully tackled by jointly learning a shapelet-based representation of the series in the dataset and classifying the series according to this representation. However, although the …
ClassificationGeneral ClassificationTime SeriesTime Series Analysis+1PatchX: Explaining Deep Models by Intelligible Pattern Patches for Time-series Classification
The classification of time-series data is pivotal for streaming data and comes with many challenges. Although the amount of publicly available datasets increases rapidly, deep neural models are only exploited in a few ar…
ClassificationGeneral ClassificationTime SeriesTime Series Analysis+1catch22: CAnonical Time-series CHaracteristics
Capturing the dynamical properties of time series concisely as interpretable feature vectors can enable efficient clustering and classification for time-series applications across science and industry. Selecting an appro…
ClassificationClusteringDimensionality ReductionGeneral Classification+3Abstracted Shapes as Tokens -- A Generalizable and Interpretable Model for Time-series Classification
In time-series analysis, many recent works seek to provide a unified view and representation for time-series across multiple domains, leading to the development of foundation models for time-series data. Despite diverse …
QuantizationRepresentation LearningTime SeriesTime Series Analysis+2Multivariable times series classification through an interpretable representation
Multivariate time series classification is a task with increasing importance due to the proliferation of new problems in various fields (economy, health, energy, transport, crops, etc.) where a large number of informatio…
ClassificationDescriptiveGeneral ClassificationTime Series+2