The Similarity Control Problem with Required Events
Formal Languages and Automata Theory
2026-05-12 v2
Abstract
In order to guarantee that a supervised system satisfies safety requirements of the specification, as well as requirements saying that in certain states certain events must be enabled, this paper introduces required events for discrete event systems and reconsiders the similarity control problem while taking all requirements from the specification into account. The notion of a covariant-contravariant simulation, which is finer than the conventional notion of simulation, is adopted to act as the behavioral relation of supervisory control theory. A necessary and sufficient condition for the solvability of this problem is established and a method for synthesizing a maximally permissive supervisor is provided.
Cite
@article{arxiv.2602.09360,
title = {The Similarity Control Problem with Required Events},
author = {Yu Wang and Zhaohui Zhu and Rob van Glabbeek and Jinjin Zhang and Yixuan Li},
journal= {arXiv preprint arXiv:2602.09360},
year = {2026}
}