Modular requirements for Hierarchical Interface-Based Supervisory Control with multiple levels

Hierarchical interface-based supervisory control employs interfaces that allow properties of a monolithic system to be verified through local analysis. By avoiding the need to verify properties globally, significant computational savings can be achieved. In this paper we provide local requirements for a multiple-level architecture. This multiple-level architecture allows for a greater reduction in complexity and improved reconfigurability over the two-level case that has been previously studied since it allows the global system to be partitioned into smaller modules. This paper also provides a relaxation of existing interface requirements resulting in less restrictive control and easier achievement of the multiple-level architecture.