Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings

• 成果类型: Article
• 署名作者: Cong, Xuya; Fanti, Maria Pia; Mangini, Agostino Marcello; Li, Zhiwu
• 署名单位: Xi'an University of Science & Technology; Politecnico di Bari; Xidian University; Macau University of Science & Technology
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3292747
• 发表日期: 2023
• 页码: 8158-8164
• 关键词: Critical observability; Discrete event system (DES); Petri net (PN); Supervisory control

摘要

A discrete event system is said to be critically observable if the observer can always determine whether the current state necessarily belongs to a set of critical states. This article focuses on two issues related to the safety and security of discrete event systems, namely critical observability verification and enforcement of labeled Petri nets. First, given a bounded net, we verify its critical observability by using basis markings and solving some integer linear programming problems, thus avoiding the enumeration of the full state space of a net system. Moreover, for a noncritically observable net system, we obtain a feasible stop-free event set from a twin basis reachability graph such that a valid control policy can always be found, if the feasible stop-free event set is nonempty. Finally, according to the feasible stop-free event set, a set of disabled edges is generated, and an online control policy is developed based on the supervisory control theory, which guarantees that the closed-loop system is critically observable and deadlock free.