Supervisory control synthesis for multilevel DES with local buses
For control engineers designing large-scale discrete-event systems, this work provides a more efficient synthesis method by addressing local bus dependencies that previously caused suboptimal clustering.
This paper extends multilevel supervisory control synthesis to handle local bus structures, improving decomposition and synthesis performance. In a production line case study, the proposed method significantly reduced the sum of controlled state-space sizes of local supervisors compared to prior approaches.
In multilevel supervisor synthesis, dependency structure matrix techniques can be used to transform the models of plants and requirements into a tree-structured hierarchical decomposition of the synthesis problem and thus efficiently synthesize local supervisors. A bus component, which has many dependencies across a system, tends to lead to an undesirable clustering of many components in one synthesis subproblem. Prior work showed how to recognize and properly treat a global bus structure. In this paper we leverage this work from global to local bus structures through a novel multilevel discrete-event system (MLDES) architecture. Specifically, the hierarchical system decomposition is revisited by allowing bus detection not only on the top level but at each level of the system hierarchy. Given this architecture, an algorithm is introduced that constructs a tree-structured MLDES. A case study on a production line shows the effectiveness of the proposed method through significantly improved synthesis performance, measured by the sum of the controlled state-space sizes of the local supervisors.