Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu
Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/255
Browse
2 results
Search Results
Conference Object The Controllability Prefix for Supervisory Control Under Partial Observation With an Application To Fault-Tolerant Control(Elsevier, 2017) Moor, Thomas; Schmidt, Klaus WernerThe 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.Article Citation - WoS: 17Citation - Scopus: 17A Framework for State Attraction of Discrete Event Systems Under Partial Observation(Elsevier Science inc, 2014) Schmidt, Klaus Werner; Breindl, ChristianState attraction for discrete event systems (DES) addresses the problem of reaching a desired subset of the plant state space after a bounded number of event occurrences. The problem of state attraction arises for example in fault-tolerant supervisory control or in the control of reconfigurable manufacturing systems, and is also applicable to systems biological problems such as the control of gene regulatory networks. State attraction is investigated with the assumption of full event observation in the existing literature. This paper extends the concept of state attraction to the case of partial observation. The notion of weak attraction under partial observation (WAPO) is introduced and necessary and sufficient conditions for the existence of a supervisor under partial observation that achieves WAPO are derived. Furthermore, a solution algorithm is proposed that finds such supervisor whenever it exists. It is shown that such supervisor can always be realized as a subautomaton of the observer automaton of the DES plant. An application example from systems biology illustrates the obtained results. (C) 2014 Elsevier Inc. All rights reserved.