Robustness and Implementability of Timed Automata
Robustness and Implementability of Timed Automata
复制标题
定时自动机的鲁棒性和可实现性
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Jean
中科院分区：
文献类型：
--
作者：
M. Wulf;L. Doyen;N. Markey;Jean
在前一篇论文中，我们定义了一个新的语义的时间自动机，几乎ASAP语义，这是参数化的Δ，以科普控制器的反应延迟。我们证明了这个语义是可实现的，只要存在一个严格的正值的参数Δ，该策略是正确的。在本文中，我们将可实现性问题定义为这样一个Δ的存在性问题。我们表明，这个问题是密切相关的时间自动机的鲁棒性定义在[Pur98]的概念，并证明可实现性问题是可判定的。
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by Δ to cope with the reaction delay of the controller. We showed that this semantics is implementable provided there exists a strictly positive value for the parameter Δ for which the strategy is correct. In this paper, we define the implementability problem to be the question of existence of such a Δ. We show that this question is closely related to a notion of robustness for timed automata defined in [Pur98] and prove that the implementability problem is decidable.