<?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-01962916</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-25T03:53:52+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Real-time emulation of boost inverter using the Systems Modeling Language and Petri nets</title>
            <author role="aut">
              <persName>
                <forename type="first">A.</forename>
                <surname>Gutierrez</surname>
              </persName>
              <idno type="halauthorid">1148700-0</idno>
              <affiliation ref="#struct-229853"/>
              <affiliation ref="#struct-217752"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michael</forename>
                <surname>Bressan</surname>
              </persName>
              <idno type="halauthorid">1503977-0</idno>
              <affiliation ref="#struct-229853"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Fernando</forename>
                <surname>Jimenez</surname>
              </persName>
              <email type="md5">7214f02ae34978bceefb3e6b52dc95f3</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">fernando-jimenez</idno>
              <idno type="idhal" notation="numeric">13496</idno>
              <idno type="halauthorid" notation="string">26018-13496</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1379-903X</idno>
              <idno type="IDREF">https://www.idref.fr/23312019X</idno>
              <orgName ref="#struct-229853"/>
              <affiliation ref="#struct-229853"/>
              <affiliation ref="#struct-388682"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Corinne</forename>
                <surname>Alonso</surname>
              </persName>
              <email type="md5">21c2b8e3ce32fa144425c5d517413e53</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">corinne-alonso</idno>
              <idno type="idhal" notation="numeric">171066</idno>
              <idno type="halauthorid" notation="string">42508-171066</idno>
              <idno type="IDREF">https://www.idref.fr/070842582</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2547-255X</idno>
              <affiliation ref="#struct-388682"/>
              <affiliation ref="#struct-217752"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Corinne</forename>
                <surname>Alonso</surname>
              </persName>
              <email type="md5">21c2b8e3ce32fa144425c5d517413e53</email>
              <email type="domain">laas.fr</email>
            </editor>
            <funder>collaboration Université des Andes/LAAS-CNRS</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-12-31 12:25:43</date>
              <date type="whenWritten">2018-08-01</date>
              <date type="whenModified">2025-10-22 18:04:08</date>
              <date type="whenReleased">2019-01-07 15:16:37</date>
              <date type="whenProduced">2018-08</date>
              <date type="whenEndEmbargoed">2018-12-31</date>
              <ref type="file" target="https://laas.hal.science/hal-01962916v1/document">
                <date notBefore="2018-12-31"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://laas.hal.science/hal-01962916v1/file/2018_Real-time%20Emulation_of_Boost_Inverter_Using_the_SysML_and_Petri_Nets.pdf" id="file-1967464-1990859">
                <date notBefore="2018-12-31"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="447977">
                <persName>
                  <forename>Corinne</forename>
                  <surname>Alonso</surname>
                </persName>
                <email type="md5">21c2b8e3ce32fa144425c5d517413e53</email>
                <email type="domain">laas.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01962916</idno>
            <idno type="halUri">https://laas.hal.science/hal-01962916</idno>
            <idno type="halBibtex">gutierrez:hal-01962916</idno>
            <idno type="halRefHtml">&lt;i&gt;Mathematics and Computers in Simulation&lt;/i&gt;, 2018, &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.matcom.2018.07.011"&gt;&amp;#x27E8;10.1016/j.matcom.2018.07.011&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Mathematics and Computers in Simulation, 2018, &amp;#x27E8;10.1016/j.matcom.2018.07.011&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1967464-1990859"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INSA-TOULOUSE">Institut National des Sciences Appliquées de Toulouse</idno>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="LAAS-ISGE" corresp="LAAS-GESTION-DE-L-ENERGIE">Equipe Intégration de Systèmes et Gestion de l'Energie</idno>
            <idno type="stamp" n="LAAS-GESTION-DE-L-ENERGIE" corresp="LAAS">LAAS-Gestion de l'énergie</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="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="TEST7-HALCNRS">test 7 du portail hal cnrs</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>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Real-time emulation of boost inverter using the Systems Modeling Language and Petri nets</title>
                <author role="aut">
                  <persName>
                    <forename type="first">A.</forename>
                    <surname>Gutierrez</surname>
                  </persName>
                  <idno type="halauthorid">1148700-0</idno>
                  <affiliation ref="#struct-229853"/>
                  <affiliation ref="#struct-217752"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michael</forename>
                    <surname>Bressan</surname>
                  </persName>
                  <idno type="halauthorid">1503977-0</idno>
                  <affiliation ref="#struct-229853"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Fernando</forename>
                    <surname>Jimenez</surname>
                  </persName>
                  <email type="md5">7214f02ae34978bceefb3e6b52dc95f3</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">fernando-jimenez</idno>
                  <idno type="idhal" notation="numeric">13496</idno>
                  <idno type="halauthorid" notation="string">26018-13496</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1379-903X</idno>
                  <idno type="IDREF">https://www.idref.fr/23312019X</idno>
                  <orgName ref="#struct-229853"/>
                  <affiliation ref="#struct-229853"/>
                  <affiliation ref="#struct-388682"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Corinne</forename>
                    <surname>Alonso</surname>
                  </persName>
                  <email type="md5">21c2b8e3ce32fa144425c5d517413e53</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">corinne-alonso</idno>
                  <idno type="idhal" notation="numeric">171066</idno>
                  <idno type="halauthorid" notation="string">42508-171066</idno>
                  <idno type="IDREF">https://www.idref.fr/070842582</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2547-255X</idno>
                  <affiliation ref="#struct-388682"/>
                  <affiliation ref="#struct-217752"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">Rapport LAAS n° 18505</idno>
                <idno type="halJournalId" status="VALID">16934</idno>
                <idno type="issn">0378-4754</idno>
                <title level="j">Mathematics and Computers in Simulation</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <date type="datePub">2018-08</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.matcom.2018.07.011</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">real-time emulation</term>
                <term xml:lang="en">Hardware-in-the-Loop</term>
                <term xml:lang="en">Boost inverter</term>
                <term xml:lang="en">FPGA</term>
                <term xml:lang="en">Petri net</term>
                <term xml:lang="en">SysML</term>
              </keywords>
              <classCode scheme="halDomain" n="nlin.nlin-ao">Nonlinear Sciences [physics]/Adaptation and Self-Organizing Systems [nlin.AO]</classCode>
              <classCode scheme="halDomain" n="spi.nrj">Engineering Sciences [physics]/Electric power</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>A boost inverter is a versatile architecture able to supply DC or AC outputs from diverse alternative energy sources. The most relevant advantage of this multipurpose converter is to provide boosting and inversion in a single stage. The boost inverter has been studied from design and control perspectives with renewable energy sources. However, the real-time emulation of boost inverters is less widespread in literature. In this context, the main contribution of this paper is proposing an innovative methodology based on the Systems Modeling Language and Petri nets to emulate in real-time power converters using the boost inverter as a case of study. This approach develops real-time Hardware-in-the-Loop models using a graphical language and Petri nets. These graphical and Petri net features allow a formal validation of computational and time constraints before implementation in FPGA. The proposed methodology is also able to transform the developed models to the High Level Specification of Embedded Systems for automatic code generation. Comparison of real-time emulations and experimental results shows a suitable trade-off between the model accuracy and the computational time.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Un boost inverter est une architecture polyvalente capable de fournir des alimentations électriques CC ou CA à partir de diverses sources d'énergie alternatives. L’avantage le plus important de ce convertisseur multifonctionnel est de permettre l’élévation de tension et son ondulation en une seule étape. Le boost inverter a été étudié de sa conception jusqu'à son contrôle avec des sources d'énergie renouvelables. Cependant, l'émulation en temps réel des boost inverters est moins répandue dans la littérature. Dans ce contexte, la contribution principale de cet article propose une méthodologie innovante basée sur le langage de modélisation de systèmes et les réseaux de Petri pour émuler les convertisseurs de puissance en temps réel en utilisant le boost inverter comme étude. Cette approche développe des modèles de Hardware-in-the-Loop en temps réel utilisant un langage graphique et des réseaux de Petri. Ces fonctionnalités graphiques et le réseau de Petri associé permettent une validation formelle des contraintes de calcul et de temps avant la mise en œuvre dans le FPGA. La méthodologie proposée permet également de transformer les modèles développés en spécifications de haut niveau pour systèmes intégrés pour la génération automatique de code. La comparaison des émulations en temps réel et des résultats expérimentaux montre un compromis approprié entre la précision du modèle et le temps de calcul.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-229853" status="VALID">
          <idno type="ROR">https://ror.org/02mhbdp94</idno>
          <orgName>Universidad de los Andes [Bogota]</orgName>
          <orgName type="acronym">UNIANDES</orgName>
          <desc>
            <address>
              <addrLine>Bogotá - Colombia</addrLine>
              <country key="CO"/>
            </address>
            <ref type="url">https://uniandes.edu.co/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-388682" status="OLD">
          <orgName>Équipe Intégration de Systèmes de Gestion de l'Énergie</orgName>
          <orgName type="acronym">LAAS-ISGE</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/isge</ref>
          </desc>
          <listRelation>
            <relation active="#struct-459" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UPR8001" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-459" status="OLD">
          <idno type="IdRef">199278792</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="RNSR">199517454Y</idno>
          <idno type="ROR">https://ror.org/03vcm6439</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes</orgName>
          <orgName type="acronym">LAAS</orgName>
          <date type="start">1968-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UPR8001" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-116255" status="VALID">
          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <idno type="ROR">https://ror.org/01h8pf755</idno>
          <idno type="Wikidata">Q858979</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <date type="start">1963-10-21</date>
          <desc>
            <address>
              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </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-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>