MSO logics for weighted timed automata
MSO logics for weighted timed automata
复制标题
用于加权时间自动机的 MSO 逻辑
DOI：
10.1007/s10703-011-0112-6
复制
发表时间：
2011
影响因子：
0.8
通讯作者：
Karin Quaas
中科院分区：
文献类型：
--
作者：
Karin Quaas
我们的目标是将Büchi关于可识别语言和MSO可定义语言重合的基本定理推广到加权时间设置。为此，我们调查加权时间自动机，并展示了我们如何可以扩展威尔克的相对距离逻辑的权重从任意半环。我们表明，我们的逻辑中的每一个公式都可以有效地转化为一个加权的时间自动机，反之亦然。结果表明加权时间自动机的鲁棒性，也可用于规范的目的。
We aim to generalize Büchi’s fundamental theorem on the coincidence of recognizable and MSO-definable languages to a weighted timed setting. For this, we investigate weighted timed automata and show how we can extend Wilke’s relative distance logic with weights taken from an arbitrary semiring. We show that every formula in our logic can effectively be transformed into a weighted timed automaton, and vice versa. The results indicate the robustness of weighted timed automata and may also be used for specification purposes.