Classification of Time-Series Data using ptSTL

Ergurtuna M., Gol E.

28th Signal Processing and Communications Applications Conference (SIU), ELECTR NETWORK, 5 - 07 Ekim 2020 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Ülke: ELECTR NETWORK
  • Anahtar Kelimeler: Formula Synthesis, STL, Formal Methods, Monotonicity
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

In this work, the goal is to find properties to classify time series data. These properties are expressed using past time Signal Temporal Logic (ptSTL). First, we extend monotonicity properties for signals with timed labels to signals with a single label with the purpose of optimizing parameters of template ptSTL formulas efficiently. This method optimizes a monotone criteria while keeping the complementary criteria (i.e. error) under a given bound. Then by iteratively combining optimized formulas, a classifier is generated for the time series data. Lastly, proposed method is illustrated on a case study.