Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets

• 成果类型: Article
• 署名作者: Ran, Ning; Hao, Jinyuan; Seatzu, Carla
• 署名单位: Hebei University; Hebei University; University of Cagliari
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3118655
• 发表日期: 2022
• 页码: 5541-5547
• 关键词: Petri nets; Prognostics and health management; tools; labeling; COSTS; System recovery; Complexity theory; discrete event systems (DESs); fault prognosis; Petri nets (PNs); prognosability

摘要

In this article, we deal with two problems related to bounded labeled Petri nets (PNs), namely prognosability analysis and enforcement. The solution we propose is based on a single tool, called prognosability verifier. Such a tool uses the notion of basis marking that avoids the exhaustive enumeration of all the reachable markings. This leads to advantages in terms of computational complexity that may be enormous in certain real applications. Finally, the enforcement problem can be solved associating a cost with each sensor eventually added to the system. A systematic way to compute a solution that minimizes the total cost of the new sensors while guaranteeing prognosability of the resulting system, is computed using linear integer programming.