HAL - INRIA :: [inria-00000525, version 1] Calcul de trajectoires utilisant les propriétés d'interversibilité

inria-00000525, version 1

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec acte</head>
<biblStruct type="inproceedings" xml:id="inria-00000525"><analytic>
<author><persName><forename>Marie-Odile</forename><surname>Cordier</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">DREAM</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées de Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Alban</forename><surname>Grastien</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">DREAM</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées de Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Christine</forename><surname>Largouët</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">DREAM</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées de Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Yannick</forename><surname>Pencolé</surname></persName>
<affiliation>
<orgName type="team">Austalian National University</orgName>
<country>AU</country>
<orgName type="institution">Australian National University</orgName>
</affiliation>
</author>
<title type="main" level="a">Calcul de trajectoires utilisant les propriétés d'interversibilité</title></analytic><monogr><meeting>RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle)</meeting><imprint><pubPlace><settlement>Laval </settlement><country> France</country></pubPlace><biblScope type="publicationDate">2003-07-01</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00000525/en/</idno><idno type="HALFile">http://hal.inria.fr/inria-00000525/PDF/trefle.pdf</idno></biblStruct>
</listBibl>
</listBibl>

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

Marie-Odile Cordier (

)^a^, 1, Alban Grastien (

) ¹, Christine Largouët ¹, Yannick Pencolé ²

(2003)

Accès au texte intégral
PS
PDF

RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle) (2003)

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.

a –	Université Rennes I
1 :	DREAM (INRIA - IRISA)
	CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées de Rennes – Université de Rennes 1
2 :	Austalian National University
	Australian National University

Domaine

Informatique/Intelligence artificielle


inria-00000525, version 1
http://hal.inria.fr/inria-00000525/fr/
oai:hal.inria.fr:inria-00000525_v1
Contributeur : Alban Grastien <>
Soumis le : Jeudi 27 Octobre 2005, 17:59:06
Dernière modification le : Mercredi 10 Janvier 2007, 12:12:08