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, Turkey, 24 - 26 April 2019 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • Volume:
  • Doi Number: 10.1109/siu.2019.8806568
  • City: Sivas
  • Country: Turkey
  • Middle East Technical University Affiliated: Yes


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.