WSEAS Transactions on Systems and Control
Print ISSN: 1991-8763, E-ISSN: 2224-2856
Volume 19, 2024
Supervisory Controller Design to Enforce Desired Properties in Systems Modeled by Timed-arc Petri Nets
Author:
Abstract: Discrete-event systems which are modelled by timed-arc Petri nets are considered. A
supervisory controller design approach for such systems for enforcing some desired properties is
proposed. For the representation of the state of the system, the proposed design approach uses
stretching. The designed controller enforces $$\hat{L}$$-boundedness (for any given bound vector $$\hat{L}$$) and
reversibility simultaneously, whenever it is possible to design such a controller. Furthermore, $$Δ$$-liveness
is also enforced, where $$Δ$$ is the largest possible subset of the set of transitions for which it is possible to
design such a controller. 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. To demonstrate the
proposed approach, an example controller design is also presented for an automated manufacturing system.
Search Articles
Keywords: Discrete-event Systems, Timed-arc Petri Nets, Supervisory Controller Design, Boundedness,
Reversibility, Liveness, Manufacturing Systems, Automation
Pages: 158-166
DOI: 10.37394/23203.2024.19.17