Calculating All Minimal Transition-Based Sensor Activation Policies for the Purpose of Supervisory Control

Consider the problem of designing a supervisory control in which the supervisor has control not merely over the inputs (or actuators), but can also choose to turn sensors on or off. In this context, the supervisor can flexibly adjust the set of activated sensors to reduce sensor utilization without compromising the correctness of control decisions. Building upon existing methods for computing a transition-based minimal sensor activation policy, algorithms are presented in this technical note for computing all minimal transition-based sensor activation policies. This result is then extended for minimizing the numerical sensor activation cost for systems modeled by stochastic automata.