On the consistency of hierarchical supervision in discrete-event systems
- 1 October 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 35 (10) , 1125-1134
- https://doi.org/10.1109/9.58555
Abstract
Hierarchical structure in the supervisory control of discrete-event systems is formalized in the automaton framework of P.J. Ramadge and W.M. Wonham (SIAM J. Cont. Optimiz., vol.25, no.1, p.206-30, 1987). 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.<>Keywords
This publication has 8 references indexed in Scilit:
- A framework for real-time discrete event controlIEEE Transactions on Automatic Control, 1990
- Hierarchical flow control: a framework for scheduling and planning discrete events in manufacturing systemsProceedings of the IEEE, 1989
- The control of discrete event systemsProceedings of the IEEE, 1989
- Decentralized supervisory control of discrete-event systemsInformation Sciences, 1988
- Modular supervisory control of discrete-event systemsMathematics of Control, Signals, and Systems, 1988
- A Control Theory for Discrete-Event SystemsPublished by Springer Nature ,1988
- Hierarchical control of intelligent machines applied to space station telerobotsIEEE Transactions on Aerospace and Electronic Systems, 1988
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987