A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets
Küçük Resim Yok
Tarih
2006
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
SPRINGER LONDON LTD
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Ö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.
Açıklama
Anahtar Kelimeler
Petri nets, Ramadge-Wonham (RW) supervisors, supervisor reduction, supervisory control
Kaynak
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
WoS Q Değeri
Q3
Scopus Q Değeri
Q1
Cilt
28
Sayı
45511
