Moor, ThomasSchmidt, Klaus Werner2020-02-272025-09-182020-02-272025-09-182017Moor, Thomas; Schmidt, Klaus Werner, "The controllability prefix for supervisory control under partial observation with an application to fault-tolerant control", Ifac Papersonline, Vol.50, No.1, pp. 13642-13647, (2017).2405-8963https://doi.org/10.1016/j.ifacol.2017.08.2396https://hdl.handle.net/20.500.12416/14699Schmidt, Ece Guran/0000-0002-4062-389XThe controllability prefix is known as a useful concept for the discussion and solution of synthesis problems in supervisory control of cp-languages, i.e., formal languages of infinite-length words. There, the controllability prefix is defined as the set of all finite-length prefixes that can be controlled to satisfy prescribed liveness and safety properties. In this paper, we discuss a variation of the controllability prefix to address supervisory control under partial observation for regular *-languages, i.e., formal languages of finite-length words. We derive algebraic properties that are useful for a quantitative analysis on how an upper-bound language-inclusion specification affects achievable lower-bound specifications. Our study is motivated by the synthesis of fault-tolerant supervisory controllers, where the possible occurrence of a fault may restrict the achievable pre-fault behaviour so severe, that a relaxation of the upper-bound specification becomes a practical option. As our study shows, such a relaxation can be systematically constructed in terms of the controllability prefix. (C) 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.eninfo:eu-repo/semantics/openAccessDiscrete-Event SystemsSupervisory ControlFault-Tolerant ControlPartial ObservationConference Object10.1016/j.ifacol.2017.08.23962-s2.0-85044267157