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…