A new method for the redundancy analysis of Petri net-based liveness enforcing supervisors

Basit Öğe Kaydı
dc.authorid0000-0002-2780-3386en_US
dc.contributor.authorGelen, Gokhan
dc.contributor.authorUzam, Murat
dc.contributor.authorLi, ZhiWu
dc.date.accessioned2021-03-20T20:13:54Z
dc.date.available2021-03-20T20:13:54Z
dc.date.issued2017
dc.departmentBTÜ, Mühendislik ve Doğa Bilimleri Fakültesi, Mekatronik Mühendisliği Bölümüen_US
dc.description.abstractThe deadlock control of flexible manufacturing systems (FMSs) has been widely studied in the literature. Petri nets (PNs) are extensively used as a tool for modelling, analysis and controller synthesis of such systems. In general, Petri-net-based liveness enforcing supervisors (LESs) include control places (CPs) together with their input/output arcs. It is well known that the methods proposed for computing CPs may provide redundant and necessary CPs. In this paper, a new method is proposed for redundancy test of CPs by means of supervisory control theory (SCT). The proposed method is based on the idea that after the removal of a CP from an LES, if the controlled model is still live, then the removed CP is redundant. The proposed method makes use of the TCT implementation tool of SCT. It is applicable to a PN-based LES consisting of a set of CPs. The applicability of proposed method is demonstrated by means of examples from the relevant literature. For some examples, the redundancy test provides more permissive behaviour with structurally simpler supervisors.en_US
dc.description.sponsorshipScientific and Technological Research Council of Turkey (Turkiye Bilimsel ve Teknolojik Arasxtirma Kurumu TUBITAK)Turkiye Bilimsel ve Teknolojik Arastirma Kurumu (TUBITAK) [TUBITAK-112M229]; Science and Technology Development Fund, MSARScience and Technology Development Fund (STDF) [066/2013/A2]; National Natural Science Foundation of ChinaNational Natural Science Foundation of China (NSFC) [61374068]en_US
dc.description.sponsorshipThe author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported by the research grant of the Scientific and Technological Research Council of Turkey (Turkiye Bilimsel ve Teknolojik Arasxtirma Kurumu TUBITAK) under the project number TUBITAK-112M229 and the Science and Technology Development Fund, MSAR, under Grant No. 066/2013/A2 and National Natural Science Foundation of China under Grant No. 61374068.en_US
dc.identifier.doi10.1177/0142331215620005en_US
dc.identifier.endpage780en_US
dc.identifier.issn0142-3312
dc.identifier.issn1477-0369
dc.identifier.issue5en_US
dc.identifier.scopusqualityQ2en_US
dc.identifier.startpage763en_US
dc.identifier.urihttp://doi.org/10.1177/0142331215620005
dc.identifier.urihttps://hdl.handle.net/20.500.12885/960
dc.identifier.volume39en_US
dc.identifier.wosWOS:000400821700017en_US
dc.identifier.wosqualityQ3en_US
dc.indekslendigikaynakWeb of Scienceen_US
dc.indekslendigikaynakScopusen_US
dc.institutionauthorGelen, Gökhan
dc.language.isoenen_US
dc.publisherSage Publications Ltden_US
dc.relation.ispartofTransactions Of The Institute Of Measurement And Controlen_US
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectDeadlocken_US
dc.subjectflexible manufacturing systems (FMSs)en_US
dc.subjectliveness enforcing supervisor (LES)en_US
dc.subjectPetri nets (PN)en_US
dc.subjectredundancy testen_US
dc.subjectsupervisory control theory (SCT)en_US
dc.titleA new method for the redundancy analysis of Petri net-based liveness enforcing supervisorsen_US
dc.typeArticleen_US

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu