Submodule Construction using the Control Theory of Discrete Event Systems

A. Khoumsi (Canada) and J. Drissi (USA)


Submodule contruction problem, Discrete event system, Supervisory control with partial observation


We propose a solution to the following problem : given a specification S and a subsystem M, the aim is to generate a missing subsystem X such that M and X constitute a sys tem that satisfies S. Such a problem is commonly called submodule construction problem (SCP). We first mention several methods that have been proposed in the past to re solve SCP, and we show their limitations. Then we pro pose a method which resolves SCP without the determined limitations of the other methods. Our method is based on the control theory of discrete event systems.

Important Links:

Go Back