<?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-01398735</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-19T07:55:32+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A New Approach of Qualitative Simulation for the Validation of Hybrid Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Slim</forename>
                <surname>Medimegh</surname>
              </persName>
              <idno type="halauthorid">1081638-0</idno>
              <affiliation ref="#struct-40217"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Yves</forename>
                <surname>Pierron</surname>
              </persName>
              <email type="md5">a70c49eaa6402c2423d7a996890fa8b7</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">979950</idno>
              <idno type="halauthorid" notation="string">1011915-979950</idno>
              <affiliation ref="#struct-40217"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Pierre</forename>
                <surname>Gallois</surname>
              </persName>
              <email type="md5">bec9c63d0d3c4ebdc0de9b3e3d015588</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="numeric">1026008</idno>
              <idno type="halauthorid" notation="string">1292946-1026008</idno>
              <orgName ref="#struct-40217"/>
              <affiliation ref="#struct-40217"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Boulanger</surname>
              </persName>
              <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">frederic-boulanger</idno>
              <idno type="idhal" notation="numeric">4636</idno>
              <idno type="halauthorid" notation="string">54801-4636</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3185-2807</idno>
              <idno type="IDREF">https://www.idref.fr/132922029</idno>
              <affiliation ref="#struct-411575"/>
              <affiliation ref="#struct-419361"/>
              <affiliation ref="#struct-2544"/>
              <affiliation ref="#struct-454174"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Frédéric</forename>
                <surname>Boulanger</surname>
              </persName>
              <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-11-17 16:28:30</date>
              <date type="whenWritten">2016-09-13</date>
              <date type="whenModified">2025-02-20 17:55:51</date>
              <date type="whenReleased">2016-11-21 10:51:46</date>
              <date type="whenProduced">2016-10-04</date>
              <date type="whenEndEmbargoed">2016-11-17</date>
              <ref type="file" target="https://centralesupelec.hal.science/hal-01398735v1/document">
                <date notBefore="2016-11-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://centralesupelec.hal.science/hal-01398735v1/file/article-final.pdf" id="file-1398735-1482331">
                <date notBefore="2016-11-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="178320">
                <persName>
                  <forename>Frédéric</forename>
                  <surname>Boulanger</surname>
                </persName>
                <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01398735</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-01398735</idno>
            <idno type="halBibtex">medimegh:hal-01398735</idno>
            <idno type="halRefHtml">&lt;i&gt;GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016&lt;/i&gt;, Julien DeAntoni, Jeff Gray, Eugene Syriani, Oct 2016, Saint Malo, France</idno>
            <idno type="halRef">GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Julien DeAntoni, Jeff Gray, Eugene Syriani, Oct 2016, Saint Malo, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1398735-1482331"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="UMR8623">Laboratoire de Recherche en Informatique</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="LRI-MODHEL" corresp="UMR8623">Equipe : Modélisation Hétérogène</idno>
            <idno type="stamp" n="DRT" corresp="CEA">Direction de la recherche technologique</idno>
            <idno type="stamp" n="CEA-UPSAY" corresp="CEA">CEA - Université Paris-Saclay</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="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</idno>
            <idno type="stamp" n="CEA-UPSAY-SACLAY" corresp="CEA">CEA-UPSAY-SACLAY</idno>
            <idno type="stamp" n="CENTRALESUPELEC-SACLAY" corresp="UNIV-PARIS-SACLAY">CENTRALESUPELEC-SACLAY</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="GS-ENGINEERING">Graduate School Sciences de l'Ingénierie et des Systèmes</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</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">A New Approach of Qualitative Simulation for the Validation of Hybrid Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Slim</forename>
                    <surname>Medimegh</surname>
                  </persName>
                  <idno type="halauthorid">1081638-0</idno>
                  <affiliation ref="#struct-40217"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Yves</forename>
                    <surname>Pierron</surname>
                  </persName>
                  <email type="md5">a70c49eaa6402c2423d7a996890fa8b7</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">979950</idno>
                  <idno type="halauthorid" notation="string">1011915-979950</idno>
                  <affiliation ref="#struct-40217"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Pierre</forename>
                    <surname>Gallois</surname>
                  </persName>
                  <email type="md5">bec9c63d0d3c4ebdc0de9b3e3d015588</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="numeric">1026008</idno>
                  <idno type="halauthorid" notation="string">1292946-1026008</idno>
                  <orgName ref="#struct-40217"/>
                  <affiliation ref="#struct-40217"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Boulanger</surname>
                  </persName>
                  <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">frederic-boulanger</idno>
                  <idno type="idhal" notation="numeric">4636</idno>
                  <idno type="halauthorid" notation="string">54801-4636</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3185-2807</idno>
                  <idno type="IDREF">https://www.idref.fr/132922029</idno>
                  <affiliation ref="#struct-411575"/>
                  <affiliation ref="#struct-419361"/>
                  <affiliation ref="#struct-2544"/>
                  <affiliation ref="#struct-454174"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">CEUR Workshop Proceedings</title>
                <meeting>
                  <title>GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016</title>
                  <date type="start">2016-10-04</date>
                  <date type="end">2016-10-04</date>
                  <settlement>Saint Malo</settlement>
                  <country key="FR">France</country>
                </meeting>
                <respStmt>
                  <resp>conferenceOrganizer</resp>
                  <name>Julien DeAntoni, Jeff Gray, Eugene Syriani</name>
                </respStmt>
                <imprint>
                  <biblScope unit="serie">Proceedings of the GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016</biblScope>
                  <biblScope unit="issue">1731</biblScope>
                  <date type="datePub">2016-11-17</date>
                </imprint>
              </monogr>
              <ref type="publisher">http://gemoc.org/gemoc2016/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">validation</term>
                <term xml:lang="en">verification</term>
                <term xml:lang="en">qualitative simulation</term>
                <term xml:lang="en">hybrid systems</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</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>Hybrid systems are specified in a heterogeneous form, with discrete and continuous parts. Simulating such systems requires precise data and computational power in order to synchronize continuous changes and discrete transitions. However, in the early design stages, the lack of precision about some parameters forbids such simulations. Qualitative simulation consists in computing only some qualities of the behavior, without computing the exact values. We present here a new approach for the qualitative simulation of hybrid systems, which relies on an abstract model of the state variables and of the qualitative aspects of their evolution. This model is analyzed by the Diversity symbolic execution engine to build the qualitative behaviors of the system.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2544" status="OLD">
          <idno type="RNSR">199812948M</idno>
          <orgName>Laboratoire de Recherche en Informatique</orgName>
          <orgName type="acronym">LRI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lri.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR8623" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-454174" status="OLD">
          <orgName>Modélisation hétérogène (LRI)</orgName>
          <orgName type="acronym">MODHEL - LRI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Université Paris Sud Bat. 650 - Lovelace 91405 Orsay Cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-2544" type="direct"/>
            <relation active="#struct-92966" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR8623" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.fr/</ref>
          </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>
      </listOrg>
    </back>
  </text>
</TEI>