Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Thursday, October 18, 2012 - 2:11:43 PM
Last modification on : Friday, February 4, 2022 - 3:18:29 AM
Long-term archiving on: : Saturday, December 17, 2016 - 2:11:13 AM


Publisher files allowed on an open archive


  • HAL Id : hal-00743196, version 1


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. ⟨hal-00743196⟩



Record views


Files downloads