Contribution à la conception d'applications de pilotage des systèmes manufacturiers

Whatever applications in the field of Discrete Event System, analysis and plant part behavior modeling represented by a formal model is required. Our bibliographical analysis shows that, according to authors and applications, operative part modeling can take very different forms depending on goals. Used models are generally empirical and are supposed to be defined before the contribution. Although modeling is needed in all the research contribution, modeling does not provide a lot of contribution dedicated to it. In this thesis, we are interested in how to obtain the plant model with two approaches: the first one consists in putting to the test formally an empirical low-level plant model to test if all the control changes are considered. Confidence in the empirical plant model is improved by verifying partially on this one. The second approach consists in proposing to build the plant model by analyzing the components that compose the plant. Each material component is modeled independently with a precision level more or less important before that the plant model is assembled to be used in applications. First, the representing tool that is used is based on the language theory. The obtain results on the modeling of the plant parts are applied to the supervisory control of a packaging flexible cell. The modeling tool shows its limits in the taking into account of the time and the continuous aspects of the plant behavior. Then, our approach is extended to hybrid Petri nets to take into account the discrete and continuous behavior of the plant and their interaction. This hybrid approach enables to supply formal context to simulate realist plant models integrated in the software ITS_PLC Professionnal Edition. ; Quelque soient les applications développées dans le cadre des systèmes à évènements discrets, l'analyse et la représentation du comportement de la partie opérative par un modèle formel est nécessaire. L'analyse bibliographique montre que, suivant les applications et les auteurs, la modélisation de la partie ...