<?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-00784971</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-23T11:33:27+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="ro">Case studies in discrete control for autonomic system administration</title>
            <author role="aut">
              <persName>
                <forename type="first">Fabienne</forename>
                <surname>Boyer</surname>
              </persName>
              <email type="md5">0f90cb9b973d1df6099ca60ffbda14a2</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="numeric">1396140</idno>
              <idno type="halauthorid" notation="string">119603-1396140</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4603-4041</idno>
              <orgName ref="#struct-51016"/>
              <affiliation ref="#struct-24471"/>
              <affiliation ref="#struct-44978"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Noël</forename>
                <surname>de Palma</surname>
              </persName>
              <email type="md5">e5b51ba259763180953d790c6fb3785f</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">noel-de-palma</idno>
              <idno type="idhal" notation="numeric">172307</idno>
              <idno type="halauthorid" notation="string">144160-172307</idno>
              <idno type="IDREF">https://www.idref.fr/060315555</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4638-7266</idno>
              <orgName ref="#struct-51016"/>
              <affiliation ref="#struct-44978"/>
              <affiliation ref="#struct-24471"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">Gwenaël</forename>
                <surname>Delaval</surname>
              </persName>
              <email type="md5">15f9822260b0e3f3d3af1337cb1ab68e</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">gwenael-delaval</idno>
              <idno type="idhal" notation="numeric">931</idno>
              <idno type="halauthorid" notation="string">12783-931</idno>
              <idno type="IDREF">https://www.idref.fr/128876506</idno>
              <idno type="ORCID">https://orcid.org/0009-0000-3029-7384</idno>
              <orgName ref="#struct-51016"/>
              <affiliation ref="#struct-44976"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Gruber</surname>
              </persName>
              <email type="md5">cd5e9491977e9b0a161d2aa20e08be99</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="numeric">952272</idno>
              <idno type="halauthorid" notation="string">145188-952272</idno>
              <orgName ref="#struct-51016"/>
              <affiliation ref="#struct-44978"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">Eric</forename>
                <surname>Rutten</surname>
              </persName>
              <email type="md5">55459e8d2f3d2ff4662d058ab01961c1</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">eric-rutten</idno>
              <idno type="idhal" notation="numeric">3745</idno>
              <idno type="halauthorid" notation="string">16896-3745</idno>
              <idno type="IDREF">https://www.idref.fr/118603914</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8696-8212</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-44978"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Gwenaël</forename>
                <surname>Delaval</surname>
              </persName>
              <email type="md5">15f9822260b0e3f3d3af1337cb1ab68e</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-02-05 09:32:42</date>
              <date type="whenModified">2025-09-27 18:48:47</date>
              <date type="whenReleased">2013-02-05 09:34:13</date>
              <date type="whenProduced">2011-06-14</date>
              <date type="whenEndEmbargoed">2013-02-05</date>
              <ref type="file" target="https://inria.hal.science/hal-00784971v1/document">
                <date notBefore="2013-02-05"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00784971v1/file/febid2011.pdf" id="file-784971-757697">
                <date notBefore="2013-02-05"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="107398">
                <persName>
                  <forename>Gwenaël</forename>
                  <surname>Delaval</surname>
                </persName>
                <email type="md5">15f9822260b0e3f3d3af1337cb1ab68e</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00784971</idno>
            <idno type="halUri">https://inria.hal.science/hal-00784971</idno>
            <idno type="halBibtex">boyer:hal-00784971</idno>
            <idno type="halRefHtml">&lt;i&gt;Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011)&lt;/i&gt;, Jun 2011, Karlsruhe, Germany</idno>
            <idno type="halRef">Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-784971-757697"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</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-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="UNIV-PMF_GRENOBLE">Université Pierre-Mendès-France - Grenoble II</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LIG_SRCPR" corresp="LIG">Systèmes Répartis, Calcul Parallèle et Réseaux</idno>
            <idno type="stamp" n="LIG_SRCPR_ERODS" corresp="LIG_SRCPR">ERODS</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="HEPTAGON">Publications associées au langage de programmation Heptagon</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</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="ro">Case studies in discrete control for autonomic system administration</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Fabienne</forename>
                    <surname>Boyer</surname>
                  </persName>
                  <email type="md5">0f90cb9b973d1df6099ca60ffbda14a2</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="numeric">1396140</idno>
                  <idno type="halauthorid" notation="string">119603-1396140</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4603-4041</idno>
                  <orgName ref="#struct-51016"/>
                  <affiliation ref="#struct-24471"/>
                  <affiliation ref="#struct-44978"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Noël</forename>
                    <surname>de Palma</surname>
                  </persName>
                  <email type="md5">e5b51ba259763180953d790c6fb3785f</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">noel-de-palma</idno>
                  <idno type="idhal" notation="numeric">172307</idno>
                  <idno type="halauthorid" notation="string">144160-172307</idno>
                  <idno type="IDREF">https://www.idref.fr/060315555</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4638-7266</idno>
                  <orgName ref="#struct-51016"/>
                  <affiliation ref="#struct-44978"/>
                  <affiliation ref="#struct-24471"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">Gwenaël</forename>
                    <surname>Delaval</surname>
                  </persName>
                  <email type="md5">15f9822260b0e3f3d3af1337cb1ab68e</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">gwenael-delaval</idno>
                  <idno type="idhal" notation="numeric">931</idno>
                  <idno type="halauthorid" notation="string">12783-931</idno>
                  <idno type="IDREF">https://www.idref.fr/128876506</idno>
                  <idno type="ORCID">https://orcid.org/0009-0000-3029-7384</idno>
                  <orgName ref="#struct-51016"/>
                  <affiliation ref="#struct-44976"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Gruber</surname>
                  </persName>
                  <email type="md5">cd5e9491977e9b0a161d2aa20e08be99</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="numeric">952272</idno>
                  <idno type="halauthorid" notation="string">145188-952272</idno>
                  <orgName ref="#struct-51016"/>
                  <affiliation ref="#struct-44978"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">Eric</forename>
                    <surname>Rutten</surname>
                  </persName>
                  <email type="md5">55459e8d2f3d2ff4662d058ab01961c1</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">eric-rutten</idno>
                  <idno type="idhal" notation="numeric">3745</idno>
                  <idno type="halauthorid" notation="string">16896-3745</idno>
                  <idno type="IDREF">https://www.idref.fr/118603914</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8696-8212</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-44978"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011)</title>
                  <date type="start">2011-06-14</date>
                  <settlement>Karlsruhe</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <imprint>
                  <date type="datePub">2011-06-14</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">autonomic systems</term>
                <term xml:lang="en">discrete control</term>
                <term xml:lang="en">synchronous programming</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</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 presents examples of autonomic system administration issues that can be addressed and solved as discrete control problems. This shows evidence of the relevance of control techniques for the discrete aspects of closed-loop control of computing systems. The model-based control of adaptive and reconfigurable systems is considered via a reactive programming language, based on discrete controller synthesis (DCS) techniques. We identify control problems in autonomic systems belonging to the class of logical, discrete systems, and illustrate how to solve them using DCS.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-24471" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035 </idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-3886" type="direct"/>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-44978" status="OLD">
          <idno type="RNSR">200218265Z</idno>
          <orgName>System architecture for reflective distributed computing environments</orgName>
          <orgName type="acronym">SARDES</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2012-12-31</date>
          <desc>
            <address>
              <addrLine>655 avenue de l'Europe, Inovallée Montbonnot Saint-Martin 38334 Saint-Ismier Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/sardes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-24471" type="direct"/>
            <relation active="#struct-3886" type="indirect"/>
            <relation active="#struct-51016" type="indirect"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation active="#struct-300275" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-44976" status="OLD">
          <idno type="RNSR">200318266W</idno>
          <orgName>Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time</orgName>
          <orgName type="acronym">POP ART</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2012-12-31</date>
          <desc>
            <address>
              <addrLine>Inria Grenoble - Rhône-Alpes 655 avenue de l'Europe - Montbonnot 38334 Saint Ismier Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/pop-art</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-24471" type="direct"/>
            <relation active="#struct-3886" type="indirect"/>
            <relation active="#struct-51016" type="indirect"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation active="#struct-300275" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-3886" status="OLD">
          <idno type="IdRef">02640432X</idno>
          <idno type="ROR">https://ror.org/02f7wz369</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </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-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</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>
      </listOrg>
    </back>
  </text>
</TEI>