Partial order control of discrete event systems modelled as polynomial dynamical systems

We address computational methods for the control synthesis of the discrete event systems modelled as polynomial dynamical systems over Z//sub 3Z/. The control objectives are specified as order relations to be checked by the system. The control objectives equations are then synthesized using algebraic tools. The application of these methods to the safety specification of a power transformer station controller is presented.