Lina Ye. Optimized diagnosability of distributed discrete event systems through abstraction. (Diagnosticabilité Optimisée des Systèmes Distribués à Evénements Discrets par Abstraction). PhD thesis, University of Paris-Sud, Orsay, France, 2011. [doi]
Abstract is missing.