State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks

In this paper, we study detectability problem of Networked Discrete Event Systems (NDES) where the communication between the plant and the agent is carried out through a network that can have several channels, so that, communication delays can cause changes in the order of the observations, and, also, loss of observations. We deploy an approach previously presented in the literature to construct an untimed nondeterministic automaton that models the behavior of a NDES, and, based on this model, we present a methodology for the state estimation of NDES, and new networked D-detectability definitions. Finally, we show that the NDES is networked D-detectable if, and only if, the equivalent untimed nondeterministic model is D-detectable.