<?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-01568597</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-25T23:26:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Applying differential dynamic logic to reconfigurable biological networks</title>
            <author role="aut">
              <persName>
                <forename type="first">Daniel</forename>
                <surname>Figueiredo</surname>
              </persName>
              <idno type="halauthorid">1091896-0</idno>
              <affiliation ref="#struct-212014"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Manuel</forename>
                <forename type="middle">A</forename>
                <surname>Martins</surname>
              </persName>
              <idno type="halauthorid">1206034-0</idno>
              <affiliation ref="#struct-212014"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Madalena</forename>
                <surname>Chaves</surname>
              </persName>
              <email type="md5">c0e492b1feafcdd91157f611a2fa3d6a</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">madalena-chaves</idno>
              <idno type="idhal" notation="numeric">1039608</idno>
              <idno type="halauthorid" notation="string">355992-1039608</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0647-9254</idno>
              <affiliation ref="#struct-147973"/>
              <affiliation ref="#struct-523042"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jean-Luc</forename>
                <surname>Gouzé</surname>
              </persName>
              <email type="md5">23c91427830ed3526120e4e28243384f</email>
              <email type="domain">inria.fr</email>
            </editor>
            <funder ref="#projanr-44636"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-07-25 14:38:03</date>
              <date type="whenModified">2025-08-26 15:21:01</date>
              <date type="whenReleased">2017-07-25 15:34:19</date>
              <date type="whenProduced">2017</date>
              <date type="whenEndEmbargoed">2017-07-25</date>
              <ref type="file" target="https://inria.hal.science/hal-01568597v1/document">
                <date notBefore="2017-07-25"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01568597v1/file/DFMMMC-mc-web-version.pdf" id="file-1568597-1620960">
                <date notBefore="2017-07-25"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01568597/file/DFMMMC-mc-web-version.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="184063">
                <persName>
                  <forename>Jean-Luc</forename>
                  <surname>Gouzé</surname>
                </persName>
                <email type="md5">23c91427830ed3526120e4e28243384f</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01568597</idno>
            <idno type="halUri">https://inria.hal.science/hal-01568597</idno>
            <idno type="halBibtex">figueiredo:hal-01568597</idno>
            <idno type="halRefHtml">&lt;i&gt;Mathematical Biosciences&lt;/i&gt;, 2017, 291, pp.10 - 20. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.mbs.2017.05.012"&gt;&amp;#x27E8;10.1016/j.mbs.2017.05.012&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Mathematical Biosciences, 2017, 291, pp.10 - 20. &amp;#x27E8;10.1016/j.mbs.2017.05.012&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1568597-1620960"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INSU">INSU - Institut National des Sciences de l'Univers</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="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRA">INRA - Institut national de la recherche agronomique</idno>
            <idno type="stamp" n="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LOV" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Océanographie de Villefranche</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="AGREENIUM">Archive ouverte en agrobiosciences</idno>
            <idno type="stamp" n="UPMC_POLE_3" corresp="UPMC">UPMC Pôle 3</idno>
            <idno type="stamp" n="INRIA2017">INRIA2017</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</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-SCI" corresp="SORBONNE-UNIVERSITE">Sciences - Sorbonne Université</idno>
            <idno type="stamp" n="UMS-829" corresp="SORBONNE-UNIVERSITE">Institut de la mer de Villefranche</idno>
            <idno type="stamp" n="INRAE">Institut National de Recherche en Agriculture, Alimentation et Environnement</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="INRIAARTDOI">INRIAARTDOI</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">Applying differential dynamic logic to reconfigurable biological networks</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Daniel</forename>
                    <surname>Figueiredo</surname>
                  </persName>
                  <idno type="halauthorid">1091896-0</idno>
                  <affiliation ref="#struct-212014"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Manuel</forename>
                    <forename type="middle">A</forename>
                    <surname>Martins</surname>
                  </persName>
                  <idno type="halauthorid">1206034-0</idno>
                  <affiliation ref="#struct-212014"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Madalena</forename>
                    <surname>Chaves</surname>
                  </persName>
                  <email type="md5">c0e492b1feafcdd91157f611a2fa3d6a</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">madalena-chaves</idno>
                  <idno type="idhal" notation="numeric">1039608</idno>
                  <idno type="halauthorid" notation="string">355992-1039608</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0647-9254</idno>
                  <affiliation ref="#struct-147973"/>
                  <affiliation ref="#struct-523042"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">16914</idno>
                <idno type="issn">0025-5564</idno>
                <title level="j">Mathematical Biosciences</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">291</biblScope>
                  <biblScope unit="pp">10 - 20</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.mbs.2017.05.012</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Discrete controllers</term>
                <term xml:lang="en">Differential dynamic logic</term>
                <term xml:lang="en">Biological regulatory networks</term>
                <term xml:lang="en">Hybrid systems</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-au">Computer Science [cs]/Automatic Control Engineering</classCode>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halDomain" n="spi">Engineering Sciences [physics]</classCode>
              <classCode scheme="halDomain" n="sdv">Life Sciences [q-bio]</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>Qualitative and quantitative modeling frameworks are widely used for analysis of biological regulatory networks, the former giving a preliminary overview of the system's global dynamics and the latter providing more detailed solutions. Another approach is to model biological regulatory networks as hybrid systems, i.e., systems which can display both continuous and discrete dynamic behaviors. Actually, the development of synthetic biology has shown that this is a suitable way to think about biological systems, which can often be constructed as networks with discrete controllers, and present hybrid behaviors. In this paper we discuss this approach as a special case of the reconfigurability paradigm, well studied in Computer Science (CS). In CS there are well developed computational tools to reason about hybrid systems. We argue that it is worth applying such tools in a biological context. One interesting tool is Differential Dynamic Logic (dL), which has recently been developed by Platzer and applied to many case-studies. In this paper we discuss some simple examples of biological regulatory networks to illustrate how dL can be used as an alternative, or also as a complement to methods already used.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-212014" status="VALID">
          <orgName>Center for Research &amp; Development in Mathematics and Applications [Aveiro]</orgName>
          <orgName type="acronym">CIDMA</orgName>
          <desc>
            <address>
              <addrLine>CIDMA - Centro de I&amp;D em Matemática e AplicaçõesDepartamento de MatemáticaCampus Universitário de Santiago3810 - 193 AVEIROPORTUGAL</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">https://cidma.ua.pt/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-60947" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-147973" status="OLD">
          <idno type="RNSR">201121226D</idno>
          <orgName>Biological control of artificial ecosystems</orgName>
          <orgName type="acronym">BIOCORE</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1037" type="direct"/>
            <relation active="#struct-1847" type="indirect"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation active="#struct-300045" type="indirect"/>
            <relation name="UMS829" active="#struct-441569" type="indirect"/>
            <relation name="UMR7093" active="#struct-441569" type="indirect"/>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-92114" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-523042" status="OLD">
          <idno type="IdRef">185433669</idno>
          <orgName>COMUE Université Côte d'Azur (2015-2019)</orgName>
          <orgName type="acronym">COMUE UCA</orgName>
          <date type="start">2015-03-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-60947" status="VALID">
          <idno type="ROR">https://ror.org/00nt41z93</idno>
          <orgName>Universidade de Aveiro = University of Aveiro</orgName>
          <desc>
            <address>
              <addrLine>Campus Universitário de Santiago 3810-193 Aveiro</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://www.ua.pt/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1037" status="OLD">
          <idno type="IdRef">153688688</idno>
          <idno type="ISNI">0000000403668890</idno>
          <idno type="RNSR">200112481S</idno>
          <idno type="ROR">https://ror.org/05r5y6641</idno>
          <orgName>Laboratoire d'océanographie de Villefranche</orgName>
          <orgName type="acronym">LOV</orgName>
          <date type="start">2001-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Observatoire Océanologique Station zoologique 181, chemin du lazaret BP 28 06230 VILLEFRANCHE SUR MER Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.obs-vlfr.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1847" type="direct"/>
            <relation active="#struct-93591" type="direct"/>
            <relation active="#struct-300045" type="direct"/>
            <relation name="UMS829" active="#struct-441569" type="direct"/>
            <relation name="UMR7093" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1847" status="OLD">
          <idno type="IdRef">031348491</idno>
          <idno type="ISNI">0000000406386661</idno>
          <idno type="RNSR">200112481S</idno>
          <orgName>Observatoire océanologique de Villefranche-sur-mer</orgName>
          <orgName type="acronym">OOVM</orgName>
          <date type="start">1983-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Observatoire Océanologique BP 28 06234 VILLEFRANCHE SUR MER CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.obs-vlfr.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation active="#struct-300045" type="direct"/>
            <relation name="UMS829" 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="institution" xml:id="struct-300045" status="VALID">
          <idno type="IdRef">029349265</idno>
          <idno type="ISNI">0000 0001 2154 1736</idno>
          <idno type="ROR">https://ror.org/04kdfz702</idno>
          <idno type="Wikidata">Q3152437</idno>
          <orgName>Institut national des sciences de l'Univers</orgName>
          <orgName type="acronym">INSU - CNRS</orgName>
          <date type="start">2007-04-19</date>
          <desc>
            <address>
              <addrLine>INSU-CNRS3 rue Michel-Ange, 75794 Paris Cedex 16</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.insu.cnrs.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="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-92114" status="OLD">
          <idno type="ROR">https://ror.org/01x3gbx83</idno>
          <orgName>Institut National de la Recherche Agronomique</orgName>
          <orgName type="acronym">INRA</orgName>
          <date type="start">1946-05-18</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inra.fr</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-44636" status="VALID">
          <idno type="anr">ANR-16-CE33-0016</idno>
          <orgName>ICycle</orgName>
          <desc>Interconnexion et contrôle de deux oscillateurs biologiques dans des cellules mammaliennes</desc>
          <date type="start">2016</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>