Optimizing Parameters of Signal Temporal Logic Formulas with Local Search

Aydin S. K., AYDIN GÖL E.

27th Signal Processing and Communications Applications Conference (SIU), Sivas, Türkiye, 24 - 26 Nisan 2019 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Doi Numarası: 10.1109/siu.2019.8806568
  • Basıldığı Şehir: Sivas
  • Basıldığı Ülke: Türkiye
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

Signal temporal logic (STL) is a formal language for expressing temporal and real-time properties of real valued signals. In this paper, we study the problem of generating an STL formula from a labeled dataset. We propose a local search algorithm to synthesize parameters of a template formula. Starting from a random initial point, the parameter space is explored in the directions improving the formula evaluation. In addition, the local search method is integrated to the genetic algorithms developed for formula synthesis as the adaptation step. The findings of the paper are shown on a case study and compared with the previous results, which shows that the adaptation step improves the convergence.