Robust nonblocking supervisory control of discrete-event systems under partial observation

In this paper, we extend previous results on robust nonblocking supervisory control of discrete-event systems with full observation to the case of control under partial observation where only a subset of events are observable and can be monitored. The exact model of the plant is not known but is assumed to be among a finite set of possible models. For each plant model a legal marked behavior is assumed given. We manage to characterize the entire set of solutions of the robust control problem and obtain a set of necessary and sufficient conditions for the existence of a solution for the robust control problem