Hierarchical interface-based supervisory control of a flexible manufacturing system

Flexible manufacturing systems have long been touted as an application area for supervisory control theory. Unfortunately, due to the typical exponential growth of state space with the number of interacting subsystems, concurrent systems such as manufacturing applications have, for the most part, remained beyond the reach of existing supervisory control theory tools. This paper demonstrates how, by imposing a hierarchical, modular, interface-based architecture on the system, significant gains can be made in the size of applications that can be handled by supervisory control theory. We first review hierarchical interface-based supervisory control, providing the theory necessary to motivate the creation of well-defined automata-based interfaces between components. This architecture permits the verification of global safety (controllability) and nonblocking properties to be decomposed into a set of local checks, each of which only involves an individual component subsystem and its interface automata. The paper then provides a detailed description of how the theory can be applied to the design and verification of a flexible manufacturing system work cell. The work cell model is based on the Atelier Intere/spl acute/tablissement de Productique flexible manufacturing workcell, a system that has been previously studied in the literature with limited success.

[1]  Ryan J. Leduc,et al.  Hierarchical Interface-based Supervisory Control , 2003 .

[2]  Hongye Su,et al.  Hierarchical control of DES based on colored Petri nets , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

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

[4]  Nicholas James Alsop.  Formal techniques for the procedural control of industrial processes , 1997 .

[5]  W. Wonham,et al.  Control of vector discrete-event systems. I. The base model , 1993, IEEE Trans. Autom. Control..

[6]  D.M. Tilbury,et al.  Modular verification of modular finite state machines , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[7]  Knut Åkesson,et al.  Exploiting Modularity for Synthesis and Verification of Supervisors , 2002 .

[8]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[9]  Sherif Salah Abdelwahed,et al.  INTERACTING DISCRETE EVENT SYSTEMS: MODELLING, VERIFICATION, AND SUPERVISORY CONTROL , 2002 .

[10]  E. Clarke,et al.  Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .

[11]  Ryan J. Leduc,et al.  Synthesis Method for Hierarchical Interface-based Supervisory Control , 2007, ACC.

[12]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[13]  Hervé Marchand,et al.  Supervisory control of concurrent discrete event systems , 2004 .

[14]  W. M. Wonham,et al.  STCT: An Efficient Algorithm for Supervisory Control Design , 2002 .

[15]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[16]  José E. R. Cury,et al.  Modular Supervisory Control of Large Scale Discrete Event Systems , 2000 .

[17]  René K. Boel,et al.  Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness , 2001, IEEE Trans. Autom. Control..

[18]  Peyman Gohari-Moghadam.  A linguistic framework for controlled hierarchical DES , 1998 .

[19]  Haoxun Chen,et al.  Model aggregation for hierarchical control synthesis of discrete event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[20]  Peter E. Caines,et al.  Hierarchically accelerated dynamic programming for finite-state machines , 2002, IEEE Trans. Autom. Control..

[21]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.

[22]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[23]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

[24]  P. Caines,et al.  The hierarchical lattices of a finite machine , 1995 .

[25]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory Control-part I: serial case , 2005, IEEE Transactions on Automatic Control.

[26]  Stéphane Lafortune,et al.  Decentralized supervisory control with communicating controllers , 2000, IEEE Trans. Autom. Control..

[27]  Frank L. Lewis,et al.  An implementation of the matrix-based supervisory controller of flexible manufacturing systems , 2002, IEEE Trans. Control. Syst. Technol..

[28]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory control-part II: parallel case , 2005, IEEE Transactions on Automatic Control.

[29]  W. Murray Wonham,et al.  Control of state tree structures , 2003 .

[30]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[31]  Hong Liu,et al.  Hybrid synthesis for hierarchical structured Petri nets , 1996, Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96.

[32]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

[33]  Dawn M. Tilbury,et al.  SOFTWARE TOOLS FOR VERIFICATION OF MODULAR FSM BASED LOGIC CONTROL FOR USE IN RECONFIGURABLE MACHINING SYSTEMS É , 2000 .

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

[35]  Michael Heymann,et al.  Control of discrete event systems modeled as hierarchical state machines , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

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

[37]  Ryan J. Leduc.  PLC implementation of a DES supervisor for a manufacturing testbed: An implementation perspective , 1996 .

[38]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[39]  David Lorge Parnas,et al.  The Modular Structure of Complex Systems , 1984, IEEE Transactions on Software Engineering.

[40]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[41]  B. A. Brandin,et al.  The supervisory control of the automated manufacturing system of the AIP , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

[42]  J. Willems,et al.  The computational complexity of decentralized discrete-event control problems , 1995, IEEE Trans. Autom. Control..