1. Proceedings
  2. I3M
  3. 2018
  4. IMAACA
  5. 10.46354/i3m.2018.imaaca.008

Design and verification of discrete event controllers for Smart Factory

  • Armand Toguyeni 
  • Centrale Lille, CRIStAL, UMR 9189, 59650 Villeneuve d'Ascq, France Univ. Lille Nord-Europe, F-59650, Lille, France
Cite as
Toguyeni A. (2018). Design and verification of discrete event controllers for Smart Factory. Proceedings of the 11th International Conference on Integrated Modeling and Analysis in Applied Control and Automation (IMAACA 2018), pp. 63-72. DOI: https://doi.org/10.46354/i3m.2018.imaaca.008

Abstract

This paper presents a study on the development of smart factory in the context of the manufacturing industry. We show that such systems must be agile, i.e. able to adapt quickly to changing contexts such as a particular production or material faults. In this study we model the control system of these systems by a layered and generic approach. We distinguish several classes of models to manage different categories of flexibility. The main objective of the study is to provide a rigorous and systematic method for modeling and verifying systematically, rigorously and effectively this type of system.

References

  1. Baruwa O. T., Piera M. A., Guasch A, 2015. Deadlockfree scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(5), 831-846.
  2. Beach R., Muhlemann A. P., Price D. H., Paterson A., Sharp J. A., 2000. A review of manufacturing flexibility. European journal of operational research, 122(1), 41-57.
  3. Christensen S. and Mortensen K. H, 1996. Design/CPN ASK-CTL Manual, version 0.9. Available from: http://cpntools.org/wpcontent/uploads/2018/01/askctlmanual.pdf [accessed 11 May 2018]
  4. Jensen K. and Kristensen L. M., 2015. Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Communications of the ACM, 58(6), 61-70.
  5. Jensen K., 1997. Colored Petri-Nets: Basic Concepts, Analysis Methods, and Practical Use”, 2nd ed. Berlin: Springer-Verlag.
  6. Koren Y, 2014. Reconfigurable Manufacturing System. In : CIRP Encyclopedia of Production Engineering. Springer Berlin Heidelberg, 1035-1039.
  7. Koren Y., Shpitalni M., 2010. Design of reconfigurable manufacturing systems. Journal of manufacturing systems, 29(4), 130-141.
  8. Radziwon A., Bilberg A., Bogers M., Madsen E. S., 2014. The smart factory: exploring adaptive and flexible manufacturing solutions. Procedia Engineering, 69, 1184-1190.
  9. Toguyeni A., 2006. Design of modular and hierarchical controllers for reconfigurable manufacturing systems. In: Computational Engineering in Systems Applications, IMACS Multiconference on. IEEE, 1004-1011
  10. Wang S., Wan J., Zhang D., Li D., Zhang C., 2016. Towards smart factory for industry 4.0: a selforganized multi-agent system with big data based feedback and coordination. Computer Networks, 101, 158-168.