Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems | IEEE Conference Publication | IEEE Xplore