Synthesis of Controllable ptSTL Formulas

Saglam I., 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.9302190
  • Basıldığı Ülke: ELECTR NETWORK
  • Anahtar Kelimeler: Formal methods, STL, requirement mining, anomaly detection and prevention
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

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.