Title :
Optimal control synthesis for a flexible manufacturing system based on minimal cuts
Author :
Rezig, S. ; Achour, Z. ; Rezg, N. ; Kammoun, M.-A.
Author_Institution :
LGIPM, Univ. of Lorraine, Metz, France
Abstract :
This paper deals with supervisory control synthesis of Petri net controller for forbidden state transition problem based on a new utilization of the theory of regions. Two different approaches are proposed to reduce the resolution complexity of the theory of regions by minimizing the total number of equations in its linear system. These two approaches are based on a new concept of minimal cuts in reachability graph. The supervisor is a Petri net controller for each minimal cut. Moving from one control place to another allows the switch of minimal cuts in the reachability graph. These new approaches allows also to determine a Petri net controller when it doesn´t exist using the classical approach of the theory of regions. To illustrate the present methods an application is implemented on the Flexible Manufacturing System (FMS) at the ENIM (National school of engineering of Metz) in FRANCE.
Keywords :
Petri nets; control system synthesis; flexible manufacturing systems; linear systems; optimal control; reachability analysis; FMS; Petri net controller; flexible manufacturing system; forbidden state transition problem; linear system; minimal cuts; optimal control synthesis; reachability graph; resolution complexity; supervisory control synthesis; Discrete-event systems; Equations; Linear systems; Mathematical model; Petri nets; Supervisory control; Vectors; Discrete event systems; Minimal cuts; Petri nets; Supervisory control; Theory of regions;
Conference_Titel :
Industrial Engineering and Engineering Management (IEEM), 2014 IEEE International Conference on
DOI :
10.1109/IEEM.2014.7058639