Skip to Main content Skip to Navigation
Conference papers

Diagnostic de motifs de comportements dans les systèmes temporels

Yannick Pencolé 1 Audine Subias 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Résumé : Dans cet article nous proposons une formulation du problème de diagnostic de motifs d'un système temporel. Il s'agit de rechercher à partir d'une séquence d'observations du système, toutes les évolutions de celui-ci qui non seulement produisent la séquence observée mais aussi qui sont concordantes avec les motifs d'intérêt considérés. La caractérisation formelle du problème de diagnostic s'appuie sur la notion de pattern matching (concordance de motifs). Posé sous forme d'un problème d'atteignabilité, le problème de diagnostic est résolu par model checking.
Document type :
Conference papers
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download

https://hal.laas.fr/hal-01827427
Contributor : Audine Subias <>
Submitted on : Monday, July 2, 2018 - 12:00:57 PM
Last modification on : Thursday, June 10, 2021 - 3:06:26 AM
Long-term archiving on: : Monday, October 1, 2018 - 8:17:51 AM

File

MSR_2017_HAL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01827427, version 1

Citation

Yannick Pencolé, Audine Subias. Diagnostic de motifs de comportements dans les systèmes temporels. Modélisation des Systèmes Réactifs (MSR 2017), Nov 2017, Marseille, France. 14p. ⟨hal-01827427⟩

Share

Metrics

Record views

93

Files downloads

75