Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

Creative Commons License

Abubakar U. S., Liu G., Uzam M.

IEEE ACCESS, cilt.9, ss.100264-100278, 2021 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 9
  • Basım Tarihi: 2021
  • Doi Numarası: 10.1109/access.2021.3096595
  • Dergi Adı: IEEE ACCESS
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, INSPEC, Directory of Open Access Journals
  • Sayfa Sayıları: ss.100264-100278
  • Anahtar Kelimeler: Petri nets, System recovery, Supervisory control, Workstations, Aerospace electronics, Resource management, Manufacturing systems, Petri net, deadlock, automated manufacturing system, robust supervisory control, LIVENESS-ENFORCING SUPERVISORS, DEADLOCK PREVENTION POLICY, AVOIDING DEADLOCK, SIPHON CONTROL, ELEMENTARY, DECOMPOSITION, DESIGN
  • Yozgat Bozok Üniversitesi Adresli: Evet

Özet

In recent years, there has been a growing concern for robust supervisory control policies that can handle both deadlock and blockage propagation in automated manufacturing systems in the event of resource failures. This work proposes a novel robust supervisory control policy for automated manufacturing systems with multiple unreliable resources without using central buffers. The policy permits legal states as many as possible and ensures that parts not requiring unreliable resources can be automatically processed without human intervention if one or multiple unreliable resources fail. It is based on the modified neighborhood policy, namely single route neighborhood, which handles the allocation of failure-prone resources in a system. To guarantee deadlock-free operations in the remaining parts of the system, monitors are designed for emptiable strictly minimal siphons. Through examples, the applicability of the proposed policy is demonstrated.