On the cost of diagnosis with disambiguation

Loïc Hélouët 1 Hervé Marchand 1
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Diagnosis consists in deciding from a partial observation of a system whether a fault has occurred. A system is diagnosable if there exists a mechanism (a diagnoser) that accurately detects faults a finite number of steps after their occurrence. In a regular setting, a diagnoser builds an estimation of possible states of the system after an observation to decide if a fault has occurred. This paper addresses diagnosability (deciding whether a system is diagnosable) and its cost for safe Petri nets. We define an energy-like cost model for Petri nets: transitions can consume or restore energy of the system. We then give a partial order representation for state estimation, and extend the cost model and the capacities of diagnosers. Diagnosers are allowed to use additional energy to refine their estimations. Diagnosability is then seen as an energy game: checking whether disambiguation mechanisms are sufficient to allow diagnosability is in 2-EXPTIME, and one can also decide whether diagnosability under budget constraint holds in 2-EXPTIME.
Type de document :
Communication dans un congrès
QEST 2017, Sep 2017, Berlin, France. Lecture Notes in Computer Science, 2017, 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017) 〈http://www.qest.org/qest2017/〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01537796
Contributeur : Loic Helouet <>
Soumis le : mardi 13 juin 2017 - 15:07:44
Dernière modification le : mercredi 16 mai 2018 - 11:24:13
Document(s) archivé(s) le : mardi 12 décembre 2017 - 11:44:50

Fichier

CostDiag.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01537796, version 1

Citation

Loïc Hélouët, Hervé Marchand. On the cost of diagnosis with disambiguation. QEST 2017, Sep 2017, Berlin, France. Lecture Notes in Computer Science, 2017, 14th International Conference on Quantitative Evaluation of SysTems (QEST 2017) 〈http://www.qest.org/qest2017/〉. 〈hal-01537796〉

Partager

Métriques

Consultations de la notice

322

Téléchargements de fichiers

65