Sülek, A.N.Schmidt, K.W.2020-05-182020-05-182013Sü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).1474-6670https://doi.org/10.3182/20130904-3-UK-4041.00023(IFAC) - Technical Committee on Discrete; Event and Hybrid Systems (TC 1.3); Technical Committee on Components and; Technical Committee on Manufacturing Plant Control (TC 5.1); Technical Committee on Mechatronic Systems (TC 4.2); Technologies for Control (TC 4.1)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. © 2013 IFAC.eninfo:eu-repo/semantics/openAccessDiscrete Event SystemsFault-ToleranceSupervisory ControlConference Object4PART 111512010.3182/20130904-3-UK-4041.000232-s2.0-84885572650N/AN/A