Bilgilendirme: Sürüm Güncellemesi ve versiyon yükseltmesi nedeniyle, geçici süreyle zaman zaman kesintiler yaşanabilir ve veri içeriğinde değişkenlikler gözlemlenebilir. Göstereceğiniz anlayış için teşekkür ederiz.

Browsing by Author "Moor, T."

Filter results by typing the first few letters
Now showing 1 - 3 of 3
  • Thumbnail Image
    Conference Object
    Citation - Scopus: 7
    Abstraction-Based Control for Not Necessarily Closed Behaviours
    (IFAC Secretariat, 2011) Moor, T.; Schmidt, K.; Wittmann, T.; 06.08. Mekatronik Mühendisliği; 06. Mühendislik Fakültesi; 01. Çankaya Üniversitesi
    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.
  • Thumbnail Image
    Conference Object
    Citation - Scopus: 12
    Applied Supervisory Control for a Flexible Manufacturing System
    (IFAC Secretariat, 2010) Moor, T.; Schmidt, K.; Perk, S.; 06.08. Mekatronik Mühendisliği; 06. Mühendislik Fakültesi; 01. Çankaya Üniversitesi
    This paper presents a case study in the design and implementation of a discrete event system (DES) of real-world complexity. Our DES plant is a flexible manufacturing system (FMS) laboratory model that consists of 29 interacting components and is controlled via 107 digital signals. Regarding controller design, we apply a hierarchical and decentralised synthesis method from earlier work in order to achieve nonblocking and safe closed-loop behaviour. Regarding implementation, we discuss how digital signals translate to discrete events from a practical point of view, including timing issues. The paper demonstrates how both, design and implementation, are supported by the open-source software tool libFAUDES.
  • Thumbnail Image
    Conference Object
    Citation - Scopus: 1
    Fuzzy Hybrid Systems Modeling With Application in Decision Making and Control
    (2012) Boutalis, Y.; Moor, T.; Schmidt, K.; 06.08. Mekatronik Mühendisliği; 06. Mühendislik Fakültesi; 01. Çankaya Üniversitesi
    Hybrid Systems are systems containing both discrete event and continuous variable components. Many recent contributions address crisp situations, where ambiguity or subjectivity in the measured data is absent. In this paper, we propose Fuzzy Hybrid Systems to account for inaccurate measurements and uncertain dynamics. We present a strategy to determine the most appropriate control actions in a sampled data setting. The proposed approach is based on three basic steps that are performed in each sampling period. First, the current discrete fuzzy state of the system is determined by a sensor evaluation. Next, the future discrete fuzzy state is predicted for the possible control actions and the best action, in respect to desired continuous states, is selected. Finally, the decision is cross-evaluated by a limited horizon prediction of the continuous system variables. The proposed method is explained and demonstrated for a variation of the a well-known two-tank scenario. © 2012 IEEE.