Çankaya GCRIS Standart veritabanının içerik oluşturulması ve kurulumu Research Ecosystems (https://www.researchecosystems.com) tarafından devam etmektedir. Bu süreçte gördüğünüz verilerde eksikler olabilir.

Elektronik ve Haberleşme Mühendisliği Bölümü Yayın Koleksiyonu

Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/260

Browse

Browsing Elektronik ve Haberleşme Mühendisliği Bölümü Yayın Koleksiyonu by Subject "Abstraction-Based Synthesis"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Conference Object
    Citation - Scopus: 7
    Abstraction-Based Control for Not Necessarily Closed Behaviours
    (IFAC Secretariat, 2011) Moor, T.; Schmidt, K.; Wittmann, T.
    This 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.