Learning Parameters of ptSTL Formulas with Backpropagation


Ketenci A., Gol E.

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

  • Publication Type: Conference Paper / Full Text
  • Doi Number: 10.1109/siu49456.2020.9302093
  • Country: ELECTR NETWORK
  • Keywords: STL, Backpropagation, Learning

Abstract

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.