Supervisory control synthesis for multilevel DES with local buses
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.
Cite
@article{arxiv.2512.01101,
title = {Supervisory control synthesis for multilevel DES with local buses},
author = {Marzhan M. Baubekova and Martijn A. Goorden and Michel A. Reniers and Joanna M. v. d. Mortel-Fronczak and Jacobus E. Rooda and Wan J. Fokkink},
journal= {arXiv preprint arXiv:2512.01101},
year = {2026}
}