Model-based diagnosis of discrete-event systems (DESs) is an active research topic. In most previous works, all candidate diagnoses are generated, which is bound to huge complexity, especially when a large number of non-minimal candidates are involved. However, according to the Occam's Razor, only minimal diagnoses are most valuable. In order to cut down the complexity and to get more likely candidates, a sort of minimal diagnosis for DESs is proposed. Then, a corresponding minimal diagnoser is defined for online generation of minimal diagnoses. Furthermore, two sorts of minimal diagnosability of DESs are presented, to either strongly or weakly determine whether a minimal diagnosis has definitely occurred or not. Finally, relevant necessary and sufficient conditions for testing minimal diagnosability of DESs are analyzed.
Minimal diagnosis of discrete-event systems
LAMPERTI, Gian Franco;
2013-01-01
Abstract
Model-based diagnosis of discrete-event systems (DESs) is an active research topic. In most previous works, all candidate diagnoses are generated, which is bound to huge complexity, especially when a large number of non-minimal candidates are involved. However, according to the Occam's Razor, only minimal diagnoses are most valuable. In order to cut down the complexity and to get more likely candidates, a sort of minimal diagnosis for DESs is proposed. Then, a corresponding minimal diagnoser is defined for online generation of minimal diagnoses. Furthermore, two sorts of minimal diagnosability of DESs are presented, to either strongly or weakly determine whether a minimal diagnosis has definitely occurred or not. Finally, relevant necessary and sufficient conditions for testing minimal diagnosability of DESs are analyzed.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
