The Dark Side of Timed Opacity
The Dark Side of Timed Opacity
复制标题
DOI：
10.1007/978-3-642-02617-1_3
复制
发表时间：
2009-06
期刊：
影响因子：
--
通讯作者：
F. Cassez
中科院分区：
文献类型：
--
作者：
F. Cassez
在本文中，我们将为离散事件系统定义的不透明度概念扩展到密集时间系统。我们定义了定时自动机的定时不透明度问题并研究了其算法状态。我们表明，对于事件记录定时自动机的严格限制类别，不透明度问题已经是不可判定的，因此对于密集时间不透明度问题的算法解决方案没有希望。
In this paper we extend the notion of opacity, defined for discrete-event systems, to dense-time systems. We define the timed opacity problem for timed automata and study its algorithmic status. We show that for the very restrictive class of Event Recording Timed Automata, the opacity problem is already undecidable leaving no hope for an algorithmic solution to the opacity problem in dense-time.