Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

ifac2008

T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. In IFAC World Congress, Pages 537-453, Seoul, Korea, July 2008.

Download [help]

Download paper: Adobe portable document (pdf) 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 problem of predicting the occurrences of a pattern in a partially-observed discrete-event system is studied. The system is modeled by a labeled transition system. The pattern is a set of event sequences modeled by a finite-state automaton. The occurrences of the pattern are predictable if it is possible to infer about any occurrence of the pattern before the pattern is completely executed by the system. An off-line algorithm to verify the property of predictability is presented. The verification is polynomial in the number of states of the system. An on-line algorithm to track the execution of the pattern during the operation of the system is also presented. This algorithm is based on the use of a diagnoser automaton. The results are illustrated using an example from computer systems

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@InProceedings{ifac2008,
   Author = {Jéron, T. and Marchand, H. and Genc, S. and Lafortune, S.},
   Title = {Predictability of Sequence Patterns in Discrete Event Systems},
   BookTitle = {IFAC World Congress},
   Pages = {537--453},
   Address = {Seoul, Korea},
   Month = {July},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)