Abstract:
In this paper, we present a hierarchical method that decomposes a system into two subsystems, and restricts the interaction of the subsystems by means of an interface. We present definitions for two types of interfaces [represented as discrete-event systems (DESs)], and define a set of interface consistency properties that can be used to verify if a DES is nonblocking and controllable. Each clause of the definitions can be verified using only one of the two subsystems; thus, the complete system model never needs to be constructed, offering potentially significant savings in computational effort. Additionally, the development of clean interfaces facilitates reuse of the component subsystems. Finally, we examine a simple example to illustrate the method.
@ARTICLE{1506939,
title={Hierarchical interface-based supervisory Control-part I: serial case},
author={Leduc, R.J. and Brandin, B.A. and Lawford, M. and Wonham, W.M.},
journal={Automatic Control, IEEE Transactions on},
year={2005},
month={Sept.},
volume={50},
number={9},
pages={ 1322-1335},
keywords={ automata theory, discrete event systems, hierarchical systems, modelling automata theory, discrete-event systems, formal method, hierarchical interface-based supervisory control, hierarchical systems, system model},
doi={10.1109/TAC.2005.854586},
ISSN={0018-9286}, }