Ç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.

Mekatronik Mühendisliği Bölümü

Permanent URI for this communityhttps://hdl.handle.net/20.500.12416/20

Browse

Browsing Mekatronik Mühendisliği Bölümü by Department "Çankaya Üniversitesi, Mühendislik Fakültesi, Elektronik ve Haberleşme Mühendisliği"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Conference Object
    Citation Count: Schmidt K.,"Computation of Projections for the Abstraction-Based Diagnosability Verification",Ifac Proceedings Volumes (Ifac-Papersonline), Vol. 10, No. 1, pp. 199-204, (2011).
    Computation of Projections for the Abstraction-Based Diagnosability Verification
    (2011) Schmidt, Klaus Werner
    The verification of language-diagnosability (LD) for discrete event systems (DES) generally requires the explicit evaluation of the overall system model which is infeasible for practical systems. In order to circumvent this problem, our previous work proposes the abstraction-based LD verification using natural projections that fulfill the loop-preserving observer (LPO) property. In this paper, we develop algorithms for the verification and computation of such natural projections. We first present a polynomial-time algorithm that allows to test if a given natural projection is a loop-preserving observer. Then, we show that, in case the LPO property is violated, finding a minimal extension of the projection alphabet such that the LPO condition holds is NP-hard. Finally, we adapt a polynomial-time heuristic algorithm by Feng and Wonham for the efficient computation of loop-preserving observers.