2 papers
cs.FL2026
Supervisory Control under Partial Observation: Where Observation Consistency Becomes Decidable
Shaowen Miao, Jan Komenda, Tomáš Masopust +1
Observation consistency (OC) and modified observation consistency (MOC) are structural conditions used in hierarchical and modular supervisory control under partial observation. Th…
cs.CR2019
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Sahar Mohajerani, Yiding Ji, Stephane Lafortune
This paper develops a novel compositional and abstraction-based approach to synthesize edit functions for opacity enforcement in modular discrete event systems. Edit functions alte…