1992ACC/FA7 Symbolic Synthesis ofSupervisory Controllers
Gerard Hoffmana · 1992
RamadgeandWonham[1] gavealgorithms forfinding controllers intheir supervisory control framework. Their automaticsynthesis techniques areimplemented hereusing binarydecision diagrams [2]. Thistechnique ofsymbolic representation capitalizes onloose coupling between controlled plant components. We areabletosynthesize acontroller for awafer-manufacturing plant, forwhichanexplicit representation wouldhaveabout106states.