ON THE CONSISTENCY OF HIERARCHICAL SUPERVISION IN DISCRETE-EVENT SYSTEMS

被引:136
作者
ZHONG, H
WONHAM, WM
机构
[1] Systems Control Group, Department of Electrical Engineering, University of Toronto, Toronto, Ont.
关键词
D O I
10.1109/9.58555
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Hierarchical structure in the supervisory control of discrete-event systems is formalized in the automaton framework of Ramadge and Wonham. The setup embodies a low-level real-world model controlled by an operator and a high-level abstract model “virtually” controlled by a manager. The two levels are connected by command and information channels. Concepts of hierarchical consistency are proposed, relating high-level behavior required by the manager to low-level behavior achievable by the operator. It is shown that consistency can be realized by appropriately refining the information sent up by the operator to the manager. © 1990 IEEE
引用
收藏
页码:1125 / 1134
页数:10
相关论文
共 19 条
[1]  
Albus J. S., 1981, Twenty-Third IEEE Computer Society International Conference COMPCON Fall 81. Productivity an Urgent Priority, P18
[2]  
ALJAAR R, 1988, PERFORMANCE EVALUATI
[3]  
Drenick R.F., 1986, MATH ORG THEORY
[4]  
Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA
[5]  
FINDEISON W, 1978, HIERARCHICAL CONTROL
[7]  
JOHNSON TL, 1985, P IEEE WORKSHOP INTE, P196
[8]  
LASDON L, 1970, OPTIMIZATION THEORY
[9]   DECENTRALIZED SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS [J].
LIN, F ;
WONHAM, WM .
INFORMATION SCIENCES, 1988, 44 (03) :199-224
[10]  
Mesarovic M., 1970, THEORY HIERARCHICAL