wodes12

S. Chédor, C. Morvan, S. Pinchinat, H. Marchand. Analysis of partially observed recursive tile systems. In 11th Int. Workshop on Discrete Event Systems, Pages 265-271, Guadalajara, Mexico, October 2012.

Download [help]

Download paper: Adobe portable document (pdf)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

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

Contact

Christophe Morvan http://www-igm.univ-mlv.fr/~cmorvan/
Hervé Marchand http://www.irisa.fr/prive/hmarchan

BibTex Reference

@InProceedings{wodes12,
   Author = {Chédor, S. and Morvan, C. and Pinchinat, S. and Marchand, H.},
   Title = {Analysis of partially observed recursive tile systems},
   BookTitle = {11th Int. Workshop on Discrete Event Systems},
   Pages = {265--271},
   Address = {Guadalajara, Mexico},
   Month = {October},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)