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

Basit Öğe Kaydı
dc.authorid0000-0001-9625-5523
dc.contributor.authorUzam, M
dc.contributor.authorWonham, WM
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2006
dc.departmentNiğde ÖHÜ
dc.description.abstractIn 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.
dc.identifier.doi10.1007/s00170-004-2426-7
dc.identifier.endpage760
dc.identifier.issn0268-3768
dc.identifier.issue45511
dc.identifier.scopus2-s2.0-33645575470
dc.identifier.scopusqualityQ1
dc.identifier.startpage747
dc.identifier.urihttps://dx.doi.org/10.1007/s00170-004-2426-7
dc.identifier.urihttps://hdl.handle.net/11480/5529
dc.identifier.volume28
dc.identifier.wosWOS:000236514400015
dc.identifier.wosqualityQ3
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.publisherSPRINGER LONDON LTD
dc.relation.ispartofINTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.subjectPetri nets
dc.subjectRamadge-Wonham (RW) supervisors
dc.subjectsupervisor reduction
dc.subjectsupervisory control
dc.titleA hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets
dc.typeArticle

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu