Phisycal Implementation Technique for Symbolic Discrete Controller Synthesis

A physical hardware implementation technique has been proposed for discrete controllers synthesized by symbolic DCS.By introducing auxiliary variables for the controllable input variables and transforming the supervisor equation to a vector of control functions,this method resolves both the control non-determinism problem and the structural incompatibility problem introduced by the symbolic technique.We also try to introduce the DCS technique into the hardware design automation area,hoping to correct automatically design errors.This paper illustrates this technique as well as the control architecture by a real-life hardware design.