Analysis of partially observed recursive tile systems

Sébastien Chédor 1 Christophe Morvan 1 Sophie Pinchinat 2 Hervé Marchand 1
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The analysis of discrete event systems under partial observation is an important topic, with major applications such as the detection of information flow and the diagnosis of faulty behaviors. We consider recursive tile systems, which are infinite systems generated by a finite collection of finite tiles, a simplified variant of deterministic graph grammars. Recursive tile systems are expressive enough to capture classical models of recursive systems, such as the pushdown systems and the recursive state machines. They are infinite-state in general and therefore standard powerset constructions for monitoring do not always apply. We exhibit computable conditions on recursive tile systems and present non-trivial constructions that yield effective computation of the monitors. We apply these results to the classic problems of opacity and diagnosability.
Type de document :
Communication dans un congrès
11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271, 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00743196
Contributeur : Hervé Marchand <>
Soumis le : jeudi 18 octobre 2012 - 14:11:43
Dernière modification le : mercredi 16 mai 2018 - 11:23:04
Document(s) archivé(s) le : samedi 17 décembre 2016 - 02:11:13

Fichier

wodes2012.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00743196, version 1

Citation

Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand. Analysis of partially observed recursive tile systems. 11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271, 2012. 〈hal-00743196〉

Partager

Métriques

Consultations de la notice

302

Téléchargements de fichiers

82