摘要：AbstractThis paper addresses the regulation control problem for discrete event systems(DES)under partial information. In this approach, the system to be controlled, named the plant, and the required behavior, named the specification, are both represented as Petri nets(PNs)with input and output symbols. The goal is to synthesize a controller that indicates input symbols to the plant in order to reach a state where the output is equal to that of the specification. To achieve this goal, the only information available to the controller is the plant output, i.e., the controller does not know the exact state of the plant. In this work, a control methodology is proposed to synthesize regulation controllers under this setting.
