Hierarchical interface-based supervisory control: Bi-level systems

In this report we present a hierarchical method that decomposes a system into a high level subsystem which communicates with n ≥ 1 parallel low level subsystems through separate interfaces, which restrict the interaction of the subsystems. We first define the setting for the serial case (n = 1), and then generalise it for n ≥ 1. We present a definition for an interface, and define a set of interface consistency properties that can be used to verify if a discrete-event system (DES) is nonblocking and controllable. Each clause of the definition can be verified using a single subsystem; thus the complete system model never needs to be constructed, offering significant savings in computational effort. Additionally, the development of clean interfaces facilitates re-use of the component subsystems.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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