Failure diagnosis using discrete-event models
Failure diagnosis using discrete-event models
复制标题
DOI：
10.1109/87.486338
复制
发表时间：
1996-03
期刊：
影响因子：
--
通讯作者：
M. Sampath;R. Sengupta;S. Lafortune;K. Sinnamohideen;D. Teneketzis
中科院分区：
文献类型：
--
作者：
M. Sampath;R. Sengupta;S. Lafortune;K. Sinnamohideen;D. Teneketzis
在大型复杂系统中检测和隔离故障是一项至关重要且具有挑战性的任务。对复杂技术系统的性能和可靠性的日益严格的要求，有必要发展先进的和系统的方法，及时和准确的诊断系统故障。我们提出了一个离散事件系统（DES）的故障诊断问题的方法。这种方法适用于自然属于DES类的系统;此外，为了诊断的目的，连续变量动态系统通常可以被视为更高抽象级别的DES。我们提出了一种方法，在DES框架中的物理系统建模，并举例说明这种方法。讨论了可诊断性的概念、诊断者的构造过程以及可诊断性的充分必要条件。最后，我们说明了我们的方法，使用两个不同的供暖，通风和空调（HVAC）系统，一个诊断和其他不可诊断的现实模型。虽然这里提出的建模方法已经开发的目的是故障诊断，其范围并不限于这个问题，它也可以用于开发DES模型的其他目的，如控制。
Detection and isolation of failures in large, complex systems is a crucial and challenging task. The increasingly stringent requirements on performance and reliability of complex technological systems have necessitated the development of sophisticated and systematic methods for the timely and accurate diagnosis of system failures. We propose a discrete-event systems (DES) approach to the failure diagnosis problem. This approach is applicable to systems that fall naturally in the class of DES; moreover, for the purpose of diagnosis, continuous-variable dynamic systems can often be viewed as DES at a higher level of abstraction. We present a methodology for modeling physical systems in a DES framework and illustrate this method with examples. We discuss the notion of diagnosability, the construction procedure of the diagnoser, and necessary and sufficient conditions for diagnosability. Finally, we illustrate our approach using realistic models of two different heating, ventilation, and air conditioning (HVAC) systems, one diagnosable and the other not diagnosable. While the modeling methodology presented here has been developed for the purpose of failure diagnosis, its scope is not restricted to this problem; it can also be used to develop DES models for other purposes such as control.