Automatic Extraction of Discrete Event System Controllers

摘要

Given an automaton model of a Discrete Event System, called a plant, its control specifications, and sometimes also an initial controller design, we algorithmi-cally construct a controller for the plant in such a way that from any state in the controlled system it is always possible to reach states which signify completion of tasks. The controller does not disable any uncontrollable event, but enables at most one controllable event at each state. We give an algorithm for the synthesis of such a controller under complete observation of events. The applicability of controller extraction in industrial systems is illustrated.