Novel analysis of Petri-net-based controllers by means of TCT implementation tool of supervisory control theory

Basit Öğe Kaydı
dc.authorid0000-0001-9625-5523
dc.contributor.authorGelen, Gokhan
dc.contributor.authorUzam, Murat
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2010
dc.departmentNiğde ÖHÜ
dc.description.abstractThe control of discrete event systems (DES) has been widely studied in the past two decades. Finite-state automata (FSA) and Petri nets (PN) are the two principal modelling formalisms for this study. Supervisory control theory (SCT), based on language and FSA concepts, is a well established framework for the study of discrete event control systems (DECS). PN-based approaches to the control design have been considered as an alternative framework. In the PN-based control of DES, given an uncontrolled PN model of a system and a set of specifications, a PN-based controller consisting of monitors (control places) is synthesised to solve the problem. In general, forbidden-state specifications are considered. Another heavily studied specification is to obtain the live system behaviour (non-blockingness in SCT terminology) for a given PN model by computing a PN-based controller. Unfortunately, PN-based analysis tools cannot deal with uncontrollable transitions. Therefore, to date there is no general technique for the correctness analysis of the computed PN-based controllers. This paper proposes a novel and general methodology to carry out the correctness analysis for the computed PN-based controllers by using the TCT implementation tool of SCT. Three examples are considered for illustration.
dc.description.sponsorshipScientific and Technological Research Council of Turkey (Turkiye Bilimsel ve Teknolojik Arastirma Kurumu - TUBITAK) [TUBITAK-107E125]
dc.description.sponsorshipThis work was supported by the research grant of the Scientific and Technological Research Council of Turkey (Turkiye Bilimsel ve Teknolojik Arastirma Kurumu - TUBITAK) under the project number TUBITAK-107E125. The authors would like to thank the editor and three anonymous referees whose comments and suggestions greatly helped us to improve the presentation and the quality of the paper.
dc.identifier.endpage396
dc.identifier.issn1905-7873
dc.identifier.issue3
dc.identifier.scopus2-s2.0-78549279807
dc.identifier.scopusqualityQ3
dc.identifier.startpage360
dc.identifier.urihttps://hdl.handle.net/11480/4848
dc.identifier.volume4
dc.identifier.wosWOS:000282441500002
dc.identifier.wosqualityQ4
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.publisherMAEJO UNIV
dc.relation.ispartofMAEJO INTERNATIONAL JOURNAL OF SCIENCE AND TECHNOLOGY
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subjectdiscrete event systems (DES)
dc.subjectPetri nets (PN)
dc.subjectfinite state automata (FSA)
dc.subjectsupervisory control theory (SCT)
dc.titleNovel analysis of Petri-net-based controllers by means of TCT implementation tool of supervisory control theory
dc.typeArticle

Dosyalar

Koleksiyon

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