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…
eess.SY2025
Active prognosis and diagnosis of modular discrete-event systems
Shaopeng Hu, Shaowen Miao, Jan Komenda +1
This paper addresses the verification and enforcement of prognosability and diagnosability for discreteevent systems (DESs) modeled by deterministic finite automata. We establish t…