当前位置:
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
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
中文翻译:
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。