Supervisory Controller Design to Enforce Desired Properties in Systems Modeled by Timed-arc Petri Nets

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 Lˆ-boundedness (for any given bound vector 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.