Modular Control of Discrete-Event Systems using Similarity

Abstract

We investigate modular supervisory control of discrete-event systems composed of several groups of components, where each group consists of similar modules. Because of the similar structures of the modules, such systems can be represented as a set of (group) templates. Supervisory control can then be performed on these templates, resulting in a set of template supervisors. We propose a modular approach to construct the template supervisors based on the local computation of supremal symmetric sublanguages and on the concept of conditional decomposability. The supremal symmetric sublanguage of a decomposable language turns out to be decomposable, and can thus be computed locally. It is proven that the local supervisors of the components of a group are similar and can thus be obtained by a symmetry map from the template supervisor of the group.

Projects

Verification and Control of Networked Discrete Event Systems

Tomáš Masopust, Jan Komenda
Jiří Balun, Stéphane Lafortune, Spyros Reveliotis, Feng Lin

Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems

Jan Komenda, Jörg Raisch
Tomáš Masopust, Thomas Moor

Authors

Yingying Liu
Tomáš Masopust
Jan Komenda
Zhiwu Li

Automatica 142, 110431, 2022
Discrete-Event Systems and Theoretical Computer Science Research Group
DOI

Downloads

BibTex