Verifiers for the detection of timed patterns in discrete event systems
Résumé
This paper is about the detection of timed patterns for discrete event systems (DESs) that are modeled by a particular class of timed automata. A timed pattern is a set of behaviours characterized by a sequence of events, occurring in a given order and in a given time domain. The problem in which we are interested is to detect the occurrence of such timed patterns thanks to the analysis of the timed observations that is captured from the productions of the system. For this purpose we define a timed composition and propose two verifiers, a timed one and a logical one, that transform the detection problem of timed patterns into a state isolation problem. Safety and security applications are finally discussed.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification