<?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-03389500</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-16T12:22:18+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics</title>
            <author role="aut">
              <persName>
                <forename type="first">Jose</forename>
                <surname>Capco</surname>
              </persName>
              <email type="md5">9baae6c0ce8ab395bb25aa1ca8e7601a</email>
              <email type="domain">risc.jku.at</email>
              <idno type="idhal" notation="numeric">1043840</idno>
              <idno type="halauthorid" notation="string">1541963-1043840</idno>
              <affiliation ref="#struct-490478"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohab</forename>
                <surname>Safey El Din</surname>
              </persName>
              <email type="md5">0f084a5d7df61511bbd70db6ea16179c</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">safey</idno>
              <idno type="idhal" notation="numeric">731</idno>
              <idno type="halauthorid" notation="string">2144-731</idno>
              <idno type="IDREF">https://www.idref.fr/180664549</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/CPK-3689-2022</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9463-1257</idno>
              <idno type="VIAF">https://viaf.org/viaf/313567630</idno>
              <affiliation ref="#struct-1060652"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Josef</forename>
                <surname>Schicho</surname>
              </persName>
              <email type="md5">a0f9554b2185848afc5f1c9f16aed1a8</email>
              <email type="domain">risc.jku.at</email>
              <idno type="idhal" notation="numeric">1114234</idno>
              <idno type="halauthorid" notation="string">513095-1114234</idno>
              <affiliation ref="#struct-112125"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jose</forename>
                <surname>Capco</surname>
              </persName>
              <email type="md5">1ed424888f90ce5313e759f0789ba63f</email>
              <email type="domain">uibk.ac.at</email>
            </editor>
            <funder ref="#projanr-50572"/>
            <funder ref="#projeurop-713978"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-10-21 08:51:41</date>
              <date type="whenModified">2025-01-06 16:32:02</date>
              <date type="whenReleased">2021-10-21 09:06:16</date>
              <date type="whenProduced">2023</date>
              <date type="whenEndEmbargoed">2021-10-21</date>
              <ref type="file" target="https://hal.science/hal-03389500v1/document">
                <date notBefore="2021-10-21"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03389500v1/file/main.pdf" id="file-3389500-2974557">
                <date notBefore="2021-10-21"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="710969">
                <persName>
                  <forename>Jose</forename>
                  <surname>Capco</surname>
                </persName>
                <email type="md5">1ed424888f90ce5313e759f0789ba63f</email>
                <email type="domain">uibk.ac.at</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03389500</idno>
            <idno type="halUri">https://hal.science/hal-03389500</idno>
            <idno type="halBibtex">capco:hal-03389500</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Symbolic Computation&lt;/i&gt;, 2023, 115, pp.320-345. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.jsc.2022.08.008"&gt;&amp;#x27E8;10.1016/j.jsc.2022.08.008&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Symbolic Computation, 2023, 115, pp.320-345. &amp;#x27E8;10.1016/j.jsc.2022.08.008&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3389500-2974557"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</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="SUPRA_MATHS_INFO">Mathématiques + Informatique</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">Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jose</forename>
                    <surname>Capco</surname>
                  </persName>
                  <email type="md5">9baae6c0ce8ab395bb25aa1ca8e7601a</email>
                  <email type="domain">risc.jku.at</email>
                  <idno type="idhal" notation="numeric">1043840</idno>
                  <idno type="halauthorid" notation="string">1541963-1043840</idno>
                  <affiliation ref="#struct-490478"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohab</forename>
                    <surname>Safey El Din</surname>
                  </persName>
                  <email type="md5">0f084a5d7df61511bbd70db6ea16179c</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">safey</idno>
                  <idno type="idhal" notation="numeric">731</idno>
                  <idno type="halauthorid" notation="string">2144-731</idno>
                  <idno type="IDREF">https://www.idref.fr/180664549</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/CPK-3689-2022</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9463-1257</idno>
                  <idno type="VIAF">https://viaf.org/viaf/313567630</idno>
                  <affiliation ref="#struct-1060652"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Josef</forename>
                    <surname>Schicho</surname>
                  </persName>
                  <email type="md5">a0f9554b2185848afc5f1c9f16aed1a8</email>
                  <email type="domain">risc.jku.at</email>
                  <idno type="idhal" notation="numeric">1114234</idno>
                  <idno type="halauthorid" notation="string">513095-1114234</idno>
                  <affiliation ref="#struct-112125"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">16278</idno>
                <idno type="issn">0747-7171</idno>
                <idno type="eissn">1095-855X</idno>
                <title level="j">Journal of Symbolic Computation</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">115</biblScope>
                  <biblScope unit="pp">320-345</biblScope>
                  <date type="datePub">2023</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.jsc.2022.08.008</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Kinematic singularity</term>
                <term xml:lang="en">Roadmaps</term>
                <term xml:lang="en">Semi-algebraic sets</term>
                <term xml:lang="en">Polynomial systems</term>
              </keywords>
              <classCode scheme="halDomain" n="math.math-ag">Mathematics [math]/Algebraic Geometry [math.AG]</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-rb">Computer Science [cs]/Robotics [cs.RO]</classCode>
              <classCode scheme="halDomain" n="info.info-sc">Computer Science [cs]/Symbolic Computation [cs.SC]</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>In this paper we introduce methods and algorithms that will help us solve connectivity queries of parameterized semi-algebraic sets. Answering these connectivity queries is applied in the design of robotic structures having similar kinematic properties (e.g. topology of the kinematic-singularity-free space). From these algorithms one also obtain solutions to connectivity queries of a specific parameter which is in turn related to kinematic-singularity free path-planning of a specific manipulator belonging to the family of robots with these properties; i.e. we obtain paths joining two given singularity free configurations lying in the same connected component of the singularity-free space. We prove in the paper how one reduces the problems related to connectivity queries of parameterized semi-algebraic sets to closed and bounded semi-algebraic sets. We then design an algorithm using computer-algebra methods for "solving" positive dimensional polynomial system depending on parameters. The meaning of solving here means partitioning the parameter space into semi-algebraic components over which the number of connected components of the semi-algebraic set defined by the input system is invariant. The complexity of this algorithm is singly exponential in the dimension of the ambient space. The algorithm scales enough to analyze automatically the family of UR-series robots. Finally we provide manual analysis of the family of UR-series robots, proving that the number of connected components of the complementary of kinematic singularity set of a generic UR-robot is eight.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-490478" status="VALID">
          <idno type="ROR">https://ror.org/054pv6659</idno>
          <orgName>Leopold Franzens Universität Innsbruck - University of Innsbruck</orgName>
          <desc>
            <address>
              <addrLine>Innrain 52, A-6020 Innsbruck</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.uibk.ac.at/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-1060652" status="VALID">
          <orgName>Polynomial Systems</orgName>
          <orgName type="acronym">PolSys</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lip6.fr/recherche/team.php?acronyme=PolSys</ref>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-112125" status="VALID">
          <orgName>Research Institute for Symbolic Computation</orgName>
          <orgName type="acronym">RISC</orgName>
          <desc>
            <address>
              <addrLine>Linz</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">http://www.risc.jku.at/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1099890" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</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-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.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="regroupinstitution" xml:id="struct-1099890" status="VALID">
          <idno type="IdRef">080677193</idno>
          <idno type="ISNI">0000000119415140</idno>
          <orgName>University of Linz - Johannes Kepler Universität Linz</orgName>
          <orgName type="acronym">JKU</orgName>
          <date type="start">1966-01-01</date>
          <desc>
            <address>
              <addrLine>Altenberger Straße 694040 Linz, Austria</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.jku.at/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-50572" status="VALID">
          <idno type="anr">ANR-19-CE48-0015</idno>
          <orgName>ECARP</orgName>
          <desc>Algorithmes efficaces et exacts pour la planification de trajectoire en robotique</desc>
          <date type="start">2019</date>
        </org>
        <org type="europeanProject" xml:id="projeurop-713978" status="INCOMING">
          <orgName>ECARP</orgName>
          <desc>ANR (ANR-19-CE48-0015) FWF (I 4452-N). </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>