<?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 hal-00643664</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-19T08:30:51+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Diagnosability study of technological systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Michel</forename>
                <surname>Batteux</surname>
              </persName>
              <email type="md5">64f67ffd087873f883b635538547c292</email>
              <email type="domain">laposte.net</email>
              <idno type="idhal" notation="string">michel-batteux</idno>
              <idno type="idhal" notation="numeric">183108</idno>
              <idno type="halauthorid" notation="string">28036-183108</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5269-994X</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-2544"/>
              <affiliation ref="#struct-118082"/>
              <affiliation ref="#struct-134325"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Philippe</forename>
                <surname>Dague</surname>
              </persName>
              <email type="md5">c845bca939ff7554c3261f5142bb1641</email>
              <email type="domain">universite-paris-saclay.fr</email>
              <idno type="idhal" notation="string">philippe-dague</idno>
              <idno type="idhal" notation="numeric">16892</idno>
              <idno type="halauthorid" notation="string">28991-16892</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1679-0804</idno>
              <idno type="IDREF">https://www.idref.fr/059533323</idno>
              <affiliation ref="#struct-2544"/>
              <affiliation ref="#struct-118082"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Rapin</surname>
              </persName>
              <email type="md5">5924c077a86cf492ee0106fe02258f98</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">966716</idno>
              <idno type="halauthorid" notation="string">915151-966716</idno>
              <orgName ref="#struct-300016"/>
              <affiliation ref="#struct-56955"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Philippe</forename>
                <surname>Fiani</surname>
              </persName>
              <email type="md5">0d75315cba570defa8a7aa3c94731bff</email>
              <email type="domain">sherpa-eng.com</email>
              <idno type="idhal" notation="numeric">982306</idno>
              <idno type="halauthorid" notation="string">1029038-982306</idno>
              <affiliation ref="#struct-134325"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Philippe</forename>
                <surname>Dague</surname>
              </persName>
              <email type="md5">c845bca939ff7554c3261f5142bb1641</email>
              <email type="domain">universite-paris-saclay.fr</email>
            </editor>
            <funder>Thèse CIFRE</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2011-11-22 15:18:29</date>
              <date type="whenModified">2025-02-26 15:22:03</date>
              <date type="whenReleased">2011-11-22 15:27:03</date>
              <date type="whenProduced">2011-06</date>
              <date type="whenEndEmbargoed">2011-11-22</date>
              <ref type="file" target="https://inria.hal.science/hal-00643664v1/document">
                <date notBefore="2011-11-22"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00643664v1/file/Batteux-IEA-AIE-2011.pdf" id="file-643664-1066270">
                <date notBefore="2011-11-22"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="145262">
                <persName>
                  <forename>Philippe</forename>
                  <surname>Dague</surname>
                </persName>
                <email type="md5">c845bca939ff7554c3261f5142bb1641</email>
                <email type="domain">universite-paris-saclay.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00643664</idno>
            <idno type="halUri">https://inria.hal.science/hal-00643664</idno>
            <idno type="halBibtex">batteux:hal-00643664</idno>
            <idno type="halRefHtml">&lt;i&gt;24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011&lt;/i&gt;, Jun 2011, Syracuse, United States</idno>
            <idno type="halRef">24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Jun 2011, Syracuse, United States</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-643664-1066270"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</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-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="INRIA-SACLAY" corresp="INRIA">INRIA Saclay - Ile de France</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="UMR8623">Laboratoire de Recherche en Informatique</idno>
            <idno type="stamp" n="DRT" corresp="CEA">Direction de la recherche technologique</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</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="en">Diagnosability study of technological systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Michel</forename>
                    <surname>Batteux</surname>
                  </persName>
                  <email type="md5">64f67ffd087873f883b635538547c292</email>
                  <email type="domain">laposte.net</email>
                  <idno type="idhal" notation="string">michel-batteux</idno>
                  <idno type="idhal" notation="numeric">183108</idno>
                  <idno type="halauthorid" notation="string">28036-183108</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5269-994X</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-2544"/>
                  <affiliation ref="#struct-118082"/>
                  <affiliation ref="#struct-134325"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Philippe</forename>
                    <surname>Dague</surname>
                  </persName>
                  <email type="md5">c845bca939ff7554c3261f5142bb1641</email>
                  <email type="domain">universite-paris-saclay.fr</email>
                  <idno type="idhal" notation="string">philippe-dague</idno>
                  <idno type="idhal" notation="numeric">16892</idno>
                  <idno type="halauthorid" notation="string">28991-16892</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1679-0804</idno>
                  <idno type="IDREF">https://www.idref.fr/059533323</idno>
                  <affiliation ref="#struct-2544"/>
                  <affiliation ref="#struct-118082"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Rapin</surname>
                  </persName>
                  <email type="md5">5924c077a86cf492ee0106fe02258f98</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">966716</idno>
                  <idno type="halauthorid" notation="string">915151-966716</idno>
                  <orgName ref="#struct-300016"/>
                  <affiliation ref="#struct-56955"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Philippe</forename>
                    <surname>Fiani</surname>
                  </persName>
                  <email type="md5">0d75315cba570defa8a7aa3c94731bff</email>
                  <email type="domain">sherpa-eng.com</email>
                  <idno type="idhal" notation="numeric">982306</idno>
                  <idno type="halauthorid" notation="string">1029038-982306</idno>
                  <affiliation ref="#struct-134325"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011</title>
                  <date type="start">2011-06</date>
                  <settlement>Syracuse</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">LNAI</biblScope>
                  <biblScope unit="volume">6703</biblScope>
                  <date type="datePub">2011-06</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="it">faults modeling</term>
                <term xml:lang="it">diagnosability</term>
                <term xml:lang="it">model-based diagnosis</term>
              </keywords>
              <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="en">
              <p>This paper describes an approach to study the diagnosability of technological systems, by characterizing their observable behaviors. Due to the interaction between many components, faults can occur in a technological system and cause hard damages not only to its integrity but also to its environment. Though a diagnosis system is a suitable solution to detect and identify faults, it is first important to ensure the diagnosability of the system: will the diagnosis system always be able to detect and identify any fault, without any ambiguity, when it occurs? In this paper, we present an approach to identify and integrate faults in a model of a technological system. Then we use these models for the diagnosability study of faults by characterizing their observable behaviors.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-2544" status="OLD">
          <idno type="RNSR">199812948M</idno>
          <orgName>Laboratoire de Recherche en Informatique</orgName>
          <orgName type="acronym">LRI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lri.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR8623" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-118082" status="OLD">
          <idno type="RNSR">201021232P</idno>
          <orgName>Distributed and heterogeneous data and knowledge</orgName>
          <orgName type="acronym">LEO</orgName>
          <desc>
            <address>
              <addrLine>Parc Club Orsay Université, 4 rue Jacques Monod - Bât G, 91893 Orsay Cedex France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/leo</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8623" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-134325" status="VALID">
          <orgName>Sherpa Engineering</orgName>
          <desc>
            <address>
              <addrLine>12 avenue de Verdun 1916 92250 - La Garenne-Colombes</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sherpa-eng.com/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-56955" status="VALID">
          <orgName>Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués</orgName>
          <orgName type="acronym">LISE</orgName>
          <desc>
            <address>
              <addrLine>DTSI/SOL/LISE Saclay 91191 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST/DILS" active="#struct-528160" type="direct"/>
            <relation name="DRT/LIST/DILS" active="#struct-40217" type="indirect"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.fr/</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="laboratory" xml:id="struct-118511" status="VALID">
          <idno type="RNSR">200818248E</idno>
          <idno type="ROR">https://ror.org/0315e5x55</idno>
          <orgName>Centre Inria de Saclay</orgName>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</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-528160" status="VALID">
          <idno type="RNSR">200822623K</idno>
          <orgName>Département Ingénierie Logiciels et Systèmes</orgName>
          <orgName type="acronym">DILS (CEA, LIST)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST/DILS" active="#struct-40217" type="direct"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>