Supervisory control synthesis for multilevel DES with local buses

TL;DR

This paper introduces a multilevel supervisory control synthesis method for discrete-event systems that detects local buses at multiple hierarchy levels, improving synthesis efficiency in complex systems.

Contribution

It extends previous global bus detection techniques to a multilevel architecture, enabling hierarchical decomposition and more efficient supervisor synthesis.

Findings

Significantly improved synthesis performance in a production line case study.

Effective hierarchical decomposition using multilevel bus detection.

Reduction in local supervisor state-space sizes.

Abstract

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.