» Download Article

Authors
Nadia Hamani; Nathalie Dangoumau; Etienne Craye

Digital Object Identifier (DOI)
10.3182/20060517-3-FR-2903.00152

Page Numbers:
275-280

Index Terms
flexible manufacturing systems,control system,supervision,mode handling,functional and behavioral modeling

Abstract
A new modeling approach for mode handling of Flexible Manufacturing Systems (FMS) is presented in this paper. At first the basic concepts of this modeling approach are introduced. Then the modeling steps of the FMS functional model are presented and illustrated through an example of a flexible manufacturing cell. The proposed method is modular, hierarchical and supports re-use concept. The established model is generic and well adapted to our control system context. Integration within this control system in particular within the supervision framework, is studied in the last paragraph.

References

[1] Amar S., E. Craye and J.-C. Gentina (1992). Une
    méthode hiérarchique de spécification et de
    prototypage des systèmes de production
    flexibles. In: Automatique Productique
    Informatique industrielle, Vol. 26, No. 5-6,
    pp. 483-514.
[2] André C. (2003). Semantics of SSM (Safe State
    Machines), Guyancourt, France.
[3] Berruet P., A.K.A. Toguyéni, and E. Craye. (2000).
    Towards implementation of recovery procedures
    for FMS supervision. In: Computers in industry,
    Vol. 43, pp. 227-236.
[4] Cruette D., J.-P. Bourey and J.-C. Gentina. (1991).
    Hierarchical specification and validation of
    operating sequences in the context of FMS. In:
    Computer integrated manufacturing systems,
    Vol. 4, no. 3, pp. 140-156.
[5] Hamani N., N. Dangoumau and E. Craye. (2005). A
    comparative study of Mode Handling
    approaches. In: Proceedings of the 35th
    International Conference on Computers &
    Industrial Engineering (CIE 05), Istanbul,
    Turkey.
[6] Hamani N. (2005). Contribution to formal
    specification and verification for Automated
    Production Systems mode handling. PhD thesis
    Ecole Centrale de Lille, France. [in French]
[7] Harel D. (1985). On the development of reactive
    systems. In: Proceedings NATO Advanced
    Study Institute on Logics and Models for
    Verification and Specification of Concurrent
    Systems. NATO ASI series F, Vol. 13, pp. 477-
    498.
[8] Ndiaye D., M. Bigand, D. Corbeel and J.-P. Bourey
    (2002). Information system for production
    engineering: contribution to maintaining
    consistency of composite data using an object
    oriented approach. In: International journal of
    computer integrated manufacturing, Vol. 15,
    no. 3, pp. 233-241.
[9] Ranky P. (1990). Flexible manufacturing cells and
    systems in CIM, CIM ware Ltd., Guildford, U.K.
[10] Tawegoum R., E. Castelain and J.-C. Gentina (1994).
     Real time piloting of flexible manufacturing
     systems, In: European journal of operational
     research, Vol. 78, pp. 252-261.
[11] Toguyéni A.K.A., P. Berruet and E. Craye (2003).
     Models and algorithms for failure diagnosis and
     recovery in Flexible Manufacturing Systems. In:
     International journal of flexible manufacturing
     systems, Vol. 15, no. 1, pp. 57-85.