Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis

This paper presents an approach towards the synthesis of maximally permissive, safe, controllable, control consistent and nonblocking supervisors where the supervisor is assumed to have partial observation of the events in the plant that is modeled as a discrete event system. In contrast to existing work, the presented approach avoids the use of concepts such as observability and normality and only relies on a transformation of the plant into another discrete event system to which subsequently supervisory control synthesis with full observation is applied.