Introduces required events for discrete event systems and establishes a necessary and sufficient condition for the similarity control problem using covariant-contravariant simulation along with a method to synthesize maximally permissive supervisors.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The Similarity Control Problem with Required Events
Introduces required events for discrete event systems and establishes a necessary and sufficient condition for the similarity control problem using covariant-contravariant simulation along with a method to synthesize maximally permissive supervisors.