We consider the three properties of diagnosability, normality, and observability of discrete-event systems. In each case, we consider the problem of finding an observable event set with minimum cardinality such that the property under consideration holds. We prove that these search problems are computationally hard by showing that the corresponding decision problems are NP-complete.
No takes yet. Share an insight, caveat, or question.
Yoo et al. (2002) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: