WSEAS Transactions on Systems
Print ISSN: 1109-2777, E-ISSN: 2224-2678
Volume 22, 2023
Supervisory Controller Design to Enforce Boundedness, Reversibility and Liveness in Systems Modeled by Timed Petri Nets
Author:
Abstract: Supervisory controller design to enforce boundedness, reversibility, and liveness in discrete-event systems modeled by timed Petri nets where both transitions and places are timed is considered. A controller design approach which uses the approach of stretching is proposed. The approach produces a supervisory controller which guarantees boundedness and reversibility simultaneously. The designed controller also guarantees T -liveness for the largest possible subset T of the set of transitions. Therefore, boundedness, reversibility, and liveness are enforced simultaneously whenever possible. Furthermore, the designed controller is maximally permissive in the sense that no transitions are disabled unnecessarily and the reachability set of the controlled system is the largest possible set in which boundedness and reversibility can be enforced simultaneously. Controller design for an automated manufacturing system example is also presented to demonstrate the proposed approach.
Search Articles
Keywords: Discrete Event Systems, Timed Petri Nets, Supervisory Control, Algorithms, Manufacturing Systems, Robotic and Automation Systems
Pages: 745-751
DOI: 10.37394/23202.2023.22.75