Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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.

19
The categories of this paper are: eess
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg