<?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-00790135</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-22T13:37:08+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Diagnosability analysis for self-observed distributed discrete event systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Lina</forename>
                <surname>Ye</surname>
              </persName>
              <email type="md5">e9c94e865fb4ddebd962df2010c8a837</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">lina-ye</idno>
              <idno type="idhal" notation="numeric">7082</idno>
              <idno type="halauthorid" notation="string">11749-7082</idno>
              <idno type="IDREF">https://www.idref.fr/155853422</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2217-4752</idno>
              <affiliation ref="#struct-2544"/>
            </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"/>
            </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>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-02-19 14:45:51</date>
              <date type="whenModified">2025-08-12 18:02:28</date>
              <date type="whenReleased">2013-02-19 16:07:53</date>
              <date type="whenProduced">2012-11</date>
              <date type="whenEndEmbargoed">2013-02-19</date>
              <ref type="file" target="https://inria.hal.science/hal-00790135v1/document">
                <date notBefore="2013-02-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00790135v1/file/VALID_78_final.pdf" id="file-790135-784922">
                <date notBefore="2013-02-19"/>
              </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-00790135</idno>
            <idno type="halUri">https://inria.hal.science/hal-00790135</idno>
            <idno type="halBibtex">ye:hal-00790135</idno>
            <idno type="halRefHtml">&lt;i&gt;VALID - 4th International Conference on Advances in System Testing and Validation Lifecycle&lt;/i&gt;, Nov 2012, Lisbonne, Portugal</idno>
            <idno type="halRef">VALID - 4th International Conference on Advances in System Testing and Validation Lifecycle, Nov 2012, Lisbonne, Portugal</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-790135-784922"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="UMR8623">Laboratoire de Recherche en Informatique</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>
          </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 analysis for self-observed distributed discrete event systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Lina</forename>
                    <surname>Ye</surname>
                  </persName>
                  <email type="md5">e9c94e865fb4ddebd962df2010c8a837</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">lina-ye</idno>
                  <idno type="idhal" notation="numeric">7082</idno>
                  <idno type="halauthorid" notation="string">11749-7082</idno>
                  <idno type="IDREF">https://www.idref.fr/155853422</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2217-4752</idno>
                  <affiliation ref="#struct-2544"/>
                </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"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>VALID - 4th International Conference on Advances in System Testing and Validation Lifecycle</title>
                  <date type="start">2012-11</date>
                  <settlement>Lisbonne</settlement>
                  <country key="PT">Portugal</country>
                </meeting>
                <imprint>
                  <date type="datePub">2012-11</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="en">
              <p>Diagnosability is a crucial property that determines at design stage how accurate any diagnosis algorithm can be on a partially observable system and thus has a significant impact on the performance and reliability of complex systems. Most existing approaches assumed that observable events in the system are globally observed. But sometimes it is not possible to obtain global information. Thus a recent work has proposed a new framework to check diagnosability in a system where each component can only observe its own observable events to keep the internal structure private in terms of observations. However, the authors implicitly assume that local paths in components can be exhaustively enumerated, which is not true in a general case where there are embedded cycles. In this paper, we get some new results about diagnosability in such a system, i.e., what we call joint diagnosability in a self-observed distributed system. First we prove the undecidability of joint diagnosability with unobservable communication events by reducing Post's Correspondence Problem to an observation problem. Then we propose an algorithm to check a sufficient but not necessary condition of joint diagnosability. Finally we briefly discuss about the decidable case with observable communication events.</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="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>
      </listOrg>
    </back>
  </text>
</TEI>