-detectability of Discrete Event Systems Under Nondeterministic Observations

摘要

In practical systems, due to some reasons such as sensor limitations, sensor faults and packet losses in networks, the observations of events become nondeterministic. It is necessary to re-consider detectability which says, for any string, we can distinguish state pairs in a given specification from the observation, which is unique. In this paper, we extend detectability into