quotation:[Copy]
[Copy]
【Print page】 【Online reading】【Download 【PDF Full text】 View/Add CommentDownload reader Close

←Previous page|Page Next →

Back Issue    Advanced search

This Paper:Browse 78   Download 134 本文二维码信息
码上扫一扫!
Diagnosability of a class of discrete event systems based on observations
S.Reshmila,DevanathanRAJAGOPALAN
0
(Sree Narayana Gurukulam College of Engineering, India)
摘要:
The diagnosability of discrete event systems has been a topic of interest to many researchers. The diagnosability conditions for various systems have evolved based on a regularity condition that is imposed on faulty traces with respect to their observable continuations. Improving upon this weak but necessary condition, a new model of diagnosability that is based on sensor outputs, which are called observations, upon a command input is proposed in this paper. Necessary and sufficient conditions are derived for the proposed diagnosability model. The search performance of the proposed diagnosability condition is of linear complexity in terms of the power set of the system events and observations, compared to the exponential complexity of the search with the existing diagnosability regularity condition. Moreover, a system that is not diagnosable according to the existing diagnosability condition may be diagnosable in the proposed diagnosability model, which includes observations.
关键词:  Discrete event system, diagnosability, fault diagnosis, mealy automata, finite state automata
DOI:
基金项目:
Diagnosability of a class of discrete event systems based on observations
S. Reshmila,Devanathan RAJAGOPALAN
(Sree Narayana Gurukulam College of Engineering, India;Hindustan Institute of Technology and Science, Chennai, India)
Abstract:
The diagnosability of discrete event systems has been a topic of interest to many researchers. The diagnosability conditions for various systems have evolved based on a regularity condition that is imposed on faulty traces with respect to their observable continuations. Improving upon this weak but necessary condition, a new model of diagnosability that is based on sensor outputs, which are called observations, upon a command input is proposed in this paper. Necessary and sufficient conditions are derived for the proposed diagnosability model. The search performance of the proposed diagnosability condition is of linear complexity in terms of the power set of the system events and observations, compared to the exponential complexity of the search with the existing diagnosability regularity condition. Moreover, a system that is not diagnosable according to the existing diagnosability condition may be diagnosable in the proposed diagnosability model, which includes observations.
Key words:  Discrete event system, diagnosability, fault diagnosis, mealy automata, finite state automata