Name	Diagnosability and self-healability of discrete-event systems
Theme	Diagnosis of large scale discrete event systems
Begin	2005
State	Ongoing
Description	After having addressed the problem of diagnosability of complex supervision patterns by [65], and proposed a common theoretical paradigm for diagnosability of both discrete and continuous systems, based on the common concept of signature [46], we have started in late 2006 a new line of collaborative work with the Disco/Laas research group, within our common participation in the WS-DIAMOND project. Based on the signature-based definition of diagnosability alone, and introducing the concept of repairability (i.e. the existence of at least one applicable repair procedure for each fault that may occur in the system), our goal was now to consider jointly diagnosis and repair capabilities in complex, discrete-event or continuous, systems. That led us to define formally the \"self-healability\" property of such systems [11]: a system is said to be self-healable if and only if there exists a set of \'macro-faults\' (i.e. identified situations in which several candidate faults may still not be discriminated) which can be matched to at least one repair procedure. Our current goal is to extend this first work which focuses on a centralized system, to deal with distributed systems, and with temporally related events (expressed as chronicles).