Random generator of k-diagnosable discrete event systems
Résumé
This paper presents a random generator of discrete event systems that are by construction k-diagnosable. The aim of this generator is to provide an almost infinite set of diagnosable systems for creating benchmarks. The goal of such benchmarks is to provide a solid set of examples to test and compare algorithms that solve many problems around diagnosable discrete event systems.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...