论文标题
kontrol edilebilir ptstl formulu sentezi-可控PTSTL公式的合成
Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas
论文作者
论文摘要
在这项工作中，我们使用信号时间逻辑（STL）开发了一种方法来解决异常检测和预防问题。该方法包括两个步骤：检测异常的原因作为STL公式，并通过控制器合成预防公式的满意度。这项工作重点是第一步，并提出了一个公式模板，以便可以在此模板中表示任何可控原因。提出了该模板中合成公式的有效算法。最后，结果显示在示例中。 ------- bu bildiride anomali tespiti ve Onlenmesi问题，Sinyal Zamansal mantigi（信号时间逻辑）Tabanli Iki iki asamali bir cozum cozum cozum sunulmaktadir。 Ilk Asama Nedenlerin Tespiti，Ikinci Ise Bir Kontrol Stratejisi Ile Nedenlerin Sistem uzerinde Engellenmesidir。 Iki Asama Birbirine Bagimlidir。 Bu Bildiride，Ilk Asama Olan Istenmeyen Olaylarin nedenlerin tespitinde kullanilan neden neden formulu sablonu sablonu gelistirilmektedir。 Bildiride Kullanilan Sablon Ile butun Kontrol Edilebilir Formuller Tanimlanabilmektedir。 BU SABLON ICIN VERIMLI BIR FORUUL SENTEZLEME ALGORITMASI SUNULMUS，VE SONUCLAR ORNEK BIR SISTEM USERINDE GOSTERMISTIR。
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.
