Théorie du contrôle par supervision : Un exemple d'application d'une approche décentralisée sur un système de production manufacturière

The supervisory control theory, also called theory of Ramadge and Wonham, lies on the synthesis principle. It enables a sharp distinction between the process model and the specifications model. This theory has great extensions and applications in the discrete event systems (DES) studies. Nevertheless the models size and their implementation are problems usually point out as a brake to the application of this theory. In this article we suggest an approach that induce an answer to this two problems. This approach will be explained through an example. Our first contribution is in the used method, which is based on a decentralized approach. The second one leads to define rules that allow us to choose a command trajectory among those possible in order to implement it in a programmable logic controller.