<?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-02424744</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-21T17:38:35+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Approximate Diagnosis and Opacity of Stochastic Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Engel</forename>
                <surname>Lefaucheux</surname>
              </persName>
              <email type="md5">2ef762b3292d24cc24de2b64fb73d5fc</email>
              <email type="domain">ens-cachan.fr</email>
              <idno type="idhal" notation="string">engel-lefaucheux</idno>
              <idno type="idhal" notation="numeric">1399904</idno>
              <idno type="halauthorid" notation="string">873150-1399904</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0875-300X</idno>
              <affiliation ref="#struct-105111"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Engel</forename>
                <surname>Lefaucheux</surname>
              </persName>
              <email type="md5">d394ff63de4d492815e1ee40d31edb82</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-12-28 14:37:41</date>
              <date type="whenModified">2024-07-11 10:57:29</date>
              <date type="whenReleased">2020-01-06 11:59:01</date>
              <date type="whenProduced">2019-12-28</date>
              <date type="whenEndEmbargoed">2019-12-28</date>
              <ref type="file" target="https://hal.science/hal-02424744v1/document">
                <date notBefore="2019-12-28"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02424744v1/file/FoSSaCS20.pdf" id="file-2424744-2313113">
                <date notBefore="2019-12-28"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="328385">
                <persName>
                  <forename>Engel</forename>
                  <surname>Lefaucheux</surname>
                </persName>
                <email type="md5">d394ff63de4d492815e1ee40d31edb82</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02424744</idno>
            <idno type="halUri">https://hal.science/hal-02424744</idno>
            <idno type="halBibtex">lefaucheux:hal-02424744</idno>
            <idno type="halRefHtml">2019</idno>
            <idno type="halRef">2019</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2424744-2313113"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt/>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Approximate Diagnosis and Opacity of Stochastic Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Engel</forename>
                    <surname>Lefaucheux</surname>
                  </persName>
                  <email type="md5">2ef762b3292d24cc24de2b64fb73d5fc</email>
                  <email type="domain">ens-cachan.fr</email>
                  <idno type="idhal" notation="string">engel-lefaucheux</idno>
                  <idno type="idhal" notation="numeric">1399904</idno>
                  <idno type="halauthorid" notation="string">873150-1399904</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0875-300X</idno>
                  <affiliation ref="#struct-105111"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We consider information control questions in a stochastic setting where an observation function provides to an external observer a view of the states along paths and relevant paths are those visiting some state from a fixed subset. Exact disclosure occurs when the observer can deduce from a finite observation that the path is relevant, the approximate disclosure variant corresponding to the execution being identified as relevant with arbitrarily high accuracy. We consider the problems of diagnosability and opacity, which corresponds, in spirit, to the cases where one wants to disclose all the information or hide as much of it as possible. While these problems have already been studied for the exact disclosure notion, there are very few works using the approximate disclosure. We establish that opacity of Markov chains is in EXPTIME and PSPACE-hard while nearly every opacity question is undecidable in an active setting. Moreover, we show that diagnosability is EXPTIME-complete for controllable systems.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-105111" status="VALID">
          <idno type="RNSR">201019806P</idno>
          <idno type="ROR">https://ror.org/02pe2kf23</idno>
          <orgName>Max Planck Institute for Software Systems</orgName>
          <orgName type="acronym">MPI-SWS</orgName>
          <desc>
            <address>
              <addrLine>D-66111 Saarbrücken/D-67663 Kaiserslautern</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.mpi-sws.org</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>