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 t...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 observatio ns, upon a command in put is proposed in this paper. Necessary and sufficient con ditions 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 diag nosability regularity condition. Moreover, a system that is not diag no sable according to the existi ng diag nosability condition may be diagnosable in the proposed diagnosability model, which includes observations.展开更多
文摘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 observatio ns, upon a command in put is proposed in this paper. Necessary and sufficient con ditions 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 diag nosability regularity condition. Moreover, a system that is not diag no sable according to the existi ng diag nosability condition may be diagnosable in the proposed diagnosability model, which includes observations.