Learning Parameters of ptSTL Formulas with Backpropagation

Ketenci A., Gol E.

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

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/siu49456.2020.9302093
  • Basıldığı Ülke: ELECTR NETWORK
  • Anahtar Kelimeler: STL, Backpropagation, Learning
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

In this paper, a backpropagation based algorithm is presented to learn parameters of past time Signal Temporal Logic (ptSTL) formulas. A differentiable weight matrix over the parameter values and a loss function based on the mismatch value of the corresponding formulas over the labeled dataset are used in the algorithm. Analysis over a sample dataset shows that the algorithm solves the ptSTL parameter synthesis problem in an efficient way.