Conference
Hierarchical interface-based supervisory control: serial case
Abstract
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 a definition for an interface, and define a set of interface consistency properties that can be used to verify if a discrete-event system is nonblocking and controllable. Each clause of the definition can be verified using only one of the two subsystems; thus the complete system …
Authors
Leduc RJ; Brandin BA; Wonham WM; Lawford M
Volume
5
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2001
DOI
10.1109/cdc.2001.980825
Name of conference
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)