Title :
Hierarchical interface-based supervisory control: serial case
Author :
Leduc, R.J. ; Brandin, B.A. ; Wonham, W.M. ; Lawford, M.
Author_Institution :
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
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 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
Keywords :
control system synthesis; controllability; discrete event systems; hierarchical systems; control system synthesis; controllability; controllable system; discrete-event system; hierarchical interface-based supervisory control; hierarchical method; interface consistency properties; nonblocking system; Computer aided software engineering; Computer interfaces; Control systems; Discrete event systems; Distributed control; Explosions; Interconnected systems; Large-scale systems; State-space methods; Supervisory control;
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
DOI :
10.1109/.2001.980825
