Predictability of Sequence Patterns in Discrete Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

Predictability of Sequence Patterns in Discrete Event Systems

Résumé

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 result are illustrated using an example from computer systems.
Fichier principal
Vignette du fichier
PI-1834.pdf (262.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00136129 , version 1 (12-03-2007)

Identifiants

  • HAL Id : inria-00136129 , version 1

Citer

Thierry Jéron, Hervé Marchand, Sahika Genc, Stéphane Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. [Research Report] PI 1834, 2007, pp.17. ⟨inria-00136129⟩
157 Consultations
249 Téléchargements

Partager

Gmail Facebook X LinkedIn More