Journal article
Hierarchical Interface-Based Supervisory Control—Part I: Serial Case
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 …
Authors
Leduc RJ; Brandin BA; Lawford M; Wonham WM
Journal
IEEE Transactions on Automatic Control, Vol. 50, No. 9, pp. 1322–1335
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
September 1, 2005
DOI
10.1109/tac.2005.854586
ISSN
0018-9286