HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Marie-Odile Cordier 1 Alban Grastien 1 Christine Largouët 1 Yannick Pencolé 2
1 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Résumé : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00000525
Contributor : Alban Grastien Connect in order to contact the contributor
Submitted on : Thursday, October 27, 2005 - 5:59:06 PM
Last modification on : Thursday, January 20, 2022 - 4:20:35 PM
Long-term archiving on: : Friday, April 2, 2010 - 6:02:23 PM

Identifiers

  • HAL Id : inria-00000525, version 1

Citation

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⟩

Share

Metrics

Record views

130

Files downloads

65