A set theory based centralized diagnosability in discrete event systems
Küçük Resim Yok
Tarih
2009
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Maltepe Üniversitesi
Erişim Hakkı
CC0 1.0 Universal
info:eu-repo/semantics/openAccess
info:eu-repo/semantics/openAccess
Özet
This paper addresses a new set theory based model of centralized diagnosability in discrete event systems. This research improves the efficiency of Sampaths approach as a reference framework. The proposed model meets the necessary and sufficient conditions of diagnosability and it benefits from ZBDD (Zero-suppressed Binary Decision Diagram ) in set theory representations. The CUDD - Colorado University Decision Diagrams package was used to implement the related algorithms, and we have also derived a formal proof which shows the superiority of the proposed method in space and time complexity to former existing methods. Mainly we address centralized diagnosability in discrete event systems (DESs). DESs have discrete states and events. By occurring a certain event, DESs’s state is changed. Diagnosability, first was introduced by [1] who considered its properties in the framework of DESs. In summary, the sequencing of events uses to determine whether a system is operating as desired or whether a failure may have occurred. A methodology for building DESs models for failure diagnosis is also provided and a model-based approach for detecting failure events using diagnosers is presented, which state necessary and sufficient conditions for a language to be diagnosed. Jiang [2] is one of the related research works. Then, the researchers like Yoo focused on polynomial tests of failure diagnosability [3], and such a new direction like timed discrete event systems where sequencing and timing of events are considered. After all decentralized and distributed diagnosability have been introduced. In these two latter concepts, there are more than one observer in large and distributed systems. If the observers do not speak with each other, the decentralized diagnosability is considered, and if they do speak each other, the distributed diagnosability is considered. Since Diagnosability is important in large complex systems, so it has been received considerable attentions in scientific and industrial literatures.
Açıklama
Anahtar Kelimeler
Kaynak
International Conference of Mathematical Sciences
WoS Q Değeri
Scopus Q Değeri
Cilt
Sayı
Künye
Ghasemzadeh, M. ve Shirmohammadi, M. (2009). Maltepe Üniversitesi. s. 241.
