<?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-02930466</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-14T03:55:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Interval-Based Simulation of Zélus IVPs Using DynIbex</title>
            <author role="aut">
              <persName>
                <forename type="first">Jason</forename>
                <surname>Brown</surname>
              </persName>
              <idno type="halauthorid">907904-0</idno>
              <affiliation ref="#struct-366034"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">François</forename>
                <surname>Pessaux</surname>
              </persName>
              <email type="md5">20d6900b3828170ee44e7efd2fa65927</email>
              <email type="domain">yahoo.fr</email>
              <idno type="idhal" notation="string">francois-pessaux</idno>
              <idno type="idhal" notation="numeric">5188</idno>
              <idno type="halauthorid" notation="string">2256-5188</idno>
              <idno type="IDREF">https://www.idref.fr/180411071</idno>
              <affiliation ref="#struct-234188"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>François</forename>
                <surname>Pessaux</surname>
              </persName>
              <email type="md5">20d6900b3828170ee44e7efd2fa65927</email>
              <email type="domain">yahoo.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-09-04 14:15:00</date>
              <date type="whenModified">2026-02-13 03:26:40</date>
              <date type="whenReleased">2020-09-08 09:02:52</date>
              <date type="whenProduced">2020</date>
              <date type="whenEndEmbargoed">2020-09-04</date>
              <ref type="file" target="https://hal.science/hal-02930466v1/document">
                <date notBefore="2020-09-04"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02930466v1/file/main.pdf" id="file-2930466-2581901">
                <date notBefore="2020-09-04"/>
              </ref>
              <ref type="externalLink" target="https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/4134/4009"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="312799">
                <persName>
                  <forename>François</forename>
                  <surname>Pessaux</surname>
                </persName>
                <email type="md5">20d6900b3828170ee44e7efd2fa65927</email>
                <email type="domain">yahoo.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02930466</idno>
            <idno type="halUri">https://hal.science/hal-02930466</idno>
            <idno type="halBibtex">brown:hal-02930466</idno>
            <idno type="halRefHtml">&lt;i&gt;Acta Cybernetica&lt;/i&gt;, 2020, pp.1 - 16. &lt;a target="_blank" href="https://dx.doi.org/10.14232/actacyb.285246"&gt;&amp;#x27E8;10.14232/actacyb.285246&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Acta Cybernetica, 2020, pp.1 - 16. &amp;#x27E8;10.14232/actacyb.285246&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2930466-2581901"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENSTA_U2IS">Unité d'Informatique et d'Ingénierie des Systèmes (U2IS)</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="IP_PARIS">Institut Polytechnique de Paris</idno>
            <idno type="stamp" n="ENSTA-PARIS">ENSTA-PARIS</idno>
            <idno type="stamp" n="ENSTA">Ensta</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATIQUE-DONNEES-ET-IA">IP Paris Département d'Informatique, de Données et d'IA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Interval-Based Simulation of Zélus IVPs Using DynIbex</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jason</forename>
                    <surname>Brown</surname>
                  </persName>
                  <idno type="halauthorid">907904-0</idno>
                  <affiliation ref="#struct-366034"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">François</forename>
                    <surname>Pessaux</surname>
                  </persName>
                  <email type="md5">20d6900b3828170ee44e7efd2fa65927</email>
                  <email type="domain">yahoo.fr</email>
                  <idno type="idhal" notation="string">francois-pessaux</idno>
                  <idno type="idhal" notation="numeric">5188</idno>
                  <idno type="halauthorid" notation="string">2256-5188</idno>
                  <idno type="IDREF">https://www.idref.fr/180411071</idno>
                  <affiliation ref="#struct-234188"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">42114</idno>
                <idno type="issn">0324-721X</idno>
                <idno type="eissn">2676-993X</idno>
                <title level="j">Acta Cybernetica</title>
                <imprint>
                  <publisher>University of Szeged, Institute of Informatics</publisher>
                  <biblScope unit="pp">1 - 16</biblScope>
                  <date type="datePub">2020</date>
                  <date type="dateEpub">2020-08-19</date>
                </imprint>
              </monogr>
              <idno type="doi">10.14232/actacyb.285246</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">DynIbex</term>
                <term xml:lang="en">Zélus</term>
                <term xml:lang="en">Compilation</term>
                <term xml:lang="en">Hybrid System</term>
                <term xml:lang="en">Interval</term>
                <term xml:lang="en">Guaranteed Integration</term>
                <term xml:lang="en">Simulation</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Modeling continuous-time dynamical systems is a complex task. Fortunately some dedicated programming languages exist to ease this work. Zélus is one such language that generates a simulation executable which can be used to study the behavior of the modeled system. However, such simulations cannot handle uncertainties on some parameters of the system. This makes it necessary to run multiple simulations to check that the system fulfills particular requirements (safety for instance) for all the values in the uncertainty ranges. Interval-based guaranteed integration methods provide a solution to this problem. The DynIbex library provides such methods but it requires a manual encoding of the system in a general purpose programming language (C++). This article presents an extension of the Zélus compiler to generate interval-based guaranteed simulations of IVPs using DynIbex. This extension is conservative since it does not break the existing compilation workflow.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-366034" status="VALID">
          <idno type="IdRef">028326792</idno>
          <idno type="ISNI">0000000122889830</idno>
          <idno type="ROR">https://ror.org/03rmrcq20</idno>
          <idno type="Wikidata">Q391028</idno>
          <orgName>University of British Columbia [Canada]</orgName>
          <orgName type="acronym">UBC</orgName>
          <date type="start">1908-01-01</date>
          <desc>
            <address>
              <addrLine>Vancouver Campus, 2329 West Mall, Vancouver, BC, V6T 1Z4 / Okanagan Campus, 3333 University Way, Kelowna, BC, V1V 1V7</addrLine>
              <country key="CA"/>
            </address>
            <ref type="url">https://www.ubc.ca</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-234188" status="OLD">
          <idno type="IdRef">203564529</idno>
          <idno type="RNSR">200920620D</idno>
          <orgName>Unité d'Informatique et d'Ingénierie des Systèmes</orgName>
          <orgName type="acronym">U2IS</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>828, boulevard des Maréchaux, 91762 Palaiseau CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://u2is.ensta-paris.fr/index.php?lang=fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300065" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300065" status="OLD">
          <idno type="IdRef">028139577</idno>
          <idno type="ISNI">0000000122070120</idno>
          <idno type="ROR">https://ror.org/0309cs235</idno>
          <idno type="Wikidata">Q838454</idno>
          <orgName>École Nationale Supérieure de Techniques Avancées</orgName>
          <orgName type="acronym">ENSTA Paris</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>828, boulevard des Maréchaux 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ensta-paris.fr/fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>