Weilin Wang, Stéphane Lafortune, Feng Lin: Optimal sensor activation in controlled discrete event systems. CDC 2008: 877-882