Hierarchical Interface-based Supervisory Control

In this paper we extend our previous results in which we presented a hierarchical method that decomposed a system into a high level subsystem which communicated with n ≥ 1 parallel low level subsystems through separate interfaces. This method offered potentially significant computational savings as the complete system model never needed to be constructed. We introduce a new interface structure called command-pair interfaces which is capable of representing state information about the low levels, and extend the previous results to include the more general command-pair interfaces. We then illustrate the new approach by re-visiting a large manufacturing example. Finally, we present a complexity analysis showing that the algorithm’s time complexity is O(m), where m = n+ 1 is the total number of subsystems.

[1]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[2]  David Lorge Parnas,et al.  Use of Abstract Interfaces in the Development of Software for Embedded Computer Systems , 1977 .

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

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

[5]  A. P. Sistla,et al.  Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.

[6]  Edmund M. Clarke,et al.  Characterizing Kripke Structures in Temporal Logic , 1987, TAPSOFT, Vol.1.

[7]  Jonathan S. Ostroff,et al.  Temporal logic for real-time systems , 1989 .

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

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

[10]  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.

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

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

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

[14]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[15]  Yong Li,et al.  Control of Vector Discrete-Event Systems , 1993 .

[16]  Jan C. WillemsInstitute.  The Computational Complexity of Decentralized Discrete-Event Control Problems , 1993 .

[17]  André Arnold,et al.  Finite transition systems , 1994 .

[18]  Orna Grumberg,et al.  Model checking and modular verification , 1994, TOPL.

[19]  Robert K. Brayton,et al.  Minimizing interacting finite state machines: a compositional approach to language containment , 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[20]  Edmund M. Clarke,et al.  Another Look at LTL Model Checking , 1994, CAV.

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

[22]  Thomas A. Henzinger,et al.  Local Liveness for Compositional Modeling of Fair Reactive Systems , 1995, CAV.

[23]  W. M. Wonham,et al.  Existence and design of supervisors for vector discrete event systems , 1995, Proceedings 1995 Canadian Conference on Electrical and Computer Engineering.

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

[25]  K. C. Wong,et al.  Decentralized supervisory control of discrete-event systems with communication , 1996 .

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

[27]  Mark Lawford,et al.  MODEL REDUCTION OF DISCRETE REAL-TIME SYSTEMS , 1997 .

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

[29]  Peter E. Caines,et al.  Trace-DC hierarchical supervisory control with applications to transfer-lines , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[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]  Peyman Gohari-Moghadam.  A linguistic framework for controlled hierarchical DES , 1998 .

[32]  Sanjay B. Joshi,et al.  A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[33]  Chuan Ma.  A computational approach to top-down hierarchical supervisory control of DES , 1999 .

[34]  Ken Q. Pu.  Modeling and control of discrete-event systems with hierarchical abstraction , 2000 .

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

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

[37]  Stephan Merz,et al.  Model Checking , 2000 .

[38]  W. M. Wonham,et al.  Hierarchical interface-based non-blocking verification , 2000, 2000 Canadian Conference on Electrical and Computer Engineering. Conference Proceedings. Navigating to a New Era (Cat. No.00TH8492).

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

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

[41]  José Eduardo Ribeiro Cury,et al.  Exploiting symmetry in the synthesis of supervisors for discrete event systems , 2001, IEEE Trans. Autom. Control..

[42]  Feng Lin,et al.  Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[43]  James J. Horning.  Software fundamentals: collected papers by David L. Parnas , 2001, SOEN.

[44]  Mark Lawford,et al.  Hierarchical interface-based supervisory control: serial case , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

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

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

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

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

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