Decentralized state estimation in discrete event systems under partially ordered observation sequences | IEEE Conference Publication | IEEE Xplore