<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of inria-00000525</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-03T14:28:22+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Calcul de trajectoires utilisant les propriétés d'interversibilité</title>
            <author role="aut">
              <persName>
                <forename type="first">Marie-Odile</forename>
                <surname>Cordier</surname>
              </persName>
              <email type="md5">64896eb8a460aaaf0ce18ee8d3ced4f2</email>
              <email type="domain">irisa.fr</email>
              <idno type="idhal" notation="numeric">945867</idno>
              <idno type="halauthorid" notation="string">736361-945867</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-2516"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alban</forename>
                <surname>Grastien</surname>
              </persName>
              <email type="md5">f7cf7b0165df37682404bdfc3a3181f9</email>
              <email type="domain">irisa.fr</email>
              <idno type="idhal" notation="numeric">830172</idno>
              <idno type="halauthorid" notation="string">106591-830172</idno>
              <affiliation ref="#struct-2516"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christine</forename>
                <surname>Largouët</surname>
              </persName>
              <email type="md5">ab4039b1556f486db20e8bc0aeafa384</email>
              <email type="domain">agrocampus-ouest.fr</email>
              <idno type="idhal" notation="string">christine-largouet</idno>
              <idno type="idhal" notation="numeric">1706</idno>
              <idno type="halauthorid" notation="string">13671-1706</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2739-5850</idno>
              <idno type="IDREF">https://www.idref.fr/082571090</idno>
              <orgName ref="#struct-108028"/>
              <affiliation ref="#struct-2516"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yannick</forename>
                <surname>Pencolé</surname>
              </persName>
              <email type="md5">ed3107a94f174b6c5739884b43dd17b7</email>
              <email type="domain">laas.fr</email>
              <ptr type="url" target="https://homepages.laas.fr/ypencole/"/>
              <idno type="idhal" notation="string">yannick-pencole</idno>
              <idno type="idhal" notation="numeric">5003</idno>
              <idno type="halauthorid" notation="string">2523538-5003</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2970-914X</idno>
              <idno type="IDREF">https://www.idref.fr/068254962</idno>
              <orgName ref="#struct-389059"/>
              <affiliation ref="#struct-26911"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alban</forename>
                <surname>Grastien</surname>
              </persName>
              <email type="md5">1761dbfc9c9cbadcc9dd11e87fa74511</email>
              <email type="domain">rsise.anu.edu.au</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2005-10-27 17:59:06</date>
              <date type="whenModified">2026-01-23 09:12:06</date>
              <date type="whenReleased">2005-10-28 11:13:01</date>
              <date type="whenProduced">2003-07-01</date>
              <date type="whenEndEmbargoed">2005-10-27</date>
              <ref type="file" target="https://inria.hal.science/inria-00000525v1/document">
                <date notBefore="2005-10-27"/>
              </ref>
              <ref type="file" n="1" target="https://inria.hal.science/inria-00000525v1/file/trefle.pdf" id="file-41676-1037394">
                <date notBefore="2005-10-27"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="102661">
                <persName>
                  <forename>Alban</forename>
                  <surname>Grastien</surname>
                </persName>
                <email type="md5">1761dbfc9c9cbadcc9dd11e87fa74511</email>
                <email type="domain">rsise.anu.edu.au</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00000525</idno>
            <idno type="halUri">https://inria.hal.science/inria-00000525</idno>
            <idno type="halBibtex">cordier:inria-00000525</idno>
            <idno type="halRefHtml">&lt;i&gt;RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle)&lt;/i&gt;, Jul 2003, Laval / France</idno>
            <idno type="halRef">RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-41676-1037394"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="IRISA-D7">GESTION DES DONNÉES ET DE LA CONNAISSANCE </idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
            <idno type="stamp" n="INSTITUT-AGRO-RENNES-ANGERS-UMR-IRISA">Institut Agro Rennes-Angers - UMR IRISA</idno>
            <idno type="stamp" n="INRIA-AUSTRALIE">Copublications Inria-Australie</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Calcul de trajectoires utilisant les propriétés d'interversibilité</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Marie-Odile</forename>
                    <surname>Cordier</surname>
                  </persName>
                  <email type="md5">64896eb8a460aaaf0ce18ee8d3ced4f2</email>
                  <email type="domain">irisa.fr</email>
                  <idno type="idhal" notation="numeric">945867</idno>
                  <idno type="halauthorid" notation="string">736361-945867</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-2516"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alban</forename>
                    <surname>Grastien</surname>
                  </persName>
                  <email type="md5">f7cf7b0165df37682404bdfc3a3181f9</email>
                  <email type="domain">irisa.fr</email>
                  <idno type="idhal" notation="numeric">830172</idno>
                  <idno type="halauthorid" notation="string">106591-830172</idno>
                  <affiliation ref="#struct-2516"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christine</forename>
                    <surname>Largouët</surname>
                  </persName>
                  <email type="md5">ab4039b1556f486db20e8bc0aeafa384</email>
                  <email type="domain">agrocampus-ouest.fr</email>
                  <idno type="idhal" notation="string">christine-largouet</idno>
                  <idno type="idhal" notation="numeric">1706</idno>
                  <idno type="halauthorid" notation="string">13671-1706</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2739-5850</idno>
                  <idno type="IDREF">https://www.idref.fr/082571090</idno>
                  <orgName ref="#struct-108028"/>
                  <affiliation ref="#struct-2516"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yannick</forename>
                    <surname>Pencolé</surname>
                  </persName>
                  <email type="md5">ed3107a94f174b6c5739884b43dd17b7</email>
                  <email type="domain">laas.fr</email>
                  <ptr type="url" target="https://homepages.laas.fr/ypencole/"/>
                  <idno type="idhal" notation="string">yannick-pencole</idno>
                  <idno type="idhal" notation="numeric">5003</idno>
                  <idno type="halauthorid" notation="string">2523538-5003</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2970-914X</idno>
                  <idno type="IDREF">https://www.idref.fr/068254962</idno>
                  <orgName ref="#struct-389059"/>
                  <affiliation ref="#struct-26911"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle)</title>
                  <date type="start">2003-07-01</date>
                  <settlement>Laval / France</settlement>
                </meeting>
                <imprint>
                  <date type="datePub">2003-07-01</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>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.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2516" status="OLD">
          <idno type="RNSR">200418340X</idno>
          <orgName>Diagnosing, Recommending Actions and Modelling</orgName>
          <orgName type="acronym">DREAM</orgName>
          <date type="start">2004-10-04</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/dream</ref>
          </desc>
          <listRelation>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-419370" type="direct"/>
            <relation active="#struct-105128" type="indirect"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-26911" status="VALID">
          <orgName>Austalian National University</orgName>
          <desc>
            <address>
              <addrLine>Canberra ACT 0200 Australia</addrLine>
              <country key="AU"/>
            </address>
            <ref type="url">http://www.anu.edu.au/index.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-74662" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-419370" status="OLD">
          <orgName>GESTION DES DONNÉES ET DE LA CONNAISSANCE</orgName>
          <orgName type="acronym">IRISA-D7</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d7-gestion-donnees-connaissance</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105128" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-105128" status="OLD">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301262" status="OLD">
          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>
            <address>
              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-74662" status="VALID">
          <idno type="IdRef">026470942</idno>
          <idno type="ROR">https://ror.org/019wvm592</idno>
          <orgName>Australian National University</orgName>
          <orgName type="acronym">ANU</orgName>
          <desc>
            <address>
              <addrLine>The Australian National University Canberra ACT 0200 Australia</addrLine>
              <country key="AU"/>
            </address>
            <ref type="url">http://www.anu.edu.au/index.php</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>