Calcul de trajectoires utilisant les propriétés d'interversibilité - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

Calcul de trajectoires utilisant les propriétés d'interversibilité

Abstract

Le temps de calcul des trajectoires sur un modèle de comportement du système est un problème critique rencontré aussi bien en diagnostic qu'en planification. Dans le but d'améliorer l'efficacité de cette tâche, un intérêt croissant est porté aux techniques de model-checking développées dans le domaine de la vérification automatique. Dans cet article, nous proposons de représenter le système par un automate, et nous définissons une nouvelle propriété appelée interversibilité. Cette propriété est utilisée pour améliorer l'efficacité de l'algorithme de recherche calculant les trajectoires. Nous présentons deux exemples dans les domaines du diagnostic et de la planification où cette approche donne des résultats satisfaisants.
Fichier principal
Vignette du fichier
trefle.pdf (261.53 Ko) Télécharger le fichier

Dates and versions

inria-00000525 , version 1 (27-10-2005)

Identifiers

  • HAL Id : inria-00000525 , version 1

Cite

Marie-Odile Cordier, Alban Grastien, Christine Largouët, Yannick Pencolé. Calcul de trajectoires utilisant les propriétés d'interversibilité. RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France. ⟨inria-00000525⟩
134 View
66 Download

Share

Gmail Facebook Twitter LinkedIn More