Supervisory control of DES with unobservable events based on structural approach

In this paper, we propose a control policy for discrete event systems based on a structural approach. The proposed method allows to solve the forbidden state problems characterized by a set of general mutual exclusion constraints (GMEC) with of unobservable events. We propose a supervisory control approach based on two steps: observation and control. The proposed approach is illustrated on a real example.