<?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 tel-03186040v2</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-25T07:57:52+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Non smooth Lyapunov functions for stability analysis of hybrid systems</title>
            <title xml:lang="fr">Fonctions de Lyapunov non-lisses pour l'analyse de stabilité de systèmes hybrides</title>
            <author role="aut">
              <persName>
                <forename type="first">Matteo</forename>
                <surname>Della Rossa</surname>
              </persName>
              <email type="md5">6c6d892062f17bf3d484145397a204ef</email>
              <email type="domain">uclouvain.be</email>
              <idno type="idhal" notation="string">matteo-della-rossa</idno>
              <idno type="idhal" notation="numeric">184149</idno>
              <idno type="halauthorid" notation="string">46002-184149</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5591-5748</idno>
              <affiliation ref="#struct-388529"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>LAAS</forename>
                <surname>HAL-LAAS</surname>
              </persName>
              <email type="md5">db7b92ce5c3f2f4d55557674d826e415</email>
              <email type="domain">laas.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2020-10-19 10:43:43</date>
              <date type="whenModified">2026-04-04 07:25:23</date>
              <date type="whenReleased">2020-10-20 17:56:08</date>
              <date type="whenProduced">2020-10-09</date>
              <date type="whenEndEmbargoed">2020-10-19</date>
              <ref type="file" target="https://laas.hal.science/tel-03186040v2/document">
                <date notBefore="2020-10-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://laas.hal.science/tel-03186040v2/file/DELLA%20ROSSA%20Matteo.pdf" id="file-2971019-2619043">
                <date notBefore="2020-10-19"/>
              </ref>
            </edition>
            <edition n="v1">
              <date type="whenSubmitted">2021-03-30 18:44:07</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="728053">
                <persName>
                  <forename>LAAS</forename>
                  <surname>HAL-LAAS</surname>
                </persName>
                <email type="md5">db7b92ce5c3f2f4d55557674d826e415</email>
                <email type="domain">laas.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-03186040</idno>
            <idno type="halUri">https://laas.hal.science/tel-03186040</idno>
            <idno type="halBibtex">dellarossa:tel-03186040</idno>
            <idno type="halRefHtml">Automatic. INSA de Toulouse, 2020. English. &lt;a target="_blank" href="https://www.theses.fr/2020ISAT0004"&gt;&amp;#x27E8;NNT : 2020ISAT0004&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Automatic. INSA de Toulouse, 2020. English. &amp;#x27E8;NNT : 2020ISAT0004&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2971019-2619043"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INSA-TOULOUSE">Institut National des Sciences Appliquées de Toulouse</idno>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="LAAS-TEL" corresp="LAAS">Thèses du Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="STAR">STAR - Dépôt national des thèses électroniques</idno>
            <idno type="stamp" n="LAAS-MAC" corresp="LAAS-DECISION-ET-OPTIMISATION">Équipe Méthodes et Algorithmes en Commande</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="LAAS-DECISION-ET-OPTIMISATION" corresp="LAAS">LAAS-Décision et Optimisation</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="TEL-INSATOULOUSE" corresp="INSA-TOULOUSE">Thèses et HDR de l'INSA Toulouse</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="GDR_MACS">Groupement de Recherche en Modélisation, Analyse et Conduite des Systèmes dynamiques</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="TEST7-HALCNRS">test 7 du portail hal cnrs</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="3">National</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Non smooth Lyapunov functions for stability analysis of hybrid systems</title>
                <title xml:lang="fr">Fonctions de Lyapunov non-lisses pour l'analyse de stabilité de systèmes hybrides</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Matteo</forename>
                    <surname>Della Rossa</surname>
                  </persName>
                  <email type="md5">6c6d892062f17bf3d484145397a204ef</email>
                  <email type="domain">uclouvain.be</email>
                  <idno type="idhal" notation="string">matteo-della-rossa</idno>
                  <idno type="idhal" notation="numeric">184149</idno>
                  <idno type="halauthorid" notation="string">46002-184149</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5591-5748</idno>
                  <affiliation ref="#struct-388529"/>
                </author>
              </analytic>
              <monogr>
                <idno type="nnt">2020ISAT0004</idno>
                <idno type="localRef">Rapport LAAS N° 20242</idno>
                <imprint>
                  <date type="dateDefended">2020-10-09</date>
                </imprint>
                <authority type="institution">INSA de Toulouse</authority>
                <authority type="school">École doctorale Systèmes (Toulouse ; 1999-....)</authority>
                <authority type="supervisor">Luca Zaccarian</authority>
                <authority type="supervisor">Aneel Tanwani</authority>
                <authority type="jury">Sophie Tarbouriech [Président]</authority>
                <authority type="jury">Francesca Maria Ceragioli [Rapporteur]</authority>
                <authority type="jury">Stephan Trenn [Rapporteur]</authority>
                <authority type="jury">Rafal Goebel</authority>
                <authority type="jury">Paolo Mason</authority>
                <authority type="jury">Franco Blanchini</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Lyapunov Functions</term>
                <term xml:lang="en">Stability</term>
                <term xml:lang="en">Switching Systems</term>
                <term xml:lang="fr">Fonctions Lyapunov</term>
                <term xml:lang="fr">Stabilité externe</term>
                <term xml:lang="fr">Systèmes Commutés</term>
              </keywords>
              <classCode scheme="halDomain" n="spi.auto">Engineering Sciences [physics]/Automatic</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Modeling of many phenomena in nature escape the rather common frameworks of continuous-time and discrete-time models. In fact, for many systems encountered in practice, these two paradigms need to be intrinsically related and connected, in order to reach a satisfactory level of description in modeling the considered physical/engineering process.These systems are often referred to as hybrid systems, and various possible formalisms have appeared in the literature over the past years.The aim of this thesis is to analyze the stability of particular classes of hybrid systems, by providing Lyapunov-based sufficient conditions for (asymptotic) stability. In particular, we will focus on non-differentiable locally Lipschitz candidate Lyapunov functions. The first chapters of this manuscript can be considered as a general introduction of this topic and the related concepts from non-smooth analysis.This will allow us to study a class of piecewise smooth maps as candidate Lyapunov functions, with particular attention to the continuity properties of the constrained differential inclusion comprising the studied hybrid systems. We propose ``relaxed'' Lyapunov conditions which require to be checked only on a dense set and discuss connections to other classes of locally Lipschitz or piecewise regular functions.Relaxing the continuity assumptions, we then investigate the notion of generalized derivatives when considering functions obtained as emph{max-min} combinations of smooth functions. This structure turns out to be particularly fruitful when considering the stability problem for differential inclusions arising from regularization of emph{state-dependent switched systems}.When the studied switched systems are composed of emph{linear} sub-dynamics, we refine our results, in order to propose algorithmically verifiable conditions.We further explore the utility of set-valued derivatives in establishing input-to-state stability results, in the context of perturbed differential inclusions/switched systems, using locally Lipschitz candidate Lyapunov functions. These developments are then used in analyzing the stability problem for interconnections of differential inclusion, with an application in designing an observer-based controller for state-dependent switched systems.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>La Nature, dans ses multiples manifestations, nous fournit un grand nombre d’exemples pour lesquels il est nécessaire d’aller au-delà de la distinction classique entre modèles où le temps est décrit comme une entité continue et modèles où le temps est discret/discrétisé. En particulier, pour une multitude de systèmes en physique/ingénierie, ces deux aspects temporels sont fondamentalement liés, et nécessitent donc que ces deux paradigmes soient connectés et mis en relation, pour une meilleure précision et fidélité dans la représentation du phénomène. Cette famille de systèmes est souvent appelée ``systèmes hybrides’’, et différentes formalisations mathématiques ont été proposées.L’objectif de cette thèse est l’analyse et l’étude de la stabilité (asymptotique) pour certaines classes de systèmes hybrides, en proposant des conditions suffisantes à la Lyapunov. Plus spécifiquement, nous nous concentrerons sur des fonctions de Lyauponv non-lisses ; pour cette raison, les premiers chapitres de cette thèse peuvent être considérés comme une introduction générale de ce sujet, proposant les instruments nécessaires issus de l’analyse non-lisse.Tout d'abord, grâce à ces outils, nous pourrons étudier une classe de fonctions de Lyapunov construites par morceaux, avec une attention particulière aux propriétés de continuité des inclusions différentielles qui composent le système hybride considéré. Nous proposons des conditions qui doivent être vérifiées seulement sur un sous-ensemble dense, et donc allant au-delà de résultats existants.En négligeant les hypothèses de continuité, nous étudions ensuite comment les notions de dérivées généralisées se spécialisent en considérant des fonctions construites comme combinaisons de maximum/ minimum de fonctions lisses. Cette structure devient particulièrement fructueuse quand on regarde la classe des systèmes à commutation dépendant de l’état du système. Dans le cas où les sous-dynamiques sont linéaires, nous étudions comment les conditions proposées peuvent être vérifiées algorithmiquement.L’utilité des notions de dérivées généralisées est finalement explorée dans le contexte de la stabilité entrée-état (ISS) pour inclusions différentielles avec perturbations extérieures. Ces résultats nous permettent de proposer des critères de stabilité pour systèmes interconnectés, et notamment une application du synthèse de contrôleurs pour systèmes à commutation dépendant de l’état.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-388529" status="OLD">
          <orgName>Équipe Méthodes et Algorithmes en Commande</orgName>
          <orgName type="acronym">LAAS-MAC</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/mac</ref>
          </desc>
          <listRelation>
            <relation active="#struct-459" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UPR8001" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-459" status="OLD">
          <idno type="IdRef">199278792</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="RNSR">199517454Y</idno>
          <idno type="ROR">https://ror.org/03vcm6439</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes</orgName>
          <orgName type="acronym">LAAS</orgName>
          <date type="start">1968-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UPR8001" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116255" status="VALID">
          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <idno type="ROR">https://ror.org/01h8pf755</idno>
          <idno type="Wikidata">Q858979</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <date type="start">1963-10-21</date>
          <desc>
            <address>
              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </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="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>