<?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-02272482</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-24T18:00:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations</title>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Rocca</surname>
              </persName>
              <idno type="halauthorid">1119258-0</idno>
              <affiliation ref="#struct-391841"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thao</forename>
                <surname>Dang</surname>
              </persName>
              <email type="md5">2c2d010420bba0cd0180092be1809e63</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">thao-dang</idno>
              <idno type="idhal" notation="numeric">180504</idno>
              <idno type="halauthorid" notation="string">4664-180504</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3637-1415</idno>
              <idno type="IDREF">https://www.idref.fr/121779823</idno>
              <affiliation ref="#struct-565701"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Eric</forename>
                <surname>Fanchon</surname>
              </persName>
              <email type="md5">89978d1342a6e28523112db21d4756aa</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">eric-fanchon</idno>
              <idno type="idhal" notation="numeric">1377912</idno>
              <idno type="halauthorid" notation="string">105563-1377912</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7409-962X</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/M-7721-2014</idno>
              <idno type="IDREF">https://www.idref.fr/032434871</idno>
              <idno type="VIAF">https://viaf.org/viaf/73926876</idno>
              <idno type="ISNI">http://isni.org/isni/0000000039496817</idno>
              <affiliation ref="#struct-391841"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Catherine</forename>
                <surname>ZOPPIS</surname>
              </persName>
              <email type="md5">6dd921a6b2d3ffcc35d48c9c0d521def</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-08-27 17:22:19</date>
              <date type="whenModified">2025-09-27 18:57:55</date>
              <date type="whenReleased">2019-08-27 17:22:19</date>
              <date type="whenProduced">2015-12-25</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="469462">
                <persName>
                  <forename>Catherine</forename>
                  <surname>ZOPPIS</surname>
                </persName>
                <email type="md5">6dd921a6b2d3ffcc35d48c9c0d521def</email>
                <email type="domain">univ-grenoble-alpes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02272482</idno>
            <idno type="halUri">https://hal.science/hal-02272482</idno>
            <idno type="halBibtex">rocca:hal-02272482</idno>
            <idno type="halRefHtml">&lt;i&gt;Lecture Notes in Bioinformatics&lt;/i&gt;, pp.111-127, 2015, 978-3-319-27655-7</idno>
            <idno type="halRef">Lecture Notes in Bioinformatics, pp.111-127, 2015, 978-3-319-27655-7</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="TIMC-IMAG">TIMC</idno>
            <idno type="stamp" n="TIMC-IMAG-BCM" corresp="TIMC-IMAG">BCM : Biologie Computationnelle et Mathématique</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Rocca</surname>
                  </persName>
                  <idno type="halauthorid">1119258-0</idno>
                  <affiliation ref="#struct-391841"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thao</forename>
                    <surname>Dang</surname>
                  </persName>
                  <email type="md5">2c2d010420bba0cd0180092be1809e63</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">thao-dang</idno>
                  <idno type="idhal" notation="numeric">180504</idno>
                  <idno type="halauthorid" notation="string">4664-180504</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3637-1415</idno>
                  <idno type="IDREF">https://www.idref.fr/121779823</idno>
                  <affiliation ref="#struct-565701"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Eric</forename>
                    <surname>Fanchon</surname>
                  </persName>
                  <email type="md5">89978d1342a6e28523112db21d4756aa</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">eric-fanchon</idno>
                  <idno type="idhal" notation="numeric">1377912</idno>
                  <idno type="halauthorid" notation="string">105563-1377912</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7409-962X</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/M-7721-2014</idno>
                  <idno type="IDREF">https://www.idref.fr/032434871</idno>
                  <idno type="VIAF">https://viaf.org/viaf/73926876</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000039496817</idno>
                  <affiliation ref="#struct-391841"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-3-319-27655-7</idno>
                <title level="m">Lecture Notes in Bioinformatics</title>
                <imprint>
                  <biblScope unit="pp">111-127</biblScope>
                  <date type="datePub">2015-12-25</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="sdv">Life Sciences [q-bio]</classCode>
              <classCode scheme="halTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halOldTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halTreeTypology" n="COUV">Book sections</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Reachability analysis has recently proved to be a useful technique for analysing the behaviour of under-specified biological models. In this paper, we propose a method exploiting the eigenstructure of a linear continuous system to efficiently estimate a bounded interval containing the time at which the system can reach a target set from an initial set. Then this estimation can be directly integrated in an existing algorithm for hybrid systems with linear continuous dynamics, to speed up reachability computations. Furthermore, it can also be used to improve time-efficiency of the hybridization technique that is based on a piecewise-linear approximation of non-linear continuous dynamics. The proposed method is illustrated on a number of examples including a biological model.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-391841" status="OLD">
          <orgName>Biologie Computationnelle et Mathématique</orgName>
          <orgName type="acronym">TIMC-IMAG-BCM</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine de la Merci, 38706 La Tronche, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www-timc.imag.fr/bcm</ref>
          </desc>
          <listRelation>
            <relation active="#struct-707" type="direct"/>
            <relation active="#struct-51016" type="indirect"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation active="#struct-301767" type="indirect"/>
            <relation name="UMR5525" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-565701" status="VALID">
          <idno type="ISNI">0000 0000 9009 5680</idno>
          <idno type="ROR">https://ror.org/010yce376</idno>
          <idno type="Wikidata">Q2562140</idno>
          <orgName>University of Economics Ho Chi Minh City</orgName>
          <orgName type="acronym">UEH</orgName>
          <date type="start">1976-01-01</date>
          <desc>
            <address>
              <addrLine>59C Nguyen Dinh Chieu, Ward 6, District 3, Ho Chi Minh City</addrLine>
              <country key="VN"/>
            </address>
            <ref type="url">http://ueh.edu.vn/default_en.aspx</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-707" status="OLD">
          <idno type="IdRef">14728936X</idno>
          <idno type="ISNI">0000 0004 4687 1979</idno>
          <idno type="RNSR">199511969L</idno>
          <idno type="ROR">https://ror.org/03985kf35</idno>
          <orgName>Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525</orgName>
          <orgName type="acronym">TIMC-IMAG</orgName>
          <date type="start">1993-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine de la Merci, 38706 La Tronche, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www-timc.imag.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-301767" type="direct"/>
            <relation name="UMR5525" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301767" status="VALID">
          <idno type="ROR">https://ror.org/01c7wz417</idno>
          <orgName>VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement</orgName>
          <orgName type="acronym">VAS</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Lyon, VetAgro Sup, 69280 Marcy l'Etoile (campus vétérinaire); Université de Clermont, VetAgro Sup, 63370 Lempdes (campus agronomique)</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.vetagro-sup.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>