An Efficient Formula Synthesis Method with Past Signal Temporal Logic


Ergurtuna M., AYDIN GÖL E.

5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), Belfast, Birleşik Krallık, 21 - 23 Ağustos 2019, cilt.52, ss.43-48 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 52
  • Doi Numarası: 10.1016/j.ifacol.2019.09.116
  • Basıldığı Şehir: Belfast
  • Basıldığı Ülke: Birleşik Krallık
  • Sayfa Sayıları: ss.43-48
  • Anahtar Kelimeler: Signal Temporal Logic, Formal methods, Formula Synthesis
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

In this work, we propose a novel method to find temporal properties that lead to the unexpected behaviors from labeled dataset. We express these properties in past time Signal Temporal Logic (ptSTL). First, we present a novel approach for finding parameters of a template ptSTL formula, which extends the results on monotonicity based parameter synthesis. The proposed method optimizes a given monotone criteria while bounding an error. Then, we employ the parameter synthesis method in an iterative unguided formula synthesis framework. In particular, we combine optimized formulas iteratively to describe the causes of the labeled events while bounding the error. We illustrate the proposed framework on two examples. (C) 2019, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.