Conference
Hierarchical Interface-Based Supervisory Control with Data Events
Abstract
Hierarchical Interface-based Supervisory Control (HISC) decomposes a discrete-event system (DES) into a high-level subsystem which communicates with $n\geq 1$ low-level subsystems, through separate interfaces which restrict the interaction of the subsystems. It provides a set of local conditions that can be used to verify global conditions such as nonblocking and controllability. As each clause of the definition can be verified using a single …
Authors
Leduc RJ
Pagination
pp. 5910-5917
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
December 1, 2007
DOI
10.1109/cdc.2007.4434206
Name of conference
2007 46th IEEE Conference on Decision and Control