Supervisory control of marked graphs with partial observations.

A marked graph-based control synthesis method is proposed for discrete event systems. The proposed approach solves the forbidden state problems characterized by a set of General Mutual Exclusion Constraints (GMEC) and takes into account unobservable transitions. It exploits the structural dependence of places involved in GMEC constraints. For each case, analytical expression of the GMEC in its worst case, in terms of reachable marking, is given according to the observable firing sequence of the system. These constraints are then evaluated on-line by the supervisor. The proposed approach is illustrated on a real example. [ABSTRACT FROM AUTHOR]