Generation of restart states for manufacturing cell controllers

A method for restart of manufacturing systems has recently been introduced. After correction of a fault. the system resumes normal production by returning to a certain restart state in the control function. and from there reexecuting parts of the work schedule. The current paper concerns automatic generation of the restart states, using discrete event systems theory. The generation process finds all possible restart states that guarantee that the execution restrictions are fulfilled during a restart, and that the production goals can be maintained. The number of restart states is minimized to reduce the number of necessary extensions to the control program. (C) 2011 Elsevier Ltd. All rights reserved.

[1]  Christer Bäckström,et al.  Efficient planning for a miniature assembly line , 1999, Artif. Intell. Eng..

[2]  Dominique Bonvin,et al.  A Systemic Framework for the Recovery of Flexible Production Systems , 1996 .

[3]  MuDer Jeng,et al.  Petri nets for modeling automated manufacturing systems with error recovery , 1997, IEEE Trans. Robotics Autom..

[4]  Carlos Eduardo Pereira,et al.  Manufacturing plant control: Challenges and issues , 2007 .

[5]  G. Perrone,et al.  Reconfiguration: a key to handle exceptions and performance deteriorations in manufacturing operations , 2005 .

[6]  Ali Yalcin.  Supervisory control of automated manufacturing cells with resource failures , 2004 .

[7]  Bengt Lennartson,et al.  Restarting Manufacturing Systems; Restart States and Restartability , 2010, IEEE Transactions on Automation Science and Engineering.

[8]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[9]  Ratnesh Kumar,et al.  FAULT-TOLERANT SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS: FORMULATION AND EXISTENCE RESULTS , 2007 .

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

[11]  Dawn M. Tilbury,et al.  Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[12]  Ingemar J. Cox,et al.  Exception handling in robotics , 1989, Computer.

[13]  Stephan Biller,et al.  Math-Based Control Logic Development for Automotive Industrial Applications: Issues, Challenges and Solution , 2008 .

[14]  B. Tjahjono,et al.  A Review of Research in Manufacturing Prognostics , 2006, 2006 4th IEEE International Conference on Industrial Informatics.

[15]  Bengt Lennartson,et al.  Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers , 2010, IEEE Transactions on Control Systems Technology.

[16]  Knut Åkesson,et al.  Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence , 2007, Discret. Event Dyn. Syst..

[17]  C. Seatzu,et al.  Fault diagnosis and identification of discrete event systems using Petri nets , 2008, 2008 9th International Workshop on Discrete Event Systems.

[18]  Mariagrazia Dotoli,et al.  Fault Monitoring of Discrete Event Systems by First Order Hybrid Petri Nets , 2008 .

[19]  Bengt Lennartson,et al.  Generation of restart states for manufacturing systems with discarded workpieces , 2009, 2009 IEEE International Conference on Automation Science and Engineering.

[20]  Anders Adlemo,et al.  Fast Restart of Manufacturing Cells Using Restart Points , 2000 .

[21]  Peter Loborg.  Error Recovery in Automation - An Overview , 1994 .

[22]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[23]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[24]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[25]  R. Malik,et al.  Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[26]  Cem M. Baydar,et al.  Off-line error prediction, diagnosis and recovery using virtual assembly systems , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[27]  C. S. Syan,et al.  Status monitoring and error recovery in flexible manufacturing systems , 1995 .

[28]  Martin Fabian,et al.  Modeling the control of a flexible manufacturing cell for automatic verification and control program generation , 2006 .