Sülek, A. N.Schmidt, Klaus Werner2020-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).14746670http://hdl.handle.net/20.500.12416/3910Fault-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.eninfo:eu-repo/semantics/closedAccessFault-ToleranceDiscrete Event SystemsSupervisory ControlConference Object4111512010.3182/20130904-3-UK-4041.00023