<?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-04397381</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-24T19:30:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques</title>
            <author role="aut">
              <persName>
                <forename type="first">Amira</forename>
                <surname>Chouchane</surname>
              </persName>
              <email type="md5">23b6adf6ab1ce37ef80bf6143b1d1e32</email>
              <email type="domain">univ-eiffel.fr</email>
              <idno type="idhal" notation="numeric">1336223</idno>
              <idno type="halauthorid" notation="string">1815192-1336223</idno>
              <affiliation ref="#struct-581183"/>
              <affiliation ref="#struct-580830"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohamed</forename>
                <surname>Ghazel</surname>
              </persName>
              <email type="md5">95dd996535fc78f0c172992c6931a827</email>
              <email type="domain">ifsttar.fr</email>
              <idno type="idhal" notation="string">mohamed-ghazel</idno>
              <idno type="idhal" notation="numeric">177593</idno>
              <idno type="halauthorid" notation="string">17055-177593</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/Z-2994-2019</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1160-7997</idno>
              <idno type="IDREF">https://www.idref.fr/103687580</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/Z-2994-2019</idno>
              <affiliation ref="#struct-581183"/>
              <affiliation ref="#struct-580830"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Mohamed</forename>
                <surname>Ghazel</surname>
              </persName>
              <email type="md5">95dd996535fc78f0c172992c6931a827</email>
              <email type="domain">ifsttar.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-01-16 12:44:41</date>
              <date type="whenModified">2024-02-01 09:37:23</date>
              <date type="whenReleased">2024-01-16 12:44:41</date>
              <date type="whenProduced">2024-04</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="458469">
                <persName>
                  <forename>Mohamed</forename>
                  <surname>Ghazel</surname>
                </persName>
                <email type="md5">95dd996535fc78f0c172992c6931a827</email>
                <email type="domain">ifsttar.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04397381</idno>
            <idno type="halUri">https://univ-eiffel.hal.science/hal-04397381</idno>
            <idno type="halBibtex">chouchane:hal-04397381</idno>
            <idno type="halRefHtml">&lt;i&gt;Automatica&lt;/i&gt;, 2024, 162, pp.111513. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.automatica.2024.111513"&gt;&amp;#x27E8;10.1016/j.automatica.2024.111513&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Automatica, 2024, 162, pp.111513. &amp;#x27E8;10.1016/j.automatica.2024.111513&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFSTTAR">Ifsttar</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="UNIV-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="U-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="COSYS">Composants et systèmes</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Amira</forename>
                    <surname>Chouchane</surname>
                  </persName>
                  <email type="md5">23b6adf6ab1ce37ef80bf6143b1d1e32</email>
                  <email type="domain">univ-eiffel.fr</email>
                  <idno type="idhal" notation="numeric">1336223</idno>
                  <idno type="halauthorid" notation="string">1815192-1336223</idno>
                  <affiliation ref="#struct-581183"/>
                  <affiliation ref="#struct-580830"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohamed</forename>
                    <surname>Ghazel</surname>
                  </persName>
                  <email type="md5">95dd996535fc78f0c172992c6931a827</email>
                  <email type="domain">ifsttar.fr</email>
                  <idno type="idhal" notation="string">mohamed-ghazel</idno>
                  <idno type="idhal" notation="numeric">177593</idno>
                  <idno type="halauthorid" notation="string">17055-177593</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/Z-2994-2019</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1160-7997</idno>
                  <idno type="IDREF">https://www.idref.fr/103687580</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/Z-2994-2019</idno>
                  <affiliation ref="#struct-581183"/>
                  <affiliation ref="#struct-580830"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">10940</idno>
                <idno type="issn">0005-1098</idno>
                <title level="j">Automatica</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">162</biblScope>
                  <biblScope unit="pp">111513</biblScope>
                  <date type="datePub">2024-04</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.automatica.2024.111513</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Fault-prognosability analysis, K-step fault prognosis, K -step predictive diagnosis, Discrete-event systems, Petri nets, Integer optimization problem, Algebraic approaches</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="spi.auto">Engineering Sciences [physics]/Automatic</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper, we explore some issues relevant to fault monitoring in discrete event systems modeled by partially observed LPNs with, possibly indistinguishable observable events and acyclic unobservable subnet. Firstly, we address the (offline) fault-prognosability analysis problem. Subsequently, we tackle the two online problems of K-step fault prognosis and K-step predictive diagnosis. We propose algebraic formulations and solutions to these problems. Namely, a necessary and sufficient condition for fault-prognosability is established based on solving an integer optimization problem. The proposed approach is applicable for bounded Petri nets. As for the K-step prognosis and K-step predictive diagnosis, algebraic approaches based on state estimation on a sliding horizon are elaborated to produce relevant verdicts. The established results for K-step prognosis and K-step predictive diagnosis are applicable for both bounded and unbounded Petri nets.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-581183" status="VALID">
          <idno type="RNSR">201320680B</idno>
          <orgName>Évaluation des Systèmes de Transports Automatisés et de leur Sécurité</orgName>
          <orgName type="acronym">COSYS-ESTAS</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>20 rue Elisée Reclus, BP317, 59666 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.estas.ifsttar.fr/linstitut/cosys/laboratoires/estas-ifsttar/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-580722" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-580830" status="VALID">
          <idno type="RNSR">201320680B</idno>
          <orgName>Département Composants et Systèmes</orgName>
          <orgName type="acronym">COSYS</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>14-20 Boulevard Newton - Cité Descartes, Champs sur Marne -F-77454 Marne la Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ifsttar.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-580722" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-580722" status="VALID">
          <idno type="ROR">https://ror.org/03x42jk29</idno>
          <orgName>Université Gustave Eiffel</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Cité Descartes, 5 Boulevard Descartes • Champs-sur-Marne, 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-gustave-eiffel.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>