Skip to Main content Skip to Navigation

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

Abstract : 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.
Document type :
Complete list of metadatas

Cited literature [64 references]  Display  Hide  Download
Contributor : Benoît Rohee <>
Submitted on : Monday, August 17, 2009 - 12:30:49 PM
Last modification on : Monday, October 19, 2020 - 11:12:44 AM
Long-term archiving on: : Saturday, November 26, 2016 - 11:27:47 AM


  • HAL Id : tel-00410093, version 1



Benoit Rohée. Contribution à la conception d'applications de pilotage des systèmes manufacturiers. Automatique / Robotique. Université de Reims - Champagne Ardenne, 2008. Français. ⟨tel-00410093⟩



Record views


Files downloads