Failure Diagnosis for Discrete Event Systems

9509975本建议所涵盖的研究包括：(I)为模拟为离散事件系统的大型复杂动态系统开发一套全面的故障诊断方法；(Ii)将应用和测试该方法的应用领域。这项研究将建立在PIS以前工作的基础上，到目前为止，这些工作仅限于对现场语言的被动诊断，即对没有专门为诊断故障目的发出控制命令的现场语言。在被动诊断中，将解决以下问题：(I)使用一组给定的传感器可以实现的最详细的故障诊断是什么？(Ii)给定系统所需的可诊断性要求，满足这些可诊断性要求的最低传感器集合是多少？(Iii)如何定义非现场语言的可诊断性，以及非现场语言在哪些条件下可以诊断？这项研究还将解决主动诊断问题，即专门为诊断故障而发出控制命令的情况。在主动诊断中，目标将是系统地构建监督器，以使所产生的闭环系统在允许的延迟范围内可被诊断。已经确定了出现故障诊断问题的几个应用领域。与业界同行合作，将开发用于这些应用领域的故障诊断的离散事件模型。这些模型将指导理论研究，并将在现实系统中测试该方法。***

9509975 Lafortune The research covered by this proposal describes: (i) the development of a comprehensive methodology for failure diagnosis of large-scale complex dynamic systems modeled as discrete event systems; (ii) application areas where the methodology will be applied and tested. This research will build on previous work of the PIs which so far has been restricted to passive diagnosis of live languages,i.e., to live languages where no control commands are issued specifically for the purpose of diagnosing failures. In passive diagnosis, the following issues will be addressed; (i) what is the most detailed diagnosis of failures that one can achieve with a given set of sensors? (ii) given the desired diagnosability requirements of a system, what is a minimum set of sensors such that these diagnosability requirements are achieved? (iii) how is diagnosability of non-live languages defined and under what conditions is a non-live language diagnosable? This research will also address the problem of active diagnosis, which is the situation where control commands are issued specifically for the purpose of diagnosing failures. In active diagnosis, the objective will be the systematic construction of supervisors such that the resulting closed-loop system is diagnosable within the allowable delay limits. Several application areas where problems of failure diagnosis arise have been identified. In collaboration with colleagues from industry, discrete event models for failure diagnosis in these applications areas will be developed. These models will guide the theoretical research and will test the methodology to realistic systems. ***