Derivation of placement transitions for offline calculation of restart states

This paper presents a preprocess to an existing method for offline calculation of restart states for manufacturing systems modeled by operations. In the existing method, placement transitions are used to model restart in restart states from potential error states, and supervisory control theory is used to calculate which of these transitions are valid. With the proposed preprocess, the precedence and the alternative dependencies between the operations are exploited in order to reduce the number of such placement transitions which are required in the model used by the existing method. With such a reduced model, the valid restart states for larger and more complex systems can be calculated.

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

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

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

[4]  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).

[5]  Sahar Mohajerani.  On Compositional Supervisor Synthesis for Discrete Event Systems , 2012 .

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

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

[8]  Peter Loborg,et al.  Manufacturing Control System Principles supporting Error Recovery , 1994 .

[9]  Martin Fabian,et al.  Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory , 2013 .

[10]  Bengt Lennartson,et al.  Automatic generation of controllers for collision-free flexible manufacturing systems , 2010, 2010 IEEE International Conference on Automation Science and Engineering.

[11]  Anders Törne,et al.  Towards Error Recovery in Sequential Control Applications , 1996 .

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

[13]  MengChu Zhou,et al.  Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..

[14]  Kristofer Bengtsson.  Flexible design of operation behavior using modeling and visualization , 2012 .

[15]  Bengt Lennartson,et al.  Generation of restart states for manufacturing cell controllers , 2011 .

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

[17]  Bengt Lennartson,et al.  A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata , 2012, IEEE Transactions on Control Systems Technology.

[18]  Bengt Lennartson,et al.  Optimization of operation sequences using constraint programming , 2012 .

[19]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[20]  Bengt Lennartson,et al.  Sequence Planning for Integrated Product, Process and Automation Design , 2010, IEEE Transactions on Automation Science and Engineering.

[21]  Jayme Luiz Szwarcfiter,et al.  A Structured Program to Generate all Topological Sorting Arrangements , 1974, Information Processing Letters.