Schmidt, Klaus Werner
(IEEE-Inst Electrical Electronics Engineers Inc, 2013-09)
In this paper, we study the diagnosability verification for modular discrete-event systems (DESs), i.e., DESs that are composed of multiple components. We focus on a particular modular architecture, where each fault in the ...