Design of a monitoring environment for manufacturing systems management and optimization

Because manufacturing systems are highly computer-based, efficient monitoring tools are required to achieve various goals: The reactivity of the system, the optimization of the production rate and the quality follow-up. A monitoring environment is defined as a set including: a programmable controller for the physical system handling, a monitoring control system for the production management and a decisional system for the computation of control operations. This paper focuses on a generic framework to facilitate the design of any specific monitoring environment and to permit the integration of optimization tools. We propose a methodology that can be used either to build this generic framework, or to create an instance of a specific monitoring environment. The generic framework is a generic monitoring environment composed of three generic models: a target-shaped model for the static view, a SA/RT (Structured Analysis method for Real Time systems) model to identify clearly the environment processes as well as the data flows and the control flows they exchange, and a Petri net for the dynamic issues. An industrial application is presented concerning the monitoring of an industrial surface treatment line being implemented on site, for which specific optimization tools have been realized and integrated.

[1]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[2]  Philippe Lacomme,et al.  Multi-Agents Approach for Manufacturing Systems Optimization , 1996, PAAM.

[3]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[4]  Mamadou Kaba Traoré,et al.  Modélisation et simulation du système d'information des ateliers de traitement de surfaces: modèle générique orienté objets et approche multi-agents , 1998, INFORSID.

[5]  Hirofumi Matsuo,et al.  Crane scheduling problem in a computer-integrated manufacturing environment , 1991 .

[6]  S. Adiga Object-Oriented Software for Manufacturing Systems , 1998 .

[7]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[8]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[9]  M. Courvoisier,et al.  Towards a design methodology for flexible manufacturing systems command combining SA-RT and object Petri nets , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[10]  Philippe Lacomme,et al.  Metaheuristics for the Stochastic Hoist Scheduling Problem (SHSP) , 2001 .

[11]  Bengt Lennartson,et al.  Applying supervisory control theory to discrete event systems modeled by object oriented principles , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[12]  Lisa K. Wells,et al.  LabVIEW for Everyone : Graphical Programming Made Even Easier , 1996 .

[13]  Xavier Gandibleux,et al.  Multicriteria approach for intelligent decision support in supervisory control , 1994, Ann. Oper. Res..

[14]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[15]  Richard Barker,et al.  Case*Method: Function and Process Modelling , 1992 .

[16]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[17]  Nikolay Tchernev,et al.  Object-oriented methodology for FMS modelling and simulation , 1997 .

[18]  L. W. Phillips,et al.  Mathematical Programming Solution of a Hoist Scheduling Program , 1976 .

[19]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[20]  Zden Ek,et al.  Petri Net Models for Manufacturing Systems , 2022 .

[21]  Xiaolan Xie,et al.  A class of Petri nets for manufacturing system integration , 1997, IEEE Trans. Robotics Autom..

[22]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets , 1983, Informatik-Fachberichte.