Author:Yannick Pencolé

Keyphrases

conflict-driven diagnosis, consistency-based diagnosis, data-driven diagnosis, diagnosis², Discrete Event Systems², fault signatures, model-based diagnosis, model checking, Nominal models, online diagnosis, patterns, Petri nets.