Verifiers for the detection of timed patterns in discrete event systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IFAC-PapersOnLine Année : 2022

Verifiers for the detection of timed patterns in discrete event systems

Zhiwu Li
Ye Liang

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.
Fichier principal
Vignette du fichier
1-s2.0-S2405896322023898-main.pdf (856.1 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification

Dates et versions

hal-04468950 , version 1 (04-03-2024)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Dimitri Lefebvre, Zhiwu Li, Ye Liang. Verifiers for the detection of timed patterns in discrete event systems. IFAC-PapersOnLine, 2022, 55 (28), pp.264-269. ⟨10.1016/j.ifacol.2022.10.352⟩. ⟨hal-04468950⟩
14 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More