DSpace Repository

Computation of Fault-Tolerant Supervisors for Discrete Event Systems ?

Show simple item record

dc.contributor.author Sülek, A. N.
dc.contributor.author Schmidt, Klaus Werner
dc.date.accessioned 2020-05-18T23:21:58Z
dc.date.available 2020-05-18T23:21:58Z
dc.date.issued 2013
dc.identifier.citation Sülek, A.N.; Schmidt, K.W.,"Computation of Fault-Tolerant Supervisors for Discrete Event Systems ?",Ifac Proceedings Volumes (Ifac-Papersonline), Vol. 4, No. 1, pp. 115-120, (2013). tr_TR
dc.identifier.issn 14746670
dc.identifier.uri http://hdl.handle.net/20.500.12416/3910
dc.description.abstract Fault-tolerance addresses the problem of operating a system even in case of faults. In this paper, we study fault-tolerance in the supervisory control framework for discrete event systems (DES). We consider DES, where certain events might no longer be possible in case a fault happens. In this setting, we first identify necessary and suficient conditions for the existence of a supervisor that realizes a given behavioral specification both in the non-faulty and in the faulty case. We further show that it is possible to determine a supremal fault-tolerant sublanguage in case the existence condition is violated. Finally, we propose an algorithm for the computation of this sublanguage and prove its correctness. Different from existing work, our fault-tolerant supervisor allows fault occurrences and system repairs at any time. The concepts and results developed in this paper are illustrated by a manufacturing system example. tr_TR
dc.language.iso eng tr_TR
dc.relation.isversionof 10.3182/20130904-3-UK-4041.00023 tr_TR
dc.rights info:eu-repo/semantics/closedAccess tr_TR
dc.subject Fault-Tolerance tr_TR
dc.subject Discrete Event Systems tr_TR
dc.subject Supervisory Control tr_TR
dc.title Computation of Fault-Tolerant Supervisors for Discrete Event Systems ? tr_TR
dc.type conferenceObject tr_TR
dc.relation.journal Ifac Proceedings Volumes (Ifac-Papersonline) tr_TR
dc.contributor.authorID 17337 tr_TR
dc.identifier.volume 4 tr_TR
dc.identifier.issue 1 tr_TR
dc.identifier.startpage 115 tr_TR
dc.identifier.endpage 120 tr_TR
dc.contributor.department Çankaya Üniversitesi, Mühendislik Fakültesi, Mekatronik Mühendisliği Bölümü tr_TR


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record