OPTIMAL STATE-SPACE PARTITION FOR CONTROL OF DISCRETE-EVENT SYSTEMS WITH STATIC SPECIFICATIONS

The sensors distinguish among elements of the observation space, which is a partition of the state space, and the controller assigns a contr ol pattern to each observation value. In this paper, we study the coar sest partition to satisfy the static specification. If the sensors are reliable, then we can reduce the sensor cost by implementing the coar sest partition as the observation space. We show that, unfortunately, the coarsest partition does not uniquely exist in general. We then pre sent a necessary and sufficient condition for the unique existence of the coarsest partition.