<?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-01300505</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-20T01:42:32+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Interrupt Timed Automata with Auxiliary Clocks and Parameters</title>
            <author role="crp">
              <persName>
                <forename type="first">Beatrice</forename>
                <surname>Bérard</surname>
              </persName>
              <email type="md5">c8f5f5e7dae68065d538d083be96e7bc</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">beatrice-berard</idno>
              <idno type="idhal" notation="numeric">9360</idno>
              <idno type="halauthorid" notation="string">1017712-9360</idno>
              <idno type="IDREF">https://www.idref.fr/029892740</idno>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Serge</forename>
                <surname>Haddad</surname>
              </persName>
              <email type="md5">52e3e614b453b4f4234f21c3d03650dd</email>
              <email type="domain">lsv.fr</email>
              <idno type="idhal" notation="string">serge-haddad</idno>
              <idno type="idhal" notation="numeric">745039</idno>
              <idno type="halauthorid" notation="string">51212-745039</idno>
              <idno type="IDREF">https://www.idref.fr/032657501</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1759-1201</idno>
              <idno type="VIAF">https://viaf.org/viaf/226400758</idno>
              <idno type="ISNI">http://isni.org/isni/0000000363340427</idno>
              <affiliation ref="#struct-2571"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Aleksandra</forename>
                <surname>Jovanović</surname>
              </persName>
              <idno type="halauthorid">1017713-0</idno>
              <affiliation ref="#struct-189626"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Didier</forename>
                <surname>Lime</surname>
              </persName>
              <email type="md5">541a3915720d3330fe206d3e64c7830c</email>
              <email type="domain">ec-nantes.fr</email>
              <idno type="idhal" notation="string">didier-lime</idno>
              <idno type="idhal" notation="numeric">17326</idno>
              <idno type="halauthorid" notation="string">267158-17326</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9429-7586</idno>
              <idno type="IDREF">https://www.idref.fr/08563025X</idno>
              <idno type="IDREF">https://www.idref.fr/151927081</idno>
              <affiliation ref="#struct-21439"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Gestionnaire</forename>
                <surname>HAL-UPMC</surname>
              </persName>
              <email type="md5">5e5f92b30d5a5dc773d73b514d0dc0a4</email>
              <email type="domain">upmc.fr</email>
            </editor>
            <funder ref="#projanr-41258"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-04-11 10:46:58</date>
              <date type="whenModified">2024-10-30 21:44:41</date>
              <date type="whenReleased">2016-04-11 10:46:58</date>
              <date type="whenProduced">2016-03</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1409.2408"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="320703">
                <persName>
                  <forename>Gestionnaire</forename>
                  <surname>HAL-UPMC</surname>
                </persName>
                <email type="md5">5e5f92b30d5a5dc773d73b514d0dc0a4</email>
                <email type="domain">upmc.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01300505</idno>
            <idno type="halUri">https://hal.sorbonne-universite.fr/hal-01300505</idno>
            <idno type="halBibtex">berard:hal-01300505</idno>
            <idno type="halRefHtml">&lt;i&gt;Fundamenta Informaticae&lt;/i&gt;, 2016, 143 (3-4), pp.235-259. &lt;a target="_blank" href="https://dx.doi.org/10.3233/FI-2016-1313"&gt;&amp;#x27E8;10.3233/FI-2016-1313&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Fundamenta Informaticae, 2016, 143 (3-4), pp.235-259. &amp;#x27E8;10.3233/FI-2016-1313&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="IRCCYN" corresp="UNIV-NANTES">Institut de Recherche en Communication et Cybernétique de Nantes</idno>
            <idno type="stamp" n="IRCCYN-STR" corresp="IRCCYN">Systèmes Temps Réel</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</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="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="ENS-CACHAN-SACLAY" corresp="UNIV-PARIS-SACLAY">ENS-CACHAN-SACLAY</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="LSV-AUTO">Laboratoire Spécification et Vérification</idno>
            <idno type="stamp" n="FARMAN">Institut Farman</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="UNIV-NANTES-AV2022">Université de Nantes</idno>
            <idno type="stamp" n="NU-CENTRALE">École Centrale de Nantes</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">Interrupt Timed Automata with Auxiliary Clocks and Parameters</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Beatrice</forename>
                    <surname>Bérard</surname>
                  </persName>
                  <email type="md5">c8f5f5e7dae68065d538d083be96e7bc</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">beatrice-berard</idno>
                  <idno type="idhal" notation="numeric">9360</idno>
                  <idno type="halauthorid" notation="string">1017712-9360</idno>
                  <idno type="IDREF">https://www.idref.fr/029892740</idno>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Serge</forename>
                    <surname>Haddad</surname>
                  </persName>
                  <email type="md5">52e3e614b453b4f4234f21c3d03650dd</email>
                  <email type="domain">lsv.fr</email>
                  <idno type="idhal" notation="string">serge-haddad</idno>
                  <idno type="idhal" notation="numeric">745039</idno>
                  <idno type="halauthorid" notation="string">51212-745039</idno>
                  <idno type="IDREF">https://www.idref.fr/032657501</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1759-1201</idno>
                  <idno type="VIAF">https://viaf.org/viaf/226400758</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000363340427</idno>
                  <affiliation ref="#struct-2571"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Aleksandra</forename>
                    <surname>Jovanović</surname>
                  </persName>
                  <idno type="halauthorid">1017713-0</idno>
                  <affiliation ref="#struct-189626"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Didier</forename>
                    <surname>Lime</surname>
                  </persName>
                  <email type="md5">541a3915720d3330fe206d3e64c7830c</email>
                  <email type="domain">ec-nantes.fr</email>
                  <idno type="idhal" notation="string">didier-lime</idno>
                  <idno type="idhal" notation="numeric">17326</idno>
                  <idno type="halauthorid" notation="string">267158-17326</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9429-7586</idno>
                  <idno type="IDREF">https://www.idref.fr/08563025X</idno>
                  <idno type="IDREF">https://www.idref.fr/151927081</idno>
                  <affiliation ref="#struct-21439"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">STR_HCERES2020</idno>
                <idno type="halJournalId" status="VALID">20891</idno>
                <idno type="issn">0169-2968</idno>
                <idno type="eissn">1875-8681</idno>
                <title level="j">Fundamenta Informaticae</title>
                <imprint>
                  <publisher>Polskie Towarzystwo Matematyczne</publisher>
                  <biblScope unit="volume">143</biblScope>
                  <biblScope unit="issue">3-4</biblScope>
                  <biblScope unit="pp">235-259</biblScope>
                  <date type="datePub">2016-03</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1409.2408</idno>
              <idno type="doi">10.3233/FI-2016-1313</idno>
            </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="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>Interrupt Timed Automata (ITA) are an expressive timed model, introduced to take into account interruptions according to levels. Due to this feature, this formalism is incomparable with Timed Automata. However several decidability results related to reachability and model checking have been obtained. We add auxiliary clocks to ITA, thereby extending its expressive power while preserving decidability of reachability. Moreover, we define a parametrized version of ITA, with polynomials of parameters appearing in guards and updates. While parametric reasoning is particularly relevant for timed models, it very often leads to undecidability results. We prove that various reachability problems, including robust reachability, are decidable for this model, and we give complexity upper bounds for a fixed or variable number of clocks, levels and parameters.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-405336" status="OLD">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MoVe</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2571" status="OLD">
          <orgName>Laboratoire Spécification et Vérification [Cachan]</orgName>
          <orgName type="acronym">LSV</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lsv.ens-cachan.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6862" type="direct"/>
            <relation name="UMR8643" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-189626" status="VALID">
          <orgName>Department of Computer Science [Oxford]</orgName>
          <desc>
            <address>
              <addrLine>University of Oxford Wolfson Building Parks Road OXFORD OX1 3QD UK</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.cs.ox.ac.uk/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302612" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-21439" status="OLD">
          <orgName>Institut de Recherche en Communications et en Cybernétique de Nantes</orgName>
          <orgName type="acronym">IRCCyN</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>1, rue de la Noë BP92101 44321 Nantes Cedex 03</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irccyn.ec-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-84538" type="direct"/>
            <relation active="#struct-111023" type="direct"/>
            <relation active="#struct-300405" type="direct"/>
            <relation name="93263" active="#struct-93263" type="indirect"/>
            <relation active="#struct-301358" type="direct"/>
            <relation name="UMR6597" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.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>
        <org type="institution" xml:id="struct-6862" status="VALID">
          <orgName>École normale supérieure - Cachan</orgName>
          <orgName type="acronym">ENS Cachan</orgName>
          <desc>
            <address>
              <addrLine>61, avenue du Président Wilson - 94230 Cachan</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-cachan.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-302612" status="VALID">
          <idno type="ROR">https://ror.org/052gg0110</idno>
          <orgName>University of Oxford</orgName>
          <desc>
            <address>
              <addrLine>Wellington Square, Oxford OX1 2JD</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.ox.ac.uk/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-84538" status="OLD">
          <orgName>Mines Nantes</orgName>
          <orgName type="acronym">Mines Nantes</orgName>
          <date type="start">1991-10-08</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.mines-nantes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-111023" status="OLD">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>École Centrale de Nantes</orgName>
          <orgName type="acronym">ECN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.fr/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-300405" status="OLD">
          <idno type="IdRef">068449399</idno>
          <orgName>Ecole Polytechnique de l'Université de Nantes</orgName>
          <orgName type="acronym">EPUN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Campus Chantrerie : Rue Christian Pauc - CS 50609 - 44306 Nantes Cedex 3Campus Gavy : Gavy Océanis -  CS 70152 - 44603 Saint-Nazaire CedexCampus Courtaisière : 18 Boulevard Gaston Defferre - 85035 La Roche-sur-Yon Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://web.polytech.univ-nantes.fr/l-ecole/</ref>
          </desc>
          <listRelation>
            <relation name="93263" active="#struct-93263" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93263" status="OLD">
          <idno type="IdRef">026403447</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Université de Nantes</orgName>
          <orgName type="acronym">UN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-nantes.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-301358" status="OLD">
          <idno type="IdRef">187401039</idno>
          <orgName>PRES Université Nantes Angers Le Mans</orgName>
          <orgName type="acronym">UNAM</orgName>
          <date type="start">2008-12-31</date>
          <date type="end">2016-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-41258" status="VALID">
          <idno type="anr">ANR-14-CE28-0002</idno>
          <idno type="program">Appel à projets générique</idno>
          <orgName>PACS</orgName>
          <desc>Analyses paramétrées de systèmes concurrents</desc>
          <date type="start">2014</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>