Bottom-up approach to multilevel supervisory control with coordination

Abstract

A multilevel coordination approach is proposed to lower the complexity of control synthesis of large-scale discrete-event systems. The bottom-up control synthesis method requires only conditional decomposability and conditional controllability of the system and of the specification unlike the top-down approach that requires the specification to be conditionally decomposable and conditionally controllable with respect to the multilevel architecture. The computation of coordinators and supervisors on different levels is presented. An academic example of two level control architecture is provided.