斯塔夫罗斯·特里帕基斯 时间自动机的故障诊断。 （英语） Zbl 1278.68140号 Damm，Werner（编辑）等人，《实时和容错系统中的形式化技术》。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469205-221（2002）。 摘要：我们研究了密集时间自动机环境下的故障诊断问题。问题是，假设一个对象是一个带有一组可观察事件和一组不可观察事件（包括一个特殊的事件建模故障）的时间自动机模型，那么要构造一个确定性机器，即诊断器，它对可观察事件及时间延迟作出反应，并在最多为（Delta）的延迟内宣布故障故障发生后的时间单位。我们定义了时间自动机可诊断的含义，并提供了检查可诊断性的算法。这些算法基于标准可达性分析，以搜索接受状态或非zeno运行。我们还展示了如何为可诊断时间自动机构建诊断器，以及如何使用与大多数时间自动机验证工具中使用的数据结构和算法类似的数据结构与算法来实现诊断器。关于整个系列，请参见[Zbl 1045.68008号]. 引用于21文件 MSC公司： 65年第68季度 形式语言和自动机 68米15 网络和计算机系统的可靠性、测试和容错 关键词：故障诊断;部分可观测性;时间自动机 PDF格式BibTeX公司 XML格式引用 \textit{S.Tripakis}，莱克特。注释计算。科学。2469205-221（2002年；Zbl 1278.68140） 全文： 内政部