From MITL to Timed Automata

From MITL to Timed Automata
复制标题

DOI：
10.1007/11867340_20
复制
发表时间：
2006-09
期刊：
--
影响因子：
--
通讯作者：
O. Maler;D. Ničković;A. Pnueli
O. Maler;D. Ničković;A. Pnueli
中科院分区：
其他
文献类型：
--
作者：
O. Maler;D. Ničković;A. Pnueli

文献摘要

被引文献

相似文献

我们将展示如何将实时时序逻辑MITL中的公式转换为时间自动机，以识别其令人满意的模型。这种组合结构比以前已知的要简单得多，并且可以很容易地实现。
We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction is much simpler than previously known and can be easily implemented.