<?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-02931996</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-14T04:37:02+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State</title>
            <author role="aut">
              <persName>
                <forename type="first">Arthur</forename>
                <surname>Bit-Monnot</surname>
              </persName>
              <email type="md5">decefca6cb4a258ba62963bf2218d951</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">arthur-bit-monnot</idno>
              <idno type="idhal" notation="numeric">7924</idno>
              <idno type="halauthorid" notation="string">18601-7924</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0731-5796</idno>
              <idno type="GOOGLE SCHOLAR">AEjzKLAAAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/199549761</idno>
              <orgName ref="#struct-392741"/>
              <affiliation ref="#struct-302889"/>
              <affiliation ref="#struct-568173"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Luca</forename>
                <surname>Pulina</surname>
              </persName>
              <email type="md5">12f058fe9a489152981c84e296f699a0</email>
              <email type="domain">uniss.it</email>
              <idno type="idhal" notation="numeric">1076594</idno>
              <idno type="halauthorid" notation="string">2021010-1076594</idno>
              <affiliation ref="#struct-568173"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Armando</forename>
                <surname>Tacchella</surname>
              </persName>
              <email type="md5">09bd83984f269421abb9e16e51ed5802</email>
              <email type="domain">unige.it</email>
              <idno type="idhal" notation="numeric">1076595</idno>
              <idno type="halauthorid" notation="string">1635299-1076595</idno>
              <affiliation ref="#struct-302889"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Arthur</forename>
                <surname>Bit-Monnot</surname>
              </persName>
              <email type="md5">decefca6cb4a258ba62963bf2218d951</email>
              <email type="domain">laas.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-09-07 14:10:41</date>
              <date type="whenModified">2026-02-16 17:06:02</date>
              <date type="whenReleased">2020-09-10 11:17:14</date>
              <date type="whenProduced">2018-06-24</date>
              <date type="whenEndEmbargoed">2020-09-07</date>
              <ref type="file" target="https://laas.hal.science/hal-02931996v1/document">
                <date notBefore="2020-09-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://laas.hal.science/hal-02931996v1/file/19-icaps.pdf" id="file-2931996-2581406">
                <date notBefore="2020-09-07"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="336414">
                <persName>
                  <forename>Arthur</forename>
                  <surname>Bit-Monnot</surname>
                </persName>
                <email type="md5">decefca6cb4a258ba62963bf2218d951</email>
                <email type="domain">laas.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02931996</idno>
            <idno type="halUri">https://laas.hal.science/hal-02931996</idno>
            <idno type="halBibtex">bitmonnot:hal-02931996</idno>
            <idno type="halRefHtml">&lt;i&gt;International Conference on Automated Planning and Scheduling (ICAPS)&lt;/i&gt;, Jun 2018, Delft, Netherlands</idno>
            <idno type="halRef">International Conference on Automated Planning and Scheduling (ICAPS), Jun 2018, Delft, Netherlands</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2931996-2581406"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Arthur</forename>
                    <surname>Bit-Monnot</surname>
                  </persName>
                  <email type="md5">decefca6cb4a258ba62963bf2218d951</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">arthur-bit-monnot</idno>
                  <idno type="idhal" notation="numeric">7924</idno>
                  <idno type="halauthorid" notation="string">18601-7924</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0731-5796</idno>
                  <idno type="GOOGLE SCHOLAR">AEjzKLAAAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/199549761</idno>
                  <orgName ref="#struct-392741"/>
                  <affiliation ref="#struct-302889"/>
                  <affiliation ref="#struct-568173"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Luca</forename>
                    <surname>Pulina</surname>
                  </persName>
                  <email type="md5">12f058fe9a489152981c84e296f699a0</email>
                  <email type="domain">uniss.it</email>
                  <idno type="idhal" notation="numeric">1076594</idno>
                  <idno type="halauthorid" notation="string">2021010-1076594</idno>
                  <affiliation ref="#struct-568173"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Armando</forename>
                    <surname>Tacchella</surname>
                  </persName>
                  <email type="md5">09bd83984f269421abb9e16e51ed5802</email>
                  <email type="domain">unige.it</email>
                  <idno type="idhal" notation="numeric">1076595</idno>
                  <idno type="halauthorid" notation="string">1635299-1076595</idno>
                  <affiliation ref="#struct-302889"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>International Conference on Automated Planning and Scheduling (ICAPS)</title>
                  <date type="start">2018-06-24</date>
                  <settlement>Delft</settlement>
                  <country key="NL">Netherlands</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</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>Cyber-physical systems pose unique deliberation challenges, where complex strategies must be autonomously derived and executed in the physical world, relying on continuous state representations and subject to safety and security constraints. Robots are a typical example of cyber-physical systems where high-level decisions must be reconciled with motion-level decisions in order to provide guarantees on the validity and efficiency of the plan. In this work we propose techniques to refine a high-level plan into a continuous state trajectory. The refinement is done by translating a high-level plan into a nonlinear optimization problem with constraints that can encode the intrinsic limitations and dynamics of the system as well as the rules for its continuous control. The refinement process either succeeds or yields an explanation that we exploit to refine the search space of a domain-independent task planner. We evaluate our approach on existing PDDL+ benchmarks and on a more realistic and challenging rover navigation problem.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-302889" status="VALID">
          <idno type="IdRef">032054262</idno>
          <idno type="ROR">https://ror.org/0107c5v14</idno>
          <idno type="Wikidata">032054262</idno>
          <orgName>Università degli studi di Genova = University of Genoa = Université de Gênes</orgName>
          <orgName type="acronym">UniGe</orgName>
          <desc>
            <address>
              <addrLine>Via Balbi, 5 - 16126 Genova</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://unige.it/it</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-568173" status="VALID">
          <orgName>Università degli Studi di Sassari = University of Sassari</orgName>
          <orgName type="acronym">UNISS</orgName>
          <desc>
            <address>
              <addrLine>via Vienna 2, 07100 Sassari</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.uniss.it/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>