| 摘要: |
|
| 关键词: |
| DOI：https://doi.org/10.1007/s11768-019-7298-3 |
|
| 基金项目: |
|
| 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 |
