Accueil
Déposer
S'authentifier
S'inscrire
Consulter
Par domaine
Derniers rentrés
Par date de publication/rédaction
Par type de publication
Par collection
ArXiv
Derniers rentrés dans HAL
Rechercher
Recherche simple
Recherche avancée
Recherche par identifiant
Aide
Aide
Bib2Hal
À propos
Services
S'abonner
Exporter une liste de publication
Export raweb
Consulter les laboratoires connus de HAL
HalTools : Bib2Hal
HalTools : créer sa page web
HalTools : gérer ses identitées
version française
english version
inria-00000523, version 1
Voir la fiche détaillée
BibTeX
EndNote
TEI
RefWorks
%% inria-00000523, version 1 %% http://hal.inria.fr/inria-00000523/en/ @inproceedings{CORDIER:2003:INRIA-00000523:1, title = { {E}fficient trajectories computing using inversibilities properties}, author = {{C}ordier, {M}arie-{O}dile and {G}rastien, {A}lban and {L}argou{\"e}t, {C}hristine and {P}encol{\'e}, {Y}annick}, abstract = {{A} time-consuming problem encountered both in system diagnosis and planning is that of computing trajectories over a behavioral model. {I}n 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. {I}n this paper, we propose to represent the system as automata and we define a property called inversibility. {T}his property is used to improve the efficiency of the search algorithm computing trajectories. {W}e present two study cases in diagnosis and planning domains where this approach gives satisfactory results.}, language = {{A}nglais}, affiliation = {{DREAM} - {INRIA} - {IRISA} - {CNRS} : {UMR}6074 - {INRIA} - {I}nstitut {N}ational des {S}ciences {A}ppliqu{\'e}es de {R}ennes - {U}niversit{\'e} de {R}ennes 1 - {A}ustalian {N}ational {U}niversity - {A}ustralian {N}ational {U}niversity }, booktitle = {14th international workshop on principles of diagnosis }, address = {{W}ashington / {USA} }, audience = {non sp{\'e}cifi{\'e}e }, day = {27}, month = {06}, year = {2003}, URL = {http://hal.inria.fr/inria-00000523/en/}, URL = {http://hal.inria.fr/inria-00000523/PDF/xclub.pdf}, }
%F inria-00000523, version 1 %0 Conference Proceedings %U http://hal.inria.fr/inria-00000523/en/ %2 INFO:INFO_AI %T Efficient trajectories computing using inversibilities properties %A Cordier, Marie-Odile %A Grastien, Alban %A Largouët, Christine %A Pencolé, Yannick %A Cordier, M.-O. %A Grastien, A. %A Largouët, C. %A Pencolé, Y. %A Cordier M.-O. et al %+ DREAM - INRIA - IRISA - CNRS : UMR6074 - INRIA - Institut National des Sciences Appliquées de Rennes - Université de Rennes 1 - Austalian National University - Australian National University %X 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. %G Anglais %8 2003-06-27 %2 non spécifiée %B 14th international workshop on principles of diagnosis %2 Washington / USA %8 2003-06-27
<?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-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="HALid">http://hal.inria.fr/inria-00000523/en/</idno><idno type="HALFile">http://hal.inria.fr/inria-00000523/PDF/xclub.pdf</idno></biblStruct> </listBibl> </listBibl>
Erreur :
Erreur au niveau de la base de données
Contactez-nous...
BibTeX EndNote TEI RefWorks