<?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 lirmm-00193965v3</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-22T13:44:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Guaranteed Computation of Constraints for Safe path Planning</title>
            <author role="aut">
              <persName>
                <forename type="first">Sebastien</forename>
                <surname>Lengagne</surname>
              </persName>
              <email type="md5">dd06cdae819ef002079599764f6bf961</email>
              <email type="domain">uca.fr</email>
              <idno type="idhal" notation="string">sebastien-lengagne</idno>
              <idno type="idhal" notation="numeric">16983</idno>
              <idno type="halauthorid" notation="string">5739-16983</idno>
              <idno type="IDREF">https://www.idref.fr/139249680</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1831-1072</idno>
              <affiliation ref="#struct-391198"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nacim</forename>
                <surname>Ramdani</surname>
              </persName>
              <email type="md5">5e1c9d01eb0194c34f5cdfa8f8db55c2</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="string">nacim-ramdani</idno>
              <idno type="idhal" notation="numeric">2801</idno>
              <idno type="halauthorid" notation="string">24577-2801</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1491-3751</idno>
              <idno type="IDREF">https://www.idref.fr/081920377</idno>
              <affiliation ref="#struct-395113"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Philippe</forename>
                <surname>Fraisse</surname>
              </persName>
              <email type="md5">452b4e9a1bc5f8359b960e3c46d5f5e9</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">philippe-fraisse</idno>
              <idno type="idhal" notation="numeric">173014</idno>
              <idno type="halauthorid" notation="string">13595-173014</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0911-0743</idno>
              <idno type="IDREF">https://www.idref.fr/050516590</idno>
              <affiliation ref="#struct-395113"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Sebastien</forename>
                <surname>Lengagne</surname>
              </persName>
              <email type="md5">15287a134b0bf95f8299904308a2f6de</email>
              <email type="domain">lirmm.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2007-12-05 11:30:13</date>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2007-12-13 12:45:57</date>
            </edition>
            <edition n="v3" type="current">
              <date type="whenSubmitted">2009-11-12 07:49:56</date>
              <date type="whenModified">2025-08-26 15:21:01</date>
              <date type="whenReleased">2009-11-13 16:28:23</date>
              <date type="whenProduced">2007-11-29</date>
              <date type="whenEndEmbargoed">2009-11-12</date>
              <ref type="file" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-00193965v3/document">
                <date notBefore="2009-11-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-00193965v3/file/main.pdf" id="file-431300-1045349">
                <date notBefore="2009-11-12"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="123069">
                <persName>
                  <forename>Sebastien</forename>
                  <surname>Lengagne</surname>
                </persName>
                <email type="md5">15287a134b0bf95f8299904308a2f6de</email>
                <email type="domain">lirmm.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-00193965</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-00193965</idno>
            <idno type="halBibtex">lengagne:lirmm-00193965</idno>
            <idno type="halRefHtml">&lt;i&gt;Humanoids&lt;/i&gt;, Nov 2007, Pittsburgh, PA, United States</idno>
            <idno type="halRef">Humanoids, Nov 2007, Pittsburgh, PA, United States</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-431300-1045349"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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="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="IDH" corresp="LIRMM">Interactive Digital Humans</idno>
            <idno type="stamp" n="DEMAR" corresp="LIRMM">DEambulation et Mouvement ARtificiel</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</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>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Guaranteed Computation of Constraints for Safe path Planning</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sebastien</forename>
                    <surname>Lengagne</surname>
                  </persName>
                  <email type="md5">dd06cdae819ef002079599764f6bf961</email>
                  <email type="domain">uca.fr</email>
                  <idno type="idhal" notation="string">sebastien-lengagne</idno>
                  <idno type="idhal" notation="numeric">16983</idno>
                  <idno type="halauthorid" notation="string">5739-16983</idno>
                  <idno type="IDREF">https://www.idref.fr/139249680</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1831-1072</idno>
                  <affiliation ref="#struct-391198"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nacim</forename>
                    <surname>Ramdani</surname>
                  </persName>
                  <email type="md5">5e1c9d01eb0194c34f5cdfa8f8db55c2</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="string">nacim-ramdani</idno>
                  <idno type="idhal" notation="numeric">2801</idno>
                  <idno type="halauthorid" notation="string">24577-2801</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1491-3751</idno>
                  <idno type="IDREF">https://www.idref.fr/081920377</idno>
                  <affiliation ref="#struct-395113"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Philippe</forename>
                    <surname>Fraisse</surname>
                  </persName>
                  <email type="md5">452b4e9a1bc5f8359b960e3c46d5f5e9</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">philippe-fraisse</idno>
                  <idno type="idhal" notation="numeric">173014</idno>
                  <idno type="halauthorid" notation="string">13595-173014</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0911-0743</idno>
                  <idno type="IDREF">https://www.idref.fr/050516590</idno>
                  <affiliation ref="#struct-395113"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">7th IEEE-RAS International Conference on Humanoid Robots</title>
                <meeting>
                  <title>Humanoids</title>
                  <date type="start">2007-11-29</date>
                  <date type="end">2007-12-01</date>
                  <settlement>Pittsburgh, PA</settlement>
                  <country key="US">United States</country>
                </meeting>
                <imprint>
                  <date type="datePub">2007-12-03</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-rb">Computer Science [cs]/Robotics [cs.RO]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Path planning issues are often solved via constrained optimization methods but with constraints which must be satisfied over a whole interval of time or space. The use of fast numerical toolboxes implementing state-of-the-art constrained needs to discretize the continous constraints over a time grid. Thus, the obtained solution, in this way, will satisfy the constraints only for time values corresponding to the time grid. Obviously, some constraints could be violated with catastrophic consequences when dealing with, for instance, the balance of humanoid robots. In this paper we introduce a guaranteed discretization method which uses interval analysis to ensure that the constraints are satisfied over the whole time interval. We analyze numerically this method by performing a trajectory generation under constraints dedicated to the motion of the HOAP-3 humanoid robot.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-391198" status="OLD">
          <idno type="RNSR">200318382X</idno>
          <orgName>Artificial movement and gait restoration</orgName>
          <orgName type="acronym">DEMAR</orgName>
          <date type="start">2003-10-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lirmm.fr/demar/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-395113" status="OLD">
          <orgName>Interactive Digital Humans</orgName>
          <orgName type="acronym">IDH</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/IDH/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-181" status="OLD">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5506" active="#struct-410122" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-410122" status="OLD">
          <idno type="ISNI">0000000120970141</idno>
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.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>
      </listOrg>
    </back>
  </text>
</TEI>