.png){kind=icon}
返回
Parametric Timed Pattern Matching
.png){kind=icon}
OA
AI
DOI：10.1145/3517194.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, a given action is always followed by another action before a given deadline. This problem has strong connections with monitoring real-time systems. We address here timed pattern matching in the presence of an uncertain specification, i.e., that may contain timing parameters (e.g., the deadline can be uncertain or unknown). We want to know for which start and end dates, and for what values of the timing parameters, a property holds. For instance, we look for the minimum or maximum deadline (together with the corresponding start and end dates) for which the property holds. We propose two frameworks for parametric timed pattern matching. The first one is based on parametric timed model checking. In contrast to most parametric timed problems, the solution is effectively computable. The second one is a dedicated method; not only we largely improve the efficiency compared to the first method, but we further propose optimizations with skipping. Our experiment results suggest that our algorithms, especially the second one, are efficient and practically relevant.
Keyword:
Monitoring
real-time systems
parametric timed automata
期刊
A
IF:
6.2
论文数:
1.2K
被引数:
3.4K
机构
引用论文
分享收藏Feeding responses of the golden jackal after reduction of anthropogenic food subsidies减少人为食物补充后金豺的摄食反应.png)
PLOS ONE
OAAI
PLOS ONEIF0
OAAI分享收藏Magnetic properties of CoFe1.9RE0.1O4 nanoparticles (RE=La, Ce, Nd, Sm, Eu, Gd, Tb, Ho) prepared in polyol在多元醇中制备的CoFe1.9RE0.1O4纳米颗粒 (RE = La，Ce，Nd，Sm，Eu，Gd，Tb，Ho) 的磁性能
PREAI
分享收藏分享收藏分享收藏
查看更多内容