Asynchronous Supervisory Control of DESs With Intermittent Faults Using Labeled Petri Nets
研究了在部分观测和间歇故障下，使用标签Petri网对离散事件系统实施异步监督控制的问题，通过构建异步基可达图实现最大允许控制。
This article deals with an asynchronous supervisory control problem that enforces generalized mutual exclusion constraints (GMECs) to partially observed discrete-event systems (DESs) with intermittent faults, which are modeled by labeled Petri nets (LPNs) whose initial markings belong to a convex set. The developed control laws are asynchronous and robust with respect to the intermittent loss of observations. Given a plant, a dilated operation is introduced due to the existence of intermittent faults, leading to a dilated net system. Technically, we first develop an asynchronous supervisory control mechanism, aiming to enforce the predefined control constraints based on observations of the dilated net system. Then, an algorithm is designed to construct a directed graph, called an asynchronous basis reachability graph (ABRG), to describe the dilated system, in which a state includes a set of basis markings consistent with an observation. Based on the graph, an asynchronous observer is constructed to perform state estimation of the dilated net system. Finally, it is shown that the asynchronous control laws are maximally permissive after removing all illegal and potentially illegal states from the established asynchronous observer. A manufacturing example illustrates the proposed results.