A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets

UZAM M., Wonham W.

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, cilt.28, ss.747-760, 2006 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 28
  • Basım Tarihi: 2006
  • Doi Numarası: 10.1007/s00170-004-2426-7
  • Dergi Adı: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.747-760
  • Anahtar Kelimeler: Petri nets, Ramadge-Wonham (RW) supervisors, supervisor reduction, supervisory control, FEEDBACK-CONTROL LOGIC, DEADLOCK PREVENTION POLICY, FORBIDDEN-STATE PROBLEMS, MANUFACTURING SYSTEMS, REDUCTION, MODELS
  • Yozgat Bozok Üniversitesi Adresli: Hayır

Özet

In this paper a hybrid approach is proposed for supervisory control of discrete event systems (DES) subject to forbidden states. Assuming that an uncontrolled bounded Petri net (PN) model of a (plant) DES and a set of forbidden state specifications are given, the proposed approach computes a maximally permissive and nonblocking closed-loop hybrid model. The first step is to simplify the given PN model by means of PN reduction rules. The simplified model and the specifications are then represented as buffers, and supervisory control theory (SCT) is applied to obtain a Ramadge-Wonham (RW) supervisor in the form of an automaton. After reduction of the latter's state size by a 'control congruence', the simplified RW supervisor is represented by a so-called auto-net and coupled to the given uncontrolled PN plant model by means of inhibitor arcs to represent the disabling actions. The plant model and supervisor auto-net run concurrently, synchronizing on shared events. This procedure provides a maximally permissive and nonblocking 'hybrid' (mixed PN/automaton) closed-loop controlled system. The method is straightforward logically, graphically, and technologically. Its applicability is shown by two examples, one of them a workcell from the PN control literature.