A Reachability Graph-based Iterative Method for the Synthesis of Near-optimal Non-blocking Supervisors

Hou Y., Zhao M., UZAM M., Liu D.

IEEE Region 10 Conference, Maicao, Kolombiya, 1 - 04 Kasım 2015 identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası:
  • Basıldığı Şehir: Maicao
  • Basıldığı Ülke: Kolombiya
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

This work proposes a general iterative method to synthesize non-blocking supervisors for a class of generalized Petri nets (GPN), called G-systems, modeling flexible manufacturing systems (FMS). When given an uncontrolled G-system prone to deadlocks, an iterative deadlock control method is presented by utilizing reachability graph (RG) analysis. Meanwhile, the concept of a global idle place (GIP) for an original uncontrolled net system is developed. At each monitor computation step, a GIP is introduced to simplify the RG computation of the uncontrolled net system. The GIP will be finally removed when the non-blockingness of the controlled G-system is achieved. The proposed method in general provides an optimal or a near-optimal solution of the non-blocking supervisor. Finally, an illustrative G-system is utilized to verify the applicability and the effectiveness of the proposed method.