An online algorithm for minimal sensor activation in discrete event systems | IEEE Conference Publication | IEEE Xplore