<?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-00719901</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-04-29T07:20:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Set-Membership Estimation of Hybrid Systems via SAT Mod ODE</title>
            <author role="aut">
              <persName>
                <forename type="first">Andreas</forename>
                <surname>Eggers</surname>
              </persName>
              <email type="md5">2935be4e8aad0ed1e108df785c3937d6</email>
              <email type="domain">informatik.uni-oldenburg.de</email>
              <idno type="idhal" notation="numeric">880450</idno>
              <idno type="halauthorid" notation="string">496730-880450</idno>
              <affiliation ref="#struct-146984"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nacim</forename>
                <surname>Ramdani</surname>
              </persName>
              <email type="md5">5e1c9d01eb0194c34f5cdfa8f8db55c2</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="string">nacim-ramdani</idno>
              <idno type="idhal" notation="numeric">2801</idno>
              <idno type="halauthorid" notation="string">24577-2801</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1491-3751</idno>
              <idno type="IDREF">https://www.idref.fr/081920377</idno>
              <affiliation ref="#struct-392558"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nedialko S.</forename>
                <surname>Nedialkov</surname>
              </persName>
              <email type="md5">3827ab31772bb311a7dcbda619231af4</email>
              <email type="domain">mcmaster.ca</email>
              <idno type="idhal" notation="numeric">858084</idno>
              <idno type="halauthorid" notation="string">379152-858084</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-87688"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Martin</forename>
                <surname>Fränzle</surname>
              </persName>
              <email type="md5">4f995e15a7d8abd69a4531a4f53f759e</email>
              <email type="domain">informatik.uni-oldenburg.de</email>
              <idno type="idhal" notation="numeric">880448</idno>
              <idno type="halauthorid" notation="string">496728-880448</idno>
              <affiliation ref="#struct-146984"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Nacim</forename>
                <surname>Ramdani</surname>
              </persName>
              <email type="md5">5e1c9d01eb0194c34f5cdfa8f8db55c2</email>
              <email type="domain">univ-orleans.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2012-07-22 15:24:43</date>
              <date type="whenModified">2024-09-17 10:16:17</date>
              <date type="whenReleased">2012-07-22 15:24:43</date>
              <date type="whenProduced">2012-07-11</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="133579">
                <persName>
                  <forename>Nacim</forename>
                  <surname>Ramdani</surname>
                </persName>
                <email type="md5">5e1c9d01eb0194c34f5cdfa8f8db55c2</email>
                <email type="domain">univ-orleans.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00719901</idno>
            <idno type="halUri">https://hal.science/hal-00719901</idno>
            <idno type="halBibtex">eggers:hal-00719901</idno>
            <idno type="halRefHtml">&lt;i&gt;16th IFAC Symposium on System Identification&lt;/i&gt;, Jul 2012, Belgium. pp.440-445</idno>
            <idno type="halRef">16th IFAC Symposium on System Identification, Jul 2012, Belgium. pp.440-445</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-ORLEANS">Université d'Orléans</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="PRISME-CVL" corresp="UNIV-ORLEANS">Laboratoire Pluridisciplinaire de Recherche Ingénierie des Systèmes, Mécanique, Énergétique</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="INSA-CVL">INSA CENTRE VAL DE LOIRE</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">Set-Membership Estimation of Hybrid Systems via SAT Mod ODE</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Andreas</forename>
                    <surname>Eggers</surname>
                  </persName>
                  <email type="md5">2935be4e8aad0ed1e108df785c3937d6</email>
                  <email type="domain">informatik.uni-oldenburg.de</email>
                  <idno type="idhal" notation="numeric">880450</idno>
                  <idno type="halauthorid" notation="string">496730-880450</idno>
                  <affiliation ref="#struct-146984"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nacim</forename>
                    <surname>Ramdani</surname>
                  </persName>
                  <email type="md5">5e1c9d01eb0194c34f5cdfa8f8db55c2</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="string">nacim-ramdani</idno>
                  <idno type="idhal" notation="numeric">2801</idno>
                  <idno type="halauthorid" notation="string">24577-2801</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1491-3751</idno>
                  <idno type="IDREF">https://www.idref.fr/081920377</idno>
                  <affiliation ref="#struct-392558"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nedialko S.</forename>
                    <surname>Nedialkov</surname>
                  </persName>
                  <email type="md5">3827ab31772bb311a7dcbda619231af4</email>
                  <email type="domain">mcmaster.ca</email>
                  <idno type="idhal" notation="numeric">858084</idno>
                  <idno type="halauthorid" notation="string">379152-858084</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-87688"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Martin</forename>
                    <surname>Fränzle</surname>
                  </persName>
                  <email type="md5">4f995e15a7d8abd69a4531a4f53f759e</email>
                  <email type="domain">informatik.uni-oldenburg.de</email>
                  <idno type="idhal" notation="numeric">880448</idno>
                  <idno type="halauthorid" notation="string">496728-880448</idno>
                  <affiliation ref="#struct-146984"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">Automatique</idno>
                <title level="m">Preprints of the 16th IFAC Symposium on System Identification The International Federation of Automatic Control Brussels, Belgium. July 11-13, 2012</title>
                <meeting>
                  <title>16th IFAC Symposium on System Identification</title>
                  <date type="start">2012-07-11</date>
                  <date type="end">2012-07-13</date>
                  <country key="BE">Belgium</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">440-445</biblScope>
                  <date type="datePub">2012-07-11</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="spi.auto">Engineering Sciences [physics]/Automatic</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>Set membership estimation (SME) of nonlinear hybrid systems is still a challenging issue. Although SME of nonlinear continuous systems has made significant progress recently, the direct extension of these methods to the hybrid case is not easy. Meanwhile, satisfiability (SAT) checkers for Boolean combinations of arithmetic constraints over real- and integer-valued variables have made significant progress, as they can effectively deal with algebraic constraints between variables and non-linear ODEs, what is denoted as SAT modulo ODE theory (SMT). Finally, SMT solvers solve in a natural way the hybrid differential and algebraic constraints satisfaction problems that underlie SME of hybrid systems. This paper introduces SMT and shows how to use the related solvers to address SME of hybrid dynamical systems.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-146984" status="VALID">
          <idno type="ISNI">0000 0001 1009 3608</idno>
          <idno type="ROR">https://ror.org/033n9gh91</idno>
          <orgName>Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg</orgName>
          <orgName type="acronym">OFFIS</orgName>
          <date type="start">1973-01-01</date>
          <desc>
            <address>
              <addrLine>Ammerländer Heerstr. 114-118, 26129 Oldenburg</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.uni-oldenburg.de/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-392558" status="VALID">
          <orgName>Département Images, Robotique, Automatique et Signal [Orléans]</orgName>
          <orgName type="acronym">IRAUS</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-orleans.fr/fr/prisme/la-recherche/departement-iraus</ref>
          </desc>
          <listRelation>
            <relation active="#struct-536335" type="direct"/>
            <relation name="UR 4229" active="#struct-300297" type="indirect"/>
            <relation name="UR 4229" active="#struct-303079" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-87688" status="VALID">
          <orgName>Department of Computing and Software</orgName>
          <orgName type="acronym">McMaster University</orgName>
          <desc>
            <address>
              <addrLine>1280 Main Street West - Hamilton, Ontario, Canada, L8S 4K1</addrLine>
              <country key="CA"/>
            </address>
            <ref type="url">http://www.cas.mcmaster.ca</ref>
          </desc>
          <listRelation>
            <relation active="#struct-64587" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-536335" status="VALID">
          <idno type="IdRef">166710369</idno>
          <idno type="ISNI">0000000449105735</idno>
          <idno type="RNSR">200822710E</idno>
          <idno type="ROR">https://ror.org/00sbth994</idno>
          <idno type="Wikidata">Q51785587</idno>
          <orgName>Laboratoire pluridisciplinaire de recherche en ingénierie des systèmes, mécanique et énergétique</orgName>
          <orgName type="acronym">PRISME</orgName>
          <desc>
            <address>
              <addrLine>8, rue Léonard de Vinci - 45067 ORLEANS CEDEX 2 - France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-orleans.fr/prisme</ref>
          </desc>
          <listRelation>
            <relation name="UR 4229" active="#struct-300297" type="direct"/>
            <relation name="UR 4229" active="#struct-303079" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300297" status="VALID">
          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000 0001 2158 1666</idno>
          <idno type="ROR">https://ror.org/014zrew76</idno>
          <orgName>Université d'Orléans</orgName>
          <orgName type="acronym">UO</orgName>
          <desc>
            <address>
              <addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303079" status="VALID">
          <idno type="IdRef">203592077</idno>
          <orgName>Institut National des Sciences Appliquées - Centre Val de Loire</orgName>
          <orgName type="acronym">INSA CVL</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>88 boulevard Lahitolle, CS 60013, 18022 Bourges cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-centrevaldeloire.fr/fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" 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-64587" status="VALID">
          <idno type="ROR">https://ror.org/02fa3aq29</idno>
          <orgName>McMaster University [Hamilton, Ontario]</orgName>
          <desc>
            <address>
              <addrLine>1280 Main Street WestHamilton, Ontario  L8S 4L8</addrLine>
              <country key="CA"/>
            </address>
            <ref type="url">http://www.mcmaster.ca/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>