Polynomial-time verification of diagnosability of fuzzy discrete event systems
نویسندگان
چکیده
منابع مشابه
Diagnosability of Fuzzy Discrete Event Systems
In order to more effectively cope with the real-world problems of vagueness, fuzzy discrete event systems (FDESs) were proposed recently, and the supervisory control theory of FDESs was developed. In view of the importance of failure diagnosis, in this paper, we present an approach of the failure diagnosis in the framework of FDESs. More specifically: (1) We formalize the definition of diagnosa...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملA polynomial algorithm for testing diagnosability of discrete-event systems
Failure diagnosis in large and complex systems is a critical task. In the realm of discrete event systems, Sampath et al. proposed a language based failure diagnosis approach. They introduced the diagnosability for discrete event systems and gave a method for testing the diagnosability by first constructing a diagnoser for the system. The complexity of this method of testing diagnosability is e...
متن کاملComments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification
An article on codiagnosability verification of discrete event systems was reported in [1], claiming an improvement in complexity over [2]. This note clarifies an oversight in the complexity analysis of [1]. Further the results of [1] were obtained in a more restricted setting of “projection masks”, in contrast to the more general “nonprojection masks” allowed in [2], which was overlooked. Final...
متن کاملDiagnosability Analysis of Distributed Discrete Event Systems
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised approaches, monolithic systems. These approaches do not use the fact that real monitored systems are generally modelled in a distributed manner. In this paper, we propose a framework for the diagnosability analysis of s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science China Information Sciences
سال: 2014
ISSN: 1674-733X,1869-1919
DOI: 10.1007/s11432-013-4945-z