Diagnostic de motifs de comportements dans les systèmes temporels - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Diagnostic de motifs de comportements dans les systèmes temporels

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.
Fichier principal
Vignette du fichier
MSR_2017_HAL.pdf (607.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01827427 , version 1 (02-07-2018)

Identifiants

  • HAL Id : hal-01827427 , version 1

Citer

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⟩
39 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More