Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications

Abstract

This letter handles a similarity control problem for nondeterministic discrete event systems. In this problem, the system and the modular specification are modeled as nondeterministic automata, where the modular specification is the synchronous composition of a certain set of elementary specifications. The similarity control problem requires us to synthesize a supervisor such that the supervised system is simulated by the modular specification. We solve this problem by applying a modular control architecture where, for each elementary specification, an elementary supervisor that enforces similarity is synthesized. We show that such elementary supervisors together achieve maximal permissiveness with respect to the modular specification if each of them is maximally permissive with respect to the corresponding elementary specification.