动态观测器的故障诊断
摘要：动态观察器在离散事件系统的故障诊断中的应用的一些最近结果回顾。故障诊断包括合成一个检测器来观察给定的系统，并在故障发生后尽快识别系统中的故障。现有的文献在这个问题上考虑了固定的静态观察器情况，其中可观测事件的集合在系统执行期间是固定且不变的。在本文中，我们考虑动态观察器：观察器可以随时打开或关闭传感器，从而动态地改变其希望观察的事件集合。已知对于静态观察器来说，检查可诊断性（即，给定的观察器是否能够识别故障）可以在多项式时间内解决，我们证明对于动态观察器也是如此。我们还解决了动态观察器合成的问题，并证明一个最自由观察器可以在双指数时间内计算出来，采用了博弈论的方法。我们进一步研究了动态观察器的优化问题，并定义了一个观察器的成本概念。
作者：Franck Cassez and Stavros Tripakis
论文ID：1004.2810
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-04-19