论文标题
传感器放置在线故障诊断
Sensor Placement for Online Fault Diagnosis
论文作者
论文摘要
故障诊断是确定一组故障系统组件的问题,这些系统组件可以解释观察到的行为和预期行为之间的差异。由于观测值和放置在系统上的传感器之间的固有关系,传感器的断层诊断和放置是相互依赖的。因此,必须共同解决断层诊断和传感器放置问题。用于故障诊断的建模系统的一种方法使用答案集编程(ASP)。我们提出了一种基于模型的传感器放置方法,用于使用ASP进行主动诊断,其中次要目标是减少所使用的传感器数量。提出的方法在几分钟内找到了大约500个组件的系统传感器的位置。为了解决较大的系统,我们提出了一个模块化概念,以便可以将每个模块视为一个单独的系统并独立解决每个模块的传感器放置问题。此外,我们还提供了用于确定系统模块的FIXPOINT算法。
Fault diagnosis is the problem of determining a set of faulty system components that explain discrepancies between observed and expected behavior. Due to the intrinsic relation between observations and sensors placed on a system, sensors' fault diagnosis and placement are mutually dependent. Consequently, it is imperative to solve the fault diagnosis and sensor placement problems jointly. One approach to modeling systems for fault diagnosis uses answer set programming (ASP). We present a model-based approach to sensor placement for active diagnosis using ASP, where the secondary objective is to reduce the number of sensors used. The proposed method finds locations for system sensors with around 500 components in a few minutes. To address larger systems, we propose a notion of modularity such that it is possible to treat each module as a separate system and solve the sensor placement problem for each module independently. Additionally, we provide a fixpoint algorithm for determining the modules of a system.