<?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-01521987</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-03T16:16:29+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Closed loop analysis of control command software</title>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Roux</surname>
              </persName>
              <idno type="halauthorid">364934-0</idno>
              <affiliation ref="#struct-252057"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Romain</forename>
                <surname>Jobredeaux</surname>
              </persName>
              <email type="md5">563f359455230fa0132fae310c99e0d4</email>
              <email type="domain">gatech.edu</email>
              <idno type="idhal" notation="numeric">1008119</idno>
              <idno type="halauthorid" notation="string">571199-1008119</idno>
              <affiliation ref="#struct-301990"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre-Loïc</forename>
                <surname>Garoche</surname>
              </persName>
              <email type="md5">97709d701bc58f5117f5aeaf3fb9679e</email>
              <email type="domain">enac.fr</email>
              <idno type="idhal" notation="string">pierre-loic-garoche</idno>
              <idno type="idhal" notation="numeric">4366</idno>
              <idno type="halauthorid" notation="string">3529-4366</idno>
              <idno type="ARXIV">https://arxiv.org/a/garoche_p_1</idno>
              <idno type="IDREF">https://www.idref.fr/127405690</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0513-6076</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=KvqkWwwAAAAJ</idno>
              <orgName ref="#struct-380071"/>
              <affiliation ref="#struct-252057"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Cécile</forename>
                <surname>André</surname>
              </persName>
              <email type="md5">be28dc9c84525769f81cc6c8441f2516</email>
              <email type="domain">onera.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-02-14 17:31:03</date>
              <date type="whenModified">2023-04-14 16:46:04</date>
              <date type="whenReleased">2022-02-21 12:44:24</date>
              <date type="whenProduced">2015-04-14</date>
              <date type="whenEndEmbargoed">2022-02-14</date>
              <ref type="file" target="https://hal.science/hal-01521987v1/document">
                <date notBefore="2022-02-14"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01521987v1/file/Roux2015.pdf" id="file-3573570-3125643">
                <date notBefore="2022-02-14"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="633609">
                <persName>
                  <forename>Cécile</forename>
                  <surname>André</surname>
                </persName>
                <email type="md5">be28dc9c84525769f81cc6c8441f2516</email>
                <email type="domain">onera.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01521987</idno>
            <idno type="halUri">https://hal.science/hal-01521987</idno>
            <idno type="halBibtex">roux:hal-01521987</idno>
            <idno type="halRefHtml">&lt;i&gt;18th International Conference on Hybrid Systems: Computation and Control - HSCC 2015&lt;/i&gt;, Apr 2015, Seattle, United States. &lt;a target="_blank" href="https://dx.doi.org/10.1145/2728606.2728623"&gt;&amp;#x27E8;10.1145/2728606.2728623&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">18th International Conference on Hybrid Systems: Computation and Control - HSCC 2015, Apr 2015, Seattle, United States. &amp;#x27E8;10.1145/2728606.2728623&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3573570-3125643"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ONERA">ONERA - Office National d'Études et de Recherches Aérospatiales</idno>
            <idno type="stamp" n="ONERA-MIP" corresp="ONERA">ONERA Midi-Pyrénées</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">Closed loop analysis of control command software</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Roux</surname>
                  </persName>
                  <idno type="halauthorid">364934-0</idno>
                  <affiliation ref="#struct-252057"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Romain</forename>
                    <surname>Jobredeaux</surname>
                  </persName>
                  <email type="md5">563f359455230fa0132fae310c99e0d4</email>
                  <email type="domain">gatech.edu</email>
                  <idno type="idhal" notation="numeric">1008119</idno>
                  <idno type="halauthorid" notation="string">571199-1008119</idno>
                  <affiliation ref="#struct-301990"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre-Loïc</forename>
                    <surname>Garoche</surname>
                  </persName>
                  <email type="md5">97709d701bc58f5117f5aeaf3fb9679e</email>
                  <email type="domain">enac.fr</email>
                  <idno type="idhal" notation="string">pierre-loic-garoche</idno>
                  <idno type="idhal" notation="numeric">4366</idno>
                  <idno type="halauthorid" notation="string">3529-4366</idno>
                  <idno type="ARXIV">https://arxiv.org/a/garoche_p_1</idno>
                  <idno type="IDREF">https://www.idref.fr/127405690</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0513-6076</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=KvqkWwwAAAAJ</idno>
                  <orgName ref="#struct-380071"/>
                  <affiliation ref="#struct-252057"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control</title>
                <meeting>
                  <title>18th International Conference on Hybrid Systems: Computation and Control - HSCC 2015</title>
                  <date type="start">2015-04-14</date>
                  <date type="end">2015-04-16</date>
                  <settlement>Seattle</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint/>
              </monogr>
              <idno type="doi">10.1145/2728606.2728623</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">EQUATION</term>
                <term xml:lang="fr">BOUCLE FERMEE</term>
                <term xml:lang="fr">STABILITE</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</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>Recent work addressing the stability analysis of controllers at code level has been mainly focused on the controller alone. However, most of the properties of interest of control software lie in how they interact with their environment. We introduce an extension of the analysis framework to reason on the stability of closed loop systems, i.e., controllers along with a model of their physical environment, the plant. The proposed approach focuses on the closed loop stability of discrete linear control systems with saturations, interacting with a discrete linear plant. The analysis is performed in the state space domain using Lyapunov-based quadratic invariants. We specifically address the automatic synthesis of such invariants and the treatment of floating-point imprecision.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-252057" status="OLD">
          <orgName>ONERA - The French Aerospace Lab [Toulouse]</orgName>
          <date type="end">2018-03-18</date>
          <desc>
            <address>
              <addrLine>F-31055 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.onera.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300024" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301990" status="VALID">
          <idno type="ROR">https://ror.org/01zkghx44</idno>
          <orgName>Georgia Institute of Technology [Atlanta]</orgName>
          <desc>
            <address>
              <addrLine>North Avenue, Atlanta, GA 30332</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.gatech.edu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300024" status="VALID">
          <idno type="ROR">https://ror.org/005y2ap84</idno>
          <orgName>ONERA</orgName>
          <desc>
            <address>
              <addrLine>Office National d’Études et de Recherches Aéronautiques29, avenue de la Division Leclerc - BP 72 - 92322 CHATILLON CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.onera.fr/fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>