Hierarchical Interface-based Supervisory Control: Bi-level Systems

SCG Technical Report No. 0103 by R.J. Leduc, W.M. Wonham, and M. Lawford, Nov 2001



Abstract

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


Download

Shift+click to download: ParReport.ps.zip (1.6Mb compressed postscript. Use unzip, or pkunzip to uncompress) or ParReport.pdf (3.1Mb PDF).