Computing all minimal transition-based sensor activation policies for centralized supervisory control | IEEE Conference Publication | IEEE Xplore