Back to Search Start Over

Random generator of k-diagnosable discrete event systems

Authors :
Pencolé, Yannick
Équipe DIagnostic, Supervision et COnduite (LAAS-DISCO)
Laboratoire d'analyse et d'architecture des systèmes (LAAS)
Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1)
Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3)
Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse)
Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP)
Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1)
Université Fédérale Toulouse Midi-Pyrénées
Université Toulouse Capitole (UT Capitole)
Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse)
Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)
Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3)
Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP)
Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole)
Université de Toulouse (UT)
Source :
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-15), 26th International Workshop on Principles of Diagnosis (DX-15), 26th International Workshop on Principles of Diagnosis (DX-15), Aug 2015, Paris, France
Publication Year :
2015
Publisher :
HAL CCSD, 2015.

Abstract

International audience; 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.

Details

Language :
English
Database :
OpenAIRE
Journal :
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-15), 26th International Workshop on Principles of Diagnosis (DX-15), 26th International Workshop on Principles of Diagnosis (DX-15), Aug 2015, Paris, France
Accession number :
edsair.dedup.wf.001..eb309f5a73a71d2c65e6ec5b72c697f1