HAL - INRIA :: [inria-00000523, version 1] Efficient trajectories computing using inversibilities properties

inria-00000523, 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="article"><head>Communications avec acte</head>
<biblStruct type="article" xml:id="inria-00000523"><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">Efficient trajectories computing using inversibilities properties</title></analytic><monogr><meeting>14th international workshop on principles of diagnosis</meeting><imprint><pubPlace><settlement>Washington </settlement><country> USA</country></pubPlace><biblScope type="publicationDate">2003-06-27</biblScope></imprint></monogr><idno type="url">http://hal.inria.fr/inria-00000523/en/</idno></biblStruct>
</listBibl>
</listBibl>

Efficient trajectories computing using inversibilities properties

Marie-Odile Cordier (

)^a^, 1, Alban Grastien (

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

(2003)

Accès au texte intégral
PDF

14th international workshop on principles of diagnosis (2003)

Résumé : A time-consuming problem encountered both in system diagnosis and planning is that of computing trajectories over a behavioral model. In order to improve the efficiency of this task, there is currently a great interest in using model-checking techniques developed within the area of computer aided verification. In this paper, we propose to represent the system as automata and we define a property called inversibility. This property is used to improve the efficiency of the search algorithm computing trajectories. We present two study cases in diagnosis and planning domains where this approach gives satisfactory results.

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-00000523, version 1
http://hal.inria.fr/inria-00000523/fr/
oai:hal.inria.fr:inria-00000523_v1
Contributeur : Alban Grastien <>
Soumis le : Jeudi 27 Octobre 2005, 16:44:49
Dernière modification le : Mercredi 10 Janvier 2007, 11:51:28