  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.
  -----
  Bu bildiride anomali tespiti ve onlenmesi problemine, Sinyal Zamansal Mantigi
(Signal Temporal Logic) tabanli iki asamali bir cozum sunulmaktadir. Ilk asama
nedenlerin tespiti, ikinci asama ise bir kontrol stratejisi ile nedenlerin
sistem uzerinde engellenmesidir. Iki asama birbirine bagimlidir. Bu bildiride,
ilk asama olan istenmeyen olaylarin nedenlerinin tespitinde kullanilan neden
formulu sablonu gelistirilmektedir. Bildiride kullanilan sablon ile butun
kontrol edilebilir formuller tanimlanabilmektedir. Bu sablon icin verimli bir
formul sentezleme algoritmasi sunulmus, ve sonuclar ornek bir sistem uzerinde
gosterilmistir.
