Moor, T.Schmidt, K.Wittmann, T.Mekatronik Mühendisliği2020-05-082020-05-082011Moor, T.; Schmidt, K.; Wittmann, T., "Abstraction-Based Control for Not Necessarily Closed Behaviours", Ifac Proceedings Volumes (Ifac-Papersonline), Vol. 44, No. 1-1, pp. 6988-6993, (2011).97839026619371474-6670https://doi.org/10.3182/20110828-6-IT-1002.00480This paper addresses abstraction-based supervisory control for plant and specification behaviours that are not necessarily ω-closed, i.e. plant behaviours that exhibit eventuality properties and specifications that impose eventuality properties on the closed loop. Technically, the core idea is to combine results from previous work on abstraction-based supervision of input-output behaviours with results on supervisory control of ω-languages. As our main result, we identify a controllability condition for the plant, that ensures a nonblocking closed-loop behaviour with a controller that has been obtained for a plant abstraction. © 2011 IFAC.eninfo:eu-repo/semantics/openAccessAbstraction-Based SynthesisDiscrete Event SystemsSupervisory ControlΩ-LanguagesConference Object441 PART 16988699310.3182/20110828-6-IT-1002.004802-s2.0-84866762067N/AN/A