Pencole, Yannick2015-12-132015-12-13November 30769520383http://hdl.handle.net/1885/88025Failure diagnosis in large and complex systems is a critical and challenging task. In the realm of model based diagnosis on discrete event systems, computing a failure diagnosis means computing the set of system behaviours that could explain observations. Depending on the diagnosed system, such behaviours can be numerous, so that a problem of representing them is induced. The paper discusses about this problem and presents a way of representing a diagnosis by the use of a partial order reduction technique.Keywords: Algorithms; Automata theory; Computational methods; Failure analysis; Mathematical models; Problem solving; Discere event systems; Partial order reduction; Artificial intelligence20032015-12-12