Recursive Synthesis of Robust Supervisory Controllers for Vector Discrete Event Systems

In this paper we present a generic recursive procedure for designing robust supervisory controllers for uncertain discrete event systems. This procedure is a direct extension of a corresponding methodology for continuous variable systems and its main advantage is that it allows us to replace a robust synthesis problem with a non robust synthesis problem and a number of analysis problems, which are usually easier to solve. The procedure is guaranteed to terminate in finite time although it does not always return a solution. The procedure can be used with different kinds of discrete event models. Here we investigate its application on vector discrete event systems. We focus on practical issues and propose systematic ways of dealing with the computational problems