Synthesis of Controllable ptSTL Formulas

Saglam I., 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.9302190
  • Keywords: Formal methods, STL, requirement mining, anomaly detection and prevention


In this work, we develop an approach to anomaly detection and prevention problem using Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of the anomalities as STL formulas and prevention of the satisfaction of the formula via controller synthesis. This work focuses on the first step and proposes a formula template such that any controllable cause can be represented in this template. An efficient algorithm to synthesize formulas in this template is presented. Finally, the results are shown on an example.