A Compositional Approach for Verifying Hierarchical Interface-Based Supervisory Control

Abstract

Hierarchical Interface-based Supervisory Control (HISC) decomposes a discrete-event system into a high-level subsystem which communicates through interfaces with several low-level subsystems. The framework provides a set of local conditions that can be checked for each subsystem individually to conclude global conditions such as nonblocking and controllability. The size of HISC systems that can be verified automatically is primarily limited by …