State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks | IEEE Conference Publication | IEEE Xplore