Barbaric Robustness Monitoring Revisited for STL* in Parasim
Barbaric Robustness Monitoring Revisited for STL* in Parasim
复制标题
Parasim 中重新审视 STL* 的野蛮鲁棒性监控
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
L. Brim
中科院分区：
文献类型：
--
作者：
David Šafránek;Matej Troják;Vojtech Bruza;Tomás Vejpustek;Jan Papousek;M. Demko;Samuel Pastva;A. Pejznoch;L. Brim
在我们之前的工作中，我们引入了信号时序逻辑的扩展，称为 STL*，它允许表达时序运算符中引用的值的冻结。该扩展对于表达无法用普通 STL 表达的信号的几个方面尤其重要（例如，局部极值的存在及其相互关系、非平凡的振荡行为，例如阻尼振荡等）。在这篇简短的论文中，我们介绍了 Parasim 工具，其中包含针对 STL* 规范计算鲁棒性的算法的实现。该工具的当前版本被视为 ODE 模型 STL* 鲁棒监控算法的原型实现。
In our previous work, we have introduced an extension of signal temporal logic called STL* that allows expressing freezing of values referred within temporal operators. The extension is important especially to express several aspects of signals that cannot be expressed in plain STL (e.g., presence of local extremes and their mutual relationships, non-trivial oscillatory behaviour such as damped oscillations, etc.). In this short paper, we address the tool Parasim that includes an implementation of the algorithm for computing robustness with respect to an STL* specification. The tool is in its current version considered as a prototype implementation of the algorithms for STL* robust monitoring of ODE models.
影响因子：
2.3
作者：
Bates, D. G.;Cosentino, C.
通讯作者：
Cosentino, C.