<?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-00385485</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-14T14:51:17+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Synthèse d'une commande supervisée à base de contraintes booléennes</title>
            <author role="aut">
              <persName>
                <forename type="first">Abdelouahed</forename>
                <surname>Tajer</surname>
              </persName>
              <email type="md5">cf4c1df717c89f5caab58f68b45548ea</email>
              <email type="domain">univ-reims.fr</email>
              <idno type="idhal" notation="numeric">860454</idno>
              <idno type="halauthorid" notation="string">393818-860454</idno>
              <affiliation ref="#struct-21189"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pascale</forename>
                <surname>Marangé</surname>
              </persName>
              <email type="md5">5d3c99ae791df33fe826c9b5825ae412</email>
              <email type="domain">univ-lorraine.fr</email>
              <idno type="idhal" notation="string">pascale-marange</idno>
              <idno type="idhal" notation="numeric">5249</idno>
              <idno type="halauthorid" notation="string">19348-5249</idno>
              <idno type="IDREF">https://www.idref.fr/129296287</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4500-7612</idno>
              <affiliation ref="#struct-21189"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Gellot</surname>
              </persName>
              <email type="md5">29e45f1b1908f9de4651948cfe6a84d5</email>
              <email type="domain">univ-reims.fr</email>
              <idno type="idhal" notation="string">francois-gellot</idno>
              <idno type="idhal" notation="numeric">171954</idno>
              <idno type="halauthorid" notation="string">8685-171954</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8797-1704</idno>
              <idno type="IDREF">https://www.idref.fr/231296746</idno>
              <affiliation ref="#struct-21189"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Véronique</forename>
                <surname>Carré-Ménétrier</surname>
              </persName>
              <email type="md5">65774908b1d5a5730c0d8f07f53e1b06</email>
              <email type="domain">univ-reims.fr</email>
              <idno type="idhal" notation="string">veronique-carre-menetrier</idno>
              <idno type="idhal" notation="numeric">22029</idno>
              <idno type="halauthorid" notation="string">7880-22029</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9576-9108</idno>
              <idno type="IDREF">https://www.idref.fr/204072778</idno>
              <orgName ref="#struct-7569"/>
              <affiliation ref="#struct-21189"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Pascale</forename>
                <surname>Marangé</surname>
              </persName>
              <email type="md5">5d3c99ae791df33fe826c9b5825ae412</email>
              <email type="domain">univ-lorraine.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2009-05-19 14:13:22</date>
              <date type="whenWritten">2007</date>
              <date type="whenModified">2025-02-26 13:08:01</date>
              <date type="whenReleased">2009-05-19 14:15:28</date>
              <date type="whenProduced">2007</date>
              <date type="whenEndEmbargoed">2009-05-19</date>
              <ref type="file" target="https://hal.science/hal-00385485v1/document">
                <date notBefore="2009-05-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00385485v1/file/revue_e-STA_2006.pdf" id="file-385485-592719">
                <date notBefore="2009-05-19"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="134764">
                <persName>
                  <forename>Pascale</forename>
                  <surname>Marangé</surname>
                </persName>
                <email type="md5">5d3c99ae791df33fe826c9b5825ae412</email>
                <email type="domain">univ-lorraine.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00385485</idno>
            <idno type="halUri">https://hal.science/hal-00385485</idno>
            <idno type="halBibtex">tajer:hal-00385485</idno>
            <idno type="halRefHtml">&lt;i&gt;e-STA Sciences et Technologies de l’Automatique&lt;/i&gt;, 2007, pp.0</idno>
            <idno type="halRef">e-STA Sciences et Technologies de l’Automatique, 2007, pp.0</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-385485-592719"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="URCA">Publications de l'Université de Reims Champagne-Ardenne</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="CRESTIC" corresp="URCA">Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Synthèse d'une commande supervisée à base de contraintes booléennes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Abdelouahed</forename>
                    <surname>Tajer</surname>
                  </persName>
                  <email type="md5">cf4c1df717c89f5caab58f68b45548ea</email>
                  <email type="domain">univ-reims.fr</email>
                  <idno type="idhal" notation="numeric">860454</idno>
                  <idno type="halauthorid" notation="string">393818-860454</idno>
                  <affiliation ref="#struct-21189"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pascale</forename>
                    <surname>Marangé</surname>
                  </persName>
                  <email type="md5">5d3c99ae791df33fe826c9b5825ae412</email>
                  <email type="domain">univ-lorraine.fr</email>
                  <idno type="idhal" notation="string">pascale-marange</idno>
                  <idno type="idhal" notation="numeric">5249</idno>
                  <idno type="halauthorid" notation="string">19348-5249</idno>
                  <idno type="IDREF">https://www.idref.fr/129296287</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4500-7612</idno>
                  <affiliation ref="#struct-21189"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Gellot</surname>
                  </persName>
                  <email type="md5">29e45f1b1908f9de4651948cfe6a84d5</email>
                  <email type="domain">univ-reims.fr</email>
                  <idno type="idhal" notation="string">francois-gellot</idno>
                  <idno type="idhal" notation="numeric">171954</idno>
                  <idno type="halauthorid" notation="string">8685-171954</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8797-1704</idno>
                  <idno type="IDREF">https://www.idref.fr/231296746</idno>
                  <affiliation ref="#struct-21189"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Véronique</forename>
                    <surname>Carré-Ménétrier</surname>
                  </persName>
                  <email type="md5">65774908b1d5a5730c0d8f07f53e1b06</email>
                  <email type="domain">univ-reims.fr</email>
                  <idno type="idhal" notation="string">veronique-carre-menetrier</idno>
                  <idno type="idhal" notation="numeric">22029</idno>
                  <idno type="halauthorid" notation="string">7880-22029</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9576-9108</idno>
                  <idno type="IDREF">https://www.idref.fr/204072778</idno>
                  <orgName ref="#struct-7569"/>
                  <affiliation ref="#struct-21189"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">52823</idno>
                <idno type="issn">1954-3522</idno>
                <title level="j">e-STA Sciences et Technologies de l’Automatique</title>
                <imprint>
                  <publisher>SEE - Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication </publisher>
                  <biblScope unit="pp">0</biblScope>
                  <date type="datePub">2007</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">algèbre booléenne</term>
                <term xml:lang="fr">Automates booléens</term>
                <term xml:lang="fr">modèle de partie opérative</term>
                <term xml:lang="fr">modèle de contraintes</term>
                <term xml:lang="fr">théorie de supervision</term>
                <term xml:lang="fr">algèbre booléenne.</term>
              </keywords>
              <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="fr">
              <p>Une étape essentielle pour formaliser une méthode de synthèse de commande est la modélisation de la partie opérative (PO) et des contraintes. Cependant, cette étape reste une tâche très complexe. Pour pallier cette difficulté et dans le but d'aider le concepteur, nous proposons dans cet article une méthodologie de modélisation de la partie opérative sous forme de règles et une modélisation conviviale des contraintes par équations logiques dans l'algèbre de Boole classique. Pour la partie opérative, le résultat conduit à des modèles automates à états booléens et à des implications logiques pour les contraintes. Nous proposons ensuite un algorithme de synthèse en accord avec cette nouvelle modélisation. Un exemple de tri illustre ce papier.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-21189" status="VALID">
          <idno type="IdRef">235141607</idno>
          <idno type="RNSR">200415064L</idno>
          <idno type="ROR">https://ror.org/016wdna72</idno>
          <orgName>Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804</orgName>
          <orgName type="acronym">CRESTIC</orgName>
          <date type="start">2004-01-01</date>
          <desc>
            <address>
              <addrLine>UFR Sciences Exactes et Naturelles, Moulin de la Housse, BP 1039, 51687 Reims CEDEX 2, FRANCE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://crestic.univ-reims.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA 3804" active="#struct-7569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-7569" status="VALID">
          <idno type="IdRef">026403838</idno>
          <idno type="ISNI">0000000121767954</idno>
          <idno type="ROR">https://ror.org/03hypw319</idno>
          <orgName>Université de Reims Champagne-Ardenne</orgName>
          <orgName type="acronym">URCA</orgName>
          <desc>
            <address>
              <addrLine>2 avenue Robert Schuman, 51100 Reims.</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-reims.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>