Codiagnosability Enforcement in Labeled Petri Nets

• 成果类型: Article
• 署名作者: Ran, Ning; Li, Tingting; He, Zhou; Seatzu, Carla
• 署名单位: Hebei University; Shaanxi University of Science & Technology; University of Cagliari
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3173170
• 发表日期: 2023
• 页码: 2436-2443
• 关键词: sensors; Petri nets; Sensor systems; labeling; SYMBOLS; monitoring; System recovery; Basis markings (BMs); codiagnosability enforcement; discrete event systems (DESs); Fault diagnosis

摘要

This article aims to enforce codiagnosability in labeled Petri nets, which are monitored by a series of sites. A labeled Petri net is codiagnosable with respect to a certain fault, if the occurrence of such a fault could be detected by at least one of the sites. We assume that codiagnosability is imposed to a noncodiagnosable system by appropriately positioning additional sensors. In particular, the goal is that of minimizing the cost of the new sensors. The enumeration of the whole state space is avoided, thanks to the notions of basis markings and minimal explanations. An automaton, called unfolded verifier, is introduced to verify codiagnosability. Finally, the set of optimal labeling functions is obtained solving an integer nonlinear programming problem.