Synthesis Of A Discrete System Using Algebraic Methods

In this work we investigate whether it is possible tosynthesize the control law for a discrete event dynamicsystem, using a polynomial representation ofthe system and controller. By working through arelatively simple example we propose a synthesismethod based on the polynomial representation andrepeated Gr obner basis computations.The supervisor objective is given in terms of forbiddenstates and the controller should actively beable to avoid these. We reduce the manifold of solutions...