当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas
arXiv - CS - Logic in Computer Science Pub Date : 2020-03-22 , DOI: arxiv-2003.09918
Irmak Saglam, Ebru Aydin Gol

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.

中文翻译:

Kontrol Edilebilir ptSTL 公式 Sentezi -- 可控 ptSTL 公式的合成

在这项工作中,我们开发了一种使用信号时间逻辑 (STL) 来解决异常检测和预防问题的方法。这种方法包括两个步骤:检测异常的原因作为 STL 公式和通过控制器合成防止公式满足。这项工作侧重于第一步,并提出了一个公式模板,以便在此模板中可以表示任何可控的原因。提出了一种在此模板中合成公式的有效算法。最后,结果显示在一个例子中。----- 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。
更新日期:2020-03-24
down
wechat
bug