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

Filters

2010 - 20134

Settings

Subject: search.filters.subject.Discrete Event Systems

Search Results

Now showing 1 - 4 of 4
  • Conference Object
    Hierarchical Multitasking Control of Discrete Event Systems: Computation of Projections and Maximal Permissiveness
    (IFAC Secretariat, 2010) Cury, J.E.R.; Schmidt, K.; De Queiroz, M.H.
    This paper extends previous results on the hierarchical and decentralized control of multitasking discrete event systems (MTDES). Colored observers, a generalization of the observer property, together with local control consistency, allow to derive sufficient conditions for synthesizing modular and hierarchical control that are both strongly nonblocking (SNB) and maximally permissive. A polynomial procedure to verify if a projection fulfills the above properties is proposed and in the case they fail for a given projection an algorithm is proposed to find an extension of the set of events to be projected, in order to fulfill the sufficient conditions for SNB and maximally permissive hierarchical control.
  • 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.
  • Article
    Citation - WoS: 12
    Citation - Scopus: 17
    Abstraction-Based Verification of Codiagnosability for Discrete Event Systems
    (Pergamon-elsevier Science Ltd, 2010) Schmidt, K.
    In this paper, we investigate the verification of codiagnosability for discrete event systems (DES). That is, it is desired to ascertain if the occurrence of system faults can be detected based on the information of multiple local sites that partially observe the overall DES. As an improvement of existing codiagnosability tests that resort to the original DES with a potentially computationally infeasible state space, we propose a method that employs an abstracted system model on a smaller state space for the codiagnosability verification. Furthermore, we show that this abstraction can be computed without explicitly evaluating the state space of the original model in the practical case where the DES is composed of multiple subsystems. (c) 2010 Elsevier Ltd. All rights reserved.
  • Article
    Yeniden yapılandırılabilir üretim sistemleri için kontrolcü tasarımı
    (Çankaya Üniversitesi, 2013) Sülek, Ayşe Nur; Afşar, Kıvanç Uğur; Schmidt, Klaus Werner
    Değişen ürün pazarlarına ve türlerine uyum sağlamak için, hızlı yeniden yapı landırılabilir üretim sistemleri (YUS) günümüz üretim teknolojisine önemli bir ¸çözüm sunmaktadır.Bu makalede, yeniden yapılanmanın hızlı olması ve kontrolcülerin kolayca gerçeklenebilmesi için yeniden yapılandırılabilir üretim sistemlerinin (YUS) kontrolü ele alınmaktadır. Makale kapsamında, bir konfigürasyon sistemin istenen bir olası operasyonu anlamına gelmektedir. Kullandığımız yöntem YUS’lerin ayrık olaylı sistem (AOS) modeli üzerine kurulmuştur ve ü sistemin herbir konfigürasyonu için kontrolcü tasarımı ile başlar. Daha sonra bu kontrolcü temel operasyonuna göre dört farklı biçimde genişletilebilir. Her kontrolcü dört biçimden birini uygulamaktadır: kendi konfigürasyonunu aktif olarak ¸calıştırır (biçim 1), kendi kon figürasyonunu bitirir ve aktif olmayan duruma geçer (biçim 2), aktif olmayan durumda bekler (biçim 3) ya da yeniden aktif olur (biçim 4). Oluşturduğumuz algoritma yalnızca bir konfigürasyonun aktif olmasını, diğer bütün konfigürasyonların ise aktif olmamasını sağlar.Ayrıca konfigürasyonlar arasında sınırlı bir sürede geçiş yapabilmeyi sağlar. Yaklaşımımız ile herbir konfigürasyon için kontrolcü hazırlandıktan sonra, ¸calışan sisteme kolaylıkla yeni bir konfigürasyon eklenebilir. Geliştirilen yöntem küçük bir üretim sistemi örneğiyle açıklanmıştır.