Random generator of k-diagnosable discrete event systems

Yannick Pencolé (1)

1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite

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.

Mots clés: Discrete Event Dynamic Systems; Diagnosability

Mots clés: Systèmes à événements discrets; Diagnosticabilité

Domaines: Intelligence artificielle [cs.AI]; Systèmes embarqués; Systèmes et contrôle [cs.SY]; Automatique

Yannick Pencolé. Random generator of k-diagnosable discrete event systems. 26th International Workshop on Principles of Diagnosis (DX-15), Aug 2015, Paris, France. ⟨hal-01196010⟩