<?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-02947363</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-03T17:01:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Reliable Modeling for Safe Navigation of Intelligent Vehicles: Analysis of First and Second Order Set-membership TTC</title>
            <author role="aut">
              <persName>
                <forename type="first">Nadhir</forename>
                <surname>Ben-Lakhal</surname>
              </persName>
              <idno type="halauthorid">2031755-0</idno>
              <orgName ref="#struct-422708"/>
              <affiliation ref="#struct-490691"/>
              <affiliation ref="#struct-524351"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Othman</forename>
                <surname>Nasri</surname>
              </persName>
              <email type="md5">902a7bd72810c3d0b6857cd9bdf93054</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">883883</idno>
              <idno type="halauthorid" notation="string">123403-883883</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9768-2906</idno>
              <idno type="IDREF">https://www.idref.fr/120529785</idno>
              <affiliation ref="#struct-524351"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Lounis</forename>
                <surname>Adouane</surname>
              </persName>
              <email type="md5">891334adb6048bba98312c5477664e84</email>
              <email type="domain">utc.fr</email>
              <idno type="idhal" notation="string">lounis-adouane</idno>
              <idno type="idhal" notation="numeric">16043</idno>
              <idno type="halauthorid" notation="string">36397-16043</idno>
              <idno type="IDREF">https://www.idref.fr/103893148</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5686-5279</idno>
              <affiliation ref="#struct-389870"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jaleleddine</forename>
                <surname>Ben Hadj Slama</surname>
              </persName>
              <idno type="halauthorid">303434-0</idno>
              <affiliation ref="#struct-524351"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lounis</forename>
                <surname>Adouane</surname>
              </persName>
              <email type="md5">891334adb6048bba98312c5477664e84</email>
              <email type="domain">utc.fr</email>
            </editor>
            <funder ref="#projanr-37834"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-08-11 01:08:35</date>
              <date type="whenModified">2026-03-18 15:11:22</date>
              <date type="whenReleased">2021-08-11 10:45:09</date>
              <date type="whenProduced">2020-07</date>
              <date type="whenEndEmbargoed">2021-08-11</date>
              <ref type="file" target="https://hal.science/hal-02947363v1/document">
                <date notBefore="2021-08-11"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02947363v1/file/2020_BenLakhal_ICINCO.pdf" id="file-3318796-2908661">
                <date notBefore="2021-08-11"/>
              </ref>
              <ref type="externalLink" target="https://doi.org/10.5220/0009890305450552"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="116148">
                <persName>
                  <forename>Lounis</forename>
                  <surname>Adouane</surname>
                </persName>
                <email type="md5">891334adb6048bba98312c5477664e84</email>
                <email type="domain">utc.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02947363</idno>
            <idno type="halUri">https://hal.science/hal-02947363</idno>
            <idno type="halBibtex">benlakhal:hal-02947363</idno>
            <idno type="halRefHtml">&lt;i&gt;17th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2020)&lt;/i&gt;, Jul 2020, Paris (on line), France. pp.545-552, &lt;a target="_blank" href="https://dx.doi.org/10.5220/0009890305450552"&gt;&amp;#x27E8;10.5220/0009890305450552&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">17th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2020), Jul 2020, Paris (on line), France. pp.545-552, &amp;#x27E8;10.5220/0009890305450552&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3318796-2908661"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="PRES_CLERMONT">Université de Clermont</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-COMPIEGNE">Université de Technologie de Compiègne</idno>
            <idno type="stamp" n="UNIV-BPCLERMONT" corresp="PRES_CLERMONT">Université Blaise Pascal - Clermont-Ferrand II</idno>
            <idno type="stamp" n="INSTITUT_PASCAL" corresp="PRES_CLERMONT">Institut Pascal</idno>
            <idno type="stamp" n="HEUDIASYC" corresp="UNIV-COMPIEGNE">Laboratoire HEUDIASYC - Heuristique et Diagnostic des Systèmes Complexes</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="HDS_SYRI" corresp="HEUDIASYC">Systèmes Robotiques en Interaction </idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</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">Reliable Modeling for Safe Navigation of Intelligent Vehicles: Analysis of First and Second Order Set-membership TTC</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Nadhir</forename>
                    <surname>Ben-Lakhal</surname>
                  </persName>
                  <idno type="halauthorid">2031755-0</idno>
                  <orgName ref="#struct-422708"/>
                  <affiliation ref="#struct-490691"/>
                  <affiliation ref="#struct-524351"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Othman</forename>
                    <surname>Nasri</surname>
                  </persName>
                  <email type="md5">902a7bd72810c3d0b6857cd9bdf93054</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">883883</idno>
                  <idno type="halauthorid" notation="string">123403-883883</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9768-2906</idno>
                  <idno type="IDREF">https://www.idref.fr/120529785</idno>
                  <affiliation ref="#struct-524351"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Lounis</forename>
                    <surname>Adouane</surname>
                  </persName>
                  <email type="md5">891334adb6048bba98312c5477664e84</email>
                  <email type="domain">utc.fr</email>
                  <idno type="idhal" notation="string">lounis-adouane</idno>
                  <idno type="idhal" notation="numeric">16043</idno>
                  <idno type="halauthorid" notation="string">36397-16043</idno>
                  <idno type="IDREF">https://www.idref.fr/103893148</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5686-5279</idno>
                  <affiliation ref="#struct-389870"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jaleleddine</forename>
                    <surname>Ben Hadj Slama</surname>
                  </persName>
                  <idno type="halauthorid">303434-0</idno>
                  <affiliation ref="#struct-524351"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">8</idno>
                <title level="m">International Conference on Informatics in Control, Automation and Robotics (ICINCO'20)</title>
                <meeting>
                  <title>17th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2020)</title>
                  <date type="start">2020-07</date>
                  <settlement>Paris (on line)</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="volume">1</biblScope>
                  <biblScope unit="pp">545-552</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.5220/0009890305450552</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Intelligent Vehicles</term>
                <term xml:lang="en">Risk Management</term>
                <term xml:lang="en">Interval-based Modeling</term>
                <term xml:lang="en">Correlation Analysis</term>
                <term xml:lang="en">Interval Polynomial</term>
                <term xml:lang="en">Second-order Time to Collision</term>
              </keywords>
              <classCode scheme="halDomain" n="spi.auto">Engineering Sciences [physics]/Automatic</classCode>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-au">Computer Science [cs]/Automatic Control Engineering</classCode>
              <classCode scheme="halDomain" n="info.info-rb">Computer Science [cs]/Robotics [cs.RO]</classCode>
              <classCode scheme="halDomain" n="info.info-sy">Computer Science [cs]/Systems and Control [cs.SY]</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>Developing high fidelity models to compute the Time-To-Collision (TTC) between vehicles is addressed in this work. A TTC interval value is over-approximated while considering several uncertainties via interval analysis. Furthermore, to decrease modeling inaccuracy, a novel second-order set-membership TTC formalization is introduced by solving a polynomial equation with interval coefficients. This latter is derived from vehicles’ motion equations. Hence, an approach based on correlation analysis is exploited to improve the uncertainty evaluation. The simulation results applied on an adaptive cruise control system of both high/low-order TTC formalizations prove that the low-order model inaccuracy is compensated. Thanks to interval analysis and correlation characterization, a great balance between modeling accuracy and simplicity is reached.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-490691" status="OLD">
          <idno type="IdRef">162152442</idno>
          <idno type="RNSR">199412376H</idno>
          <orgName>Institut Pascal</orgName>
          <orgName type="acronym">IP</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>Campus Universitaire des Cézeaux, 4 avenue Blaise Pascal, TSA 60026 / CS 60026, 63178 Aubière Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.institutpascal.uca.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-322672" type="direct"/>
            <relation name="UMR6602" active="#struct-422708" type="direct"/>
            <relation name="UMR6602" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-524351" status="VALID">
          <orgName>Laboratory of Advanced Technology and Intelligent Systems</orgName>
          <orgName type="acronym">LATIS</orgName>
          <desc>
            <address>
              <addrLine>Ecole Nationale d'Ingénieurs de Sousse, BP 264 Sousse Erriadh 4023</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.latis-eniso.org/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81761" type="direct"/>
            <relation active="#struct-301055" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-389870" status="VALID">
          <idno type="IdRef">110410807</idno>
          <idno type="ISNI">0000 0004 0452 2471</idno>
          <idno type="RNSR">201220263C</idno>
          <idno type="ROR">https://ror.org/0075hvk77</idno>
          <orgName>Heuristique et Diagnostic des Systèmes Complexes [Compiègne]</orgName>
          <orgName type="acronym">Heudiasyc</orgName>
          <desc>
            <address>
              <addrLine>UTC, CS 60319 - 57 avenue de Landshut - 60203 Compiègne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.hds.utc.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93027" type="direct"/>
            <relation name="UMR7253" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-322672" status="OLD">
          <orgName>SIGMA Clermont</orgName>
          <orgName type="acronym">SIGMA Clermont</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>SIGMA Clermont / Campus des Cézeaux  / CS 20265 / 63178 Aubière Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sigma-clermont.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-422708" status="OLD">
          <idno type="IdRef">196200032</idno>
          <idno type="ROR">https://ror.org/01a8ajp46</idno>
          <orgName>Université Clermont Auvergne [2017-2020]</orgName>
          <orgName type="acronym">UCA  [2017-2020]</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>49, bd François-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uca.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="regrouplaboratory" xml:id="struct-81761" status="VALID">
          <orgName>National Engineering School of Sousse / Ecole Nationale d'Ingénieurs de Sousse</orgName>
          <orgName type="acronym">ENISo</orgName>
          <desc>
            <address>
              <addrLine>Technopole de Sousse, Route de Ceinture Sahloul,Cité Hammam Maarouf, 4054 Sousse</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">http://www.eniso.rnu.tn/fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301055" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301055" status="VALID">
          <idno type="IdRef">139430016</idno>
          <idno type="ISNI">0000000121144570</idno>
          <idno type="ROR">https://ror.org/00dmpgj58</idno>
          <idno type="Wikidata">Q3551673</idno>
          <orgName>جامعة سوسة = Université de Sousse = University of Sousse</orgName>
          <orgName type="acronym">USO</orgName>
          <date type="start">2004-01-01</date>
          <desc>
            <address>
              <addrLine>Rue khalifa karoui sahloul4 sousse</addrLine>
              <country key="TN"/>
            </address>
            <ref type="url">https://uso.rnu.tn/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-93027" status="VALID">
          <idno type="ROR">https://ror.org/04y5kwa70</idno>
          <orgName>Université de Technologie de Compiègne</orgName>
          <orgName type="acronym">UTC</orgName>
          <desc>
            <address>
              <addrLine>Université de Technologie de Compiègne - rue du Docteur Schweitzer- CS 60319 - 60203 Compiègne Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.utc.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-37834" status="VALID">
          <idno type="anr">ANR-10-LABX-0016</idno>
          <idno type="program">Laboratoires d'excellence</idno>
          <orgName>IMoBS3</orgName>
          <desc>Innovative Mobility : Smart and Sustainable Solutions</desc>
          <date type="start">2010</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>