<?xml version="1.0" encoding="utf-8"?>
<raweb xmlns:xlink="http://www.w3.org/1999/xlink" xml:lang="en" year="2018">
  <identification id="hephaistos" isproject="true">
    <shortname>HEPHAISTOS</shortname>
    <projectName>HExapode, PHysiology, AssISTance and RobOtics</projectName>
    <theme-de-recherche>Robotics and Smart environments</theme-de-recherche>
    <domaine-de-recherche>Perception, Cognition and Interaction</domaine-de-recherche>
    <urlTeam>https://team.inria.fr/hephaistos/</urlTeam>
    <header_dates_team>Creation of the Team: 2014 January 01, updated into Project-Team: 2015 July 01</header_dates_team>
    <LeTypeProjet>Project-Team</LeTypeProjet>
    <keywordsSdN>
      <term>A2.3. - Embedded and cyber-physical systems</term>
      <term>A5.1. - Human-Computer Interaction</term>
      <term>A5.6. - Virtual reality, augmented reality</term>
      <term>A5.10. - Robotics</term>
      <term>A5.11. - Smart spaces</term>
      <term>A6.1. - Methods in mathematical modeling</term>
      <term>A6.2. - Scientific computing, Numerical Analysis &amp; Optimization</term>
      <term>A6.4. - Automatic control</term>
      <term>A8.4. - Computer Algebra</term>
      <term>A8.11. - Game Theory</term>
      <term>A9.5. - Robotics</term>
    </keywordsSdN>
    <keywordsSecteurs>
      <term>B2.1. - Well being</term>
      <term>B2.5. - Handicap and personal assistances</term>
      <term>B2.7. - Medical devices</term>
      <term>B2.8. - Sports, performance, motor skills</term>
      <term>B3.1. - Sustainable development</term>
      <term>B5.2. - Design and manufacturing</term>
      <term>B5.6. - Robotic systems</term>
      <term>B8.1. - Smart building/home</term>
      <term>B8.4. - Security and personal assistance</term>
      <term>B9.1. - Education</term>
      <term>B9.2. - Art</term>
      <term>B9.9. - Ethics</term>
    </keywordsSecteurs>
    <UR name="Sophia"/>
  </identification>
  <team id="uid1">
    <person key="hephaistos-2018-idp145520">
      <firstname>Jean-Pierre</firstname>
      <lastname>Merlet</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Team leader, Inria, Senior Researcher</moreinfo>
      <hdr>oui</hdr>
    </person>
    <person key="hephaistos-2018-idp148432">
      <firstname>Yves</firstname>
      <lastname>Papegay</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Inria, Researcher</moreinfo>
      <hdr>oui</hdr>
    </person>
    <person key="hephaistos-2018-idp151280">
      <firstname>Odile</firstname>
      <lastname>Pourtallier</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Inria, Researcher</moreinfo>
    </person>
    <person key="hephaistos-2018-idp153744">
      <firstname>Eric</firstname>
      <lastname>Wajnberg</lastname>
      <categoryPro>Chercheur</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>INRA, Senior Researcher</moreinfo>
    </person>
    <person key="hephaistos-2018-idp156208">
      <firstname>Alain</firstname>
      <lastname>Coulbois</lastname>
      <categoryPro>Technique</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Inria, until Oct 2018</moreinfo>
    </person>
    <person key="hephaistos-2018-idp158672">
      <firstname>Artem</firstname>
      <lastname>Melnyk</lastname>
      <categoryPro>Technique</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Inria, until Nov 2018</moreinfo>
    </person>
    <person key="hephaistos-2018-idp161136">
      <firstname>Gregoire</firstname>
      <lastname>Mortureux</lastname>
      <categoryPro>Stagiaire</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Inria, from May 2018 until Oct 2018</moreinfo>
    </person>
    <person key="hephaistos-2018-idp163616">
      <firstname>Pierre</firstname>
      <lastname>Mortureux</lastname>
      <categoryPro>Stagiaire</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>ESIEE, from Jul 2018 until Aug 2018</moreinfo>
    </person>
    <person key="hephaistos-2018-idp166096">
      <firstname>Laurie</firstname>
      <lastname>Vermeersch</lastname>
      <categoryPro>Assistant</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Inria</moreinfo>
    </person>
    <person key="hephaistos-2018-idp168560">
      <firstname>Hiparco</firstname>
      <lastname>Lins Vieira</lastname>
      <categoryPro>Visiteur</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>University Sao Paulo, from Nov 2018</moreinfo>
    </person>
    <person key="hephaistos-2018-idp171040">
      <firstname>Maysa</firstname>
      <lastname>Tome</lastname>
      <categoryPro>Visiteur</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Escola Superior de Agricultura "Luiz de
Queiroz", Piracicaba, from Dec 2018</moreinfo>
    </person>
    <person key="hephaistos-2018-idp173568">
      <firstname>Ting</firstname>
      <lastname>Wang</lastname>
      <categoryPro>CollaborateurExterieur</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>ESIEE, from May 2018</moreinfo>
    </person>
    <person key="hephaistos-2018-idp176032">
      <firstname>Christopher</firstname>
      <lastname>Raymond</lastname>
      <categoryPro>Stagiaire</categoryPro>
      <research-centre>Sophia</research-centre>
      <moreinfo>Inria, from Apr 2018 until Sep 2018</moreinfo>
    </person>
  </team>
  <presentation id="uid2">
    <bodyTitle>Overall Objectives</bodyTitle>
    <subsection id="uid3" level="1">
      <bodyTitle>Overall Objectives</bodyTitle>
      <p>HEPHAISTOS has been created as a team on January 1st, 2013 and as
a project team in 2015.</p>
      <p>The goal of the project is to set up a generic methodology for the
design and evaluation of an adaptable and interactive assistive
ecosystem for the
elderly and the vulnerable persons that provides furthermore
assistance to the helpers, on-demand medical data and may manage
emergency situations.
More precisely our goals are to develop devices with the following properties:</p>
      <simplelist>
        <li id="uid4">
          <p noindent="true">they can be adapted to the end-user and to its everyday
environment</p>
        </li>
        <li id="uid5">
          <p noindent="true">they should be affordable and minimally intrusive</p>
        </li>
        <li id="uid6">
          <p noindent="true">they may be controlled through a large variety of simple
interfaces</p>
        </li>
        <li id="uid7">
          <p noindent="true">they may eventually be used to monitor the health status of the
end-user in order to detect emerging pathology</p>
        </li>
      </simplelist>
      <p>Assistance will be provided through a network of communicating
devices that may be either specifically designed for this task or be
just adaptation/instrumentation of daily life objects.</p>
      <p>The targeted population is limited to frail people
<footnote id="uid8" id-text="1">for the sake of simplicity this population will
be denoted by <i>elderly</i> in the remaining of this document
although our work deal also with a variety of people
(e.g. handicapped or injured people, ...)</footnote>
and the assistive devices will have to support the individual autonomy
(at home and outdoor)
by providing complementary resources in relation with the existing
capacities of the person. Personalization and adaptability are key
factor of success and acceptance.
Our long term goal will be to provide
robotized devices for assistance, including smart objects, that may
help disabled,
elderly and handicapped
people in their personal life.</p>
      <p>Assistance is a very large field and a single project-team cannot
address all the related issues. Hence HEPHAISTOS will focus on the following
main <b>societal challenges</b>:</p>
      <simplelist>
        <li id="uid9">
          <p noindent="true"><b>mobility</b>: previous interviews and observations in the
HEPHAISTOS team have shown that this was a major concern for all the
players in the ecosystem. Mobility is a key factor to improve
personal autonomy and reinforce privacy, perceived autonomy and
self-esteem</p>
        </li>
        <li id="uid10">
          <p noindent="true"><b>managing emergency situations</b>: emergency situations
(e.g. fall) may have dramatic consequences
for elderly. Assistive
devices should ideally be able to prevent such situation and at
least should detect them with the purposes of sending an alarm and
to minimize the effects on the health of the elderly</p>
        </li>
        <li id="uid11">
          <p noindent="true"><b>medical monitoring</b>: elderly may have a fast changing
trajectory of life and the medical community is lacking timely
synthetic information on this evolution, while available
technologies enable to get raw information in a non intrusive and
low cost manner. We intend to provide synthetic health indicators,
that take measurement uncertainties into account,
obtained through a network of assistive devices. However respect of the
privacy of life, protection of the elderly and ethical
considerations impose to ensure the confidentiality of the data and
a strict control of such a service by the medical community.</p>
        </li>
        <li id="uid12">
          <p noindent="true"><b>rehabilitation and biomechanics</b>: our goals in
rehabilitation are 1) to provide more objective and robust indicators,
that take measurement uncertainties into account to assess the
progress of a rehabilitation process 2) to provide processes and
devices (including the use of virtual reality)
that facilitate a
rehabilitation process and are more
flexible and easier to use both for users and
doctors. Biomechanics is an essential tool to evaluate the
pertinence of these indicators, to gain access to physiological
parameters that are difficult to measure directly
and to prepare
efficiently real-life experiments</p>
        </li>
      </simplelist>
      <p>Addressing these societal focus induces the following <b>scientific
objectives</b>:</p>
      <simplelist>
        <li id="uid13">
          <p noindent="true"><b>design and control of a network of connected assistive
devices</b>: existing
assistance devices suffer from a lack of essential functions
(communication, monitoring, localization,...) and their acceptance and
efficiency may largely be improved. Furthermore essential functions
(such as fall detection, knowledge sharing, learning, adaptation to
the user and helpers) are missing. We intend to develop new
devices, either by adapting existing systems or developing brand-new
one to cover these gaps. Their performances, robustness and
adaptability will be obtained through an original design
process, called <i>appropriate design</i>, that takes uncertainties
into account to determine almost all the nominal values of the
design parameters that guarantee to obtain the required
performances.
The development of these devices covers our robotics works
(therefore including robot analysis, kinematics, control, ...)
but is not limited to them. These devices will be present in the three
elements of the ecosystem (user, technological helps and
environment) and will be integrated in a common network.
The study of this robotic network and of its element is
therefore a major focus point of the HEPHAISTOS
project. In this field our
objectives are:</p>
          <simplelist>
            <li id="uid14">
              <p noindent="true">to develop methods for the analysis of existing robots, taking
into account uncertainties in their modeling that
are inherent to such mechatronic devices</p>
            </li>
            <li id="uid15">
              <p noindent="true">to propose innovative robotic systems</p>
            </li>
          </simplelist>
        </li>
        <li id="uid16">
          <p noindent="true"><b>evaluation, modeling and programming of assistive
ecosystem</b>: design of such an
ecosystem is an iterative process which relies on different types of
evaluation. A large difference with other robotized environments is
that effectiveness is not only based on technological performances
but also on subjectively perceived dimensions such as acceptance or
improvement of self-esteem. We will develop methodologies that
cover both evaluation dimensions.
Technological performances are
still important and modeling (especially with symbolic computation)
of the ecosystem will play a major role
for the design process, the safety and the efficiency, which will be
improved by a programming/communication
framework than encompass all the assistance devices. Evaluation will
be realized with the help of clinical partners
in real-life or by
using our experimental platforms</p>
        </li>
        <li id="uid17">
          <p noindent="true"><b>uncertainty management</b>: uncertainties are especially
present in all of our activities (sensor, control, physiological
parameters, user behavior, ...). We intend to systematically
take them into account especially using interval analysis,
statistics, game theory or a mix of these tools</p>
        </li>
        <li id="uid18">
          <p noindent="true"><b>economy of assistance</b>: interviews by the HEPHAISTOS team and
market analysis have shown that cost is a major issue for the
elderly and their family. At the opposite of other industrial
sectors manufacturing costs play a very minor role when fixing the price
of assistance devices: indeed prices result more from the
relations between the players and from regulations. We
intend to model these relations in order to analyze the influence
of regulations on the final cost</p>
        </li>
      </simplelist>
      <p>The societal challenges and the scientific objectives will be
supported by experimentation and simulation
using our development platforms or external
resources.</p>
      <p>In terms of methodologies the project will focus on the use and
mathematical developments of <b>symbolic tools</b>(for modeling, design, interval analysis), on <b>interval
analysis</b> (
for design, uncertainties management, evaluation), on <b>game
theory</b> (for control, localization, economy of
assistance) and on
<b>control
theory</b>.
Implementation of the algorithms will be performed within the
framework of general purpose software such as <tt>Scilab</tt>, <tt>Maple</tt>, <tt>Mathematica</tt> and the interval analysis part will be based
on the existing library <tt>ALIAS</tt>, that is
still being developed mostly for internal use <ref xlink:href="#hephaistos-2018-bid0" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.</p>
      <p>Experimental work and the
development of our own prototypes
are strategic for the project as
they allow us to validate our theoretical work and to discover new
problems that will feed in the long term the theoretical analysis
developed by the team members.</p>
      <p>Dissemination is also an essential goal of our activity as its
background both on the
assistance side and on the theoretical activities as our approaches
are not sufficiently known in
the medical, engineering and academic communities.</p>
      <p>In summary HEPHAISTOS has as major research axes assistance robotics,
modeling (see section <ref xlink:href="#uid81" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>), game theory, interval analysis and
robotics (see section <ref xlink:href="#uid58" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>). The coherence of these axis is
that interval analysis
is a major tool to manage the uncertainties that are inherent to a
robotized device, while assistance robotics provides realistic problems which
allow us to develop, test and improve our algorithms. Our overall
objectives are presented in
<ref xlink:href="http://www-sop.inria.fr/hephaistos/texte_fondateur_hephaistos.pdf" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www-sop.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hephaistos/<allowbreak/>texte_fondateur_hephaistos.<allowbreak/>pdf</ref>
and in a specific page on assistance
<ref xlink:href="http://www-sop.inria.fr/hephaistos/applications/assistance_eng.html" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www-sop.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hephaistos/<allowbreak/>applications/<allowbreak/>assistance_eng.<allowbreak/>html</ref>.</p>
    </subsection>
  </presentation>
  <fondements id="uid19">
    <bodyTitle>Research Program</bodyTitle>
    <subsection id="uid20" level="1">
      <bodyTitle>Interval analysis</bodyTitle>
      <p>We are interested in real-valued system solving
(<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>f</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><mn>0</mn></mrow></math></formula>, <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>f</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>≤</mo><mn>0</mn></mrow></math></formula>), in optimization problems, and in the proof
of the existence of properties (for example, it exists
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>X</mi></math></formula> such that <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>f</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><mn>0</mn></mrow></math></formula> or it exist two values
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mi>X</mi><mn>1</mn></msub></math></formula>, <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mi>X</mi><mn>2</mn></msub></math></formula> such that <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>f</mi><mo>(</mo><msub><mi>X</mi><mn>1</mn></msub><mo>)</mo><mo>&gt;</mo><mn>0</mn></mrow></math></formula> and <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>f</mi><mo>(</mo><msub><mi>X</mi><mn>2</mn></msub><mo>)</mo><mo>&lt;</mo><mn>0</mn></mrow></math></formula>). There are few
restrictions on the function <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>f</mi></math></formula> as we are able to manage
explicit functions using classical mathematical operators
(e.g. <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo form="prefix">sin</mo><mrow><mo>(</mo><mi>x</mi><mo>+</mo><mi>y</mi><mo>)</mo></mrow><mo>+</mo><mo form="prefix">log</mo><mo>(</mo><mo form="prefix">cos</mo><mrow><mo>(</mo><msup><mi>e</mi><mi>x</mi></msup><mo>)</mo></mrow><mo>+</mo><msup><mi>y</mi><mn>2</mn></msup><mo>)</mo></mrow></math></formula> as well as implicit functions
(e.g. determining if there are parameter values of a parametrized
matrix such that the determinant of the matrix is negative, without
calculating the analytical form of the determinant).</p>
      <p>Solutions are searched within a finite domain (called a <i>box</i>)
which may be either continuous or mixed (i.e. for which some variables
must belong to a continuous range while other variables may
only have values within a discrete set). An important point is that we
aim at finding all the solutions within the domain whenever the
computer arithmetic will allow it: in other words we are looking for
<i>certified</i> solutions. For example, for 0-dimensional system
solving, we will provide a box that contains one, and only one,
solution together with a numerical approximation of this
solution. This solution
may further be refined at will using multi-precision.</p>
      <p>The core of our methods is the use of <i>interval analysis</i> that
allows one to manipulate mathematical expressions whose unknowns have interval
values. A basic component of interval analysis is the <i>interval
evaluation</i> of an expression. Given an analytical expression <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>F</mi></math></formula>
in the unknowns <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>{</mo><msub><mi>x</mi><mn>1</mn></msub><mo>,</mo><msub><mi>x</mi><mn>2</mn></msub><mo>,</mo><mo>...</mo><mo>,</mo><msub><mi>x</mi><mi>n</mi></msub><mo>}</mo></mrow></math></formula> and ranges
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>{</mo><msub><mi>X</mi><mn>1</mn></msub><mo>,</mo><msub><mi>X</mi><mn>2</mn></msub><mo>,</mo><mo>...</mo><mo>,</mo><msub><mi>X</mi><mi>n</mi></msub><mo>}</mo></mrow></math></formula> for these unknowns we are able to compute a
range <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>[</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>]</mo></mrow></math></formula>, called the interval evaluation, such that</p>
      <formula id-text="1" id="uid21" textype="equation" type="display">
        <math xmlns="http://www.w3.org/1998/Math/MathML" mode="display" overflow="scroll">
          <mrow>
            <mo>∀</mo>
            <mrow>
              <mo>{</mo>
              <msub>
                <mi>x</mi>
                <mn>1</mn>
              </msub>
              <mo>,</mo>
              <msub>
                <mi>x</mi>
                <mn>2</mn>
              </msub>
              <mo>,</mo>
              <mo>...</mo>
              <mo>,</mo>
              <msub>
                <mi>x</mi>
                <mi>n</mi>
              </msub>
              <mo>}</mo>
            </mrow>
            <mo>∈</mo>
            <mrow>
              <mo>{</mo>
              <msub>
                <mi>X</mi>
                <mn>1</mn>
              </msub>
              <mo>,</mo>
              <msub>
                <mi>X</mi>
                <mn>2</mn>
              </msub>
              <mo>,</mo>
              <mo>...</mo>
              <mo>,</mo>
              <msub>
                <mi>X</mi>
                <mi>n</mi>
              </msub>
              <mo>}</mo>
            </mrow>
            <mo>,</mo>
            <mi>A</mi>
            <mo>≤</mo>
            <mi>F</mi>
            <mrow>
              <mo>(</mo>
              <msub>
                <mi>x</mi>
                <mn>1</mn>
              </msub>
              <mo>,</mo>
              <msub>
                <mi>x</mi>
                <mn>2</mn>
              </msub>
              <mo>,</mo>
              <mo>...</mo>
              <mo>,</mo>
              <msub>
                <mi>x</mi>
                <mi>n</mi>
              </msub>
              <mo>)</mo>
            </mrow>
            <mo>≤</mo>
            <mi>B</mi>
          </mrow>
        </math>
      </formula>
      <p noindent="true">In other words the interval evaluation provides a lower bound of the
minimum of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>F</mi></math></formula> and an upper bound of its maximum over the box.</p>
      <p>For example if <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>F</mi><mo>=</mo><mi>x</mi><mspace width="3.33333pt"/><mi>s</mi><mi>i</mi><mi>n</mi><mo>(</mo><mi>x</mi><mo>+</mo><msup><mi>x</mi><mn>2</mn></msup><mo>)</mo></mrow></math></formula> and <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>x</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>.</mo><mn>5</mn><mo>,</mo><mn>1</mn><mo>.</mo><mn>6</mn><mo>]</mo></mrow></math></formula>, then
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>F</mi><mo>(</mo><mo>[</mo><mn>0</mn><mo>.</mo><mn>5</mn><mo>,</mo><mn>1</mn><mo>.</mo><mn>6</mn><mo>]</mo><mo>)</mo><mo>=</mo><mo>[</mo><mo>-</mo><mn>1</mn><mo>.</mo><mn>362037441</mn><mo>,</mo><mn>1</mn><mo>.</mo><mn>6</mn><mo>]</mo></mrow></math></formula>, meaning that for any <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>x</mi></math></formula> in
[0.5,0.6] we guarantee that <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mo>-</mo><mn>1</mn><mo>.</mo><mn>362037441</mn><mo>≤</mo><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>≤</mo><mn>1</mn><mo>.</mo><mn>6</mn></mrow></math></formula>.</p>
      <p>The interval evaluation of an expression has interesting properties:</p>
      <simplelist>
        <li id="uid22">
          <p noindent="true">it can be implemented in such a way that the results are
guaranteed with respect to round-off errors i.e.
property <ref xlink:href="#uid21" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> is still valid
in spite of
numerical errors induced by the use of floating point numbers</p>
        </li>
        <li id="uid23">
          <p noindent="true">if <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>A</mi><mo>&gt;</mo><mn>0</mn></mrow></math></formula> or <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>B</mi><mo>&lt;</mo><mn>0</mn></mrow></math></formula>, then no values of the unknowns in
their respective ranges can cancel <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>F</mi></math></formula></p>
        </li>
        <li id="uid24">
          <p noindent="true">if <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>A</mi><mo>&gt;</mo><mn>0</mn></mrow></math></formula> (<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>B</mi><mo>&lt;</mo><mn>0</mn></mrow></math></formula>), then <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>F</mi></math></formula> is positive (negative) for any value
of the unknowns in their respective ranges</p>
        </li>
      </simplelist>
      <p>A major drawback of the interval evaluation is that
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>A</mi><mo>(</mo><mi>B</mi><mo>)</mo></mrow></math></formula> may be overestimated i.e. values of
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><msub><mi>x</mi><mn>1</mn></msub><mo>,</mo><msub><mi>x</mi><mn>2</mn></msub><mo>,</mo><mo>...</mo><mo>,</mo><msub><mi>x</mi><mi>n</mi></msub></mrow></math></formula> such that <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>F</mi><mrow><mo>(</mo><msub><mi>x</mi><mn>1</mn></msub><mo>,</mo><msub><mi>x</mi><mn>2</mn></msub><mo>,</mo><mo>...</mo><mo>,</mo><msub><mi>x</mi><mi>n</mi></msub><mo>)</mo></mrow><mo>=</mo><mi>A</mi><mrow><mo>(</mo><mi>B</mi><mo>)</mo></mrow></mrow></math></formula> may not
exist. This
overestimation occurs because in our calculation each occurrence of a
variable is considered as an independent variable. Hence if
a variable has multiple occurrences, then an overestimation may
occur. Such phenomena can be observed in the previous example where
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>B</mi><mo>=</mo><mn>1</mn><mo>.</mo><mn>6</mn></mrow></math></formula> while the real maximum of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>F</mi></math></formula> is approximately 0.9144. The
value of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>B</mi></math></formula> is obtained because we are using in our calculation the
formula <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>F</mi><mo>=</mo><mi>x</mi><mi>s</mi><mi>i</mi><mi>n</mi><mo>(</mo><mi>y</mi><mo>+</mo><msup><mi>z</mi><mn>2</mn></msup><mo>)</mo></mrow></math></formula> with <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>y</mi><mo>,</mo><mi>z</mi></mrow></math></formula> having the same interval value
than <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>x</mi></math></formula>.</p>
      <p>Fortunately there are methods that allow one to reduce the
overestimation and the overestimation amount decreases with the width of
the ranges. The latter remark leads to the use of a branch-and-bound
strategy in which for a given box a variable range will be bisected,
thereby creating two new boxes that are stored in a list and
processed later
on. The algorithm is complete if all boxes in the list
have been processed, or if during the process a box generates an answer
to the problem at hand (e.g. if we want to prove that <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>F</mi><mo>(</mo><mi>X</mi><mo>)</mo><mo>&lt;</mo><mn>0</mn></mrow></math></formula>, then
the algorithm stops as soon as
<formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mrow><mi>F</mi><mo>(</mo><mi>ℬ</mi><mo>)</mo><mo>≥</mo><mn>0</mn></mrow></math></formula> for a certain box <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>ℬ</mi></math></formula>).</p>
      <p>A generic interval analysis algorithm involves the following steps
on the current box <ref xlink:href="#hephaistos-2018-bid1" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, <ref xlink:href="#hephaistos-2018-bid2" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>:</p>
      <orderedlist>
        <li id="uid25">
          <p noindent="true"><i>exclusion operators</i>: these operators determine that there
is no solution to the problem within a given box. An important issue
here is the extensive and smart use of the monotonicity of the
functions</p>
        </li>
        <li id="uid26">
          <p noindent="true"><i>filters</i>: these operators may reduce the size of the
box i.e. decrease the width of the allowed ranges for the
variables</p>
        </li>
        <li id="uid27">
          <p noindent="true"><i>existence operators</i>: they allow one to determine the existence
of a unique solution within a given box and are usually
associated with a numerical scheme that allows for the computation
of this solution in a safe way</p>
        </li>
        <li id="uid28">
          <p noindent="true"><i>bisection</i>: choose one of the variable and bisect its range
for creating two new boxes</p>
        </li>
        <li id="uid29">
          <p noindent="true"><i>storage</i>: store the new boxes in the list</p>
        </li>
      </orderedlist>
      <p>The scope of the HEPHAISTOS project is to address all these steps in order
to find the most efficient procedures. Our efforts focus on
mathematical developments (adapting classical theorems to interval
analysis, proving interval analysis theorems), the use of symbolic
computation and formal proofs (a symbolic pre-processing allows one to
automatically adapt the solver to the structure of the problem), software
implementation and experimental tests (for validation purposes).</p>
      <p spacebefore="2.84544pt"/>
      <p><b>Important note</b>:
We have insisted on interval analysis because this is a <b>major
component</b> or our robotics activity. Our theoretical work in
robotics is an analysis of the robotic environment in order to exhibit
proofs on the behavior of the system that may be qualitative (e.g. the
proof that a cable-driven parallel robot with more than 6
non-deformable cables will have at most 6 cables under tension
simultaneously) or
quantitative. In the quantitative case as we are dealing with
realistic and not toy examples (including our own prototypes that are
developed whenever no equivalent hardware is available or to very our
assumptions) we have to manage problems that are so complex that
analytical solutions are probably out of reach (e.g. the direct
kinematics of parallel robots) and we have to resort to algorithms and
numerical analysis. We are aware of different approaches in numerical
analysis (e.g. some team members were previously involved in teams
devoted to computational geometry and algebraic geometry) but interval
analysis provides us another approach with high flexibility, the
possibility of managing non algebraic problems (e.g. the kinematics of
cable-driven parallel robots with sagging cables, that involves
inverse hyperbolic functions) and to address various types of issues
(system solving, optimization, proof of existence ...). However
whenever needed we will rely as well on continuation, algebraic
geometry, geometry or learning.</p>
    </subsection>
    <subsection id="uid30" level="1">
      <bodyTitle>Robotics</bodyTitle>
      <p>HEPHAISTOS, as a follow-up of COPRIN, has a long-standing tradition of
robotics studies, especially
for closed-loop robots <ref xlink:href="#hephaistos-2018-bid3" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>, especially
cable-driven parallel robots. We address
theoretical issues with the
purpose of obtaining analytical and theoretical solutions, but in many
cases only numerical solutions can be obtained due to the
complexity of the problem. This
approach has motivated the use of interval analysis for two reasons:</p>
      <orderedlist>
        <li id="uid31">
          <p noindent="true">the versatility of interval analysis allows us to address issues
(e.g. singularity
analysis) that cannot be tackled by any other method due to the
size of the problem</p>
        </li>
        <li id="uid32">
          <p noindent="true">uncertainties (which are inherent
to a robotic device) have to be taken into account
so that the <i>real</i> robot is guaranteed to have the same properties as the
<i>theoretical</i> one, even in the worst case <ref xlink:href="#hephaistos-2018-bid4" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>. This is a crucial issue
for many applications in robotics (e.g. medical or assistance
robot)</p>
        </li>
      </orderedlist>
      <p>Our field of study in robotics focuses on <i>kinematic</i>
issues such as
workspace and singularity analysis, positioning
accuracy, trajectory
planning, reliability, calibration, modularity
management and,
prominently, <i>appropriate design</i>, i.e. determining the dimensioning of
a robot mechanical architecture that guarantees that the real robot
satisfies a given set of
requirements. The
methods that we develop can be used for other robotic problems, see
for example the management of uncertainties in aircraft
design <ref xlink:href="#hephaistos-2018-bid5" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>.</p>
      <p>Our theoretical work must be validated through experiments that are
essential for the sake of credibility. A contrario, experiments will
feed theoretical work. Hence HEPHAISTOS works with partners on the
development of real robots but also develops its own prototypes. In
the last years we have developed a large number of prototypes and
we have extended our development to
devices that are not strictly robots but are part of an overall
environment for assistance.
We benefit here from the development of new
miniature, low energy computers with an interface for analog and
logical sensors such as the Arduino or the Phidgets.
The web pages
<ref xlink:href="http://www-sop.inria.fr/hephaistos/mediatheque/index.html" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www-sop.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hephaistos/<allowbreak/>mediatheque/<allowbreak/>index.<allowbreak/>html</ref>
presents all of our prototypes and experimental work.
</p>
    </subsection>
  </fondements>
  <domaine id="uid33">
    <bodyTitle>Application Domains</bodyTitle>
    <subsection id="uid34" level="1">
      <bodyTitle>Domains: a transversal approach</bodyTitle>
      <p>While the methods developed in the project can be used for a very
broad set of application domains (for example we have an activity in
CO2 emission allowances, it is clear that the
size of the project does not allow us to address all of them. Hence
we have decided to focus our applicative activities on <i>mechanism
theory</i>, where we focus on <i>modeling</i>, <i>optimal design</i> and
<i>analysis</i>
of mechanisms. Along the same line our focus is
<i>robotics</i> and especially <i>service
robotics</i> which includes rescue robotics, rehabilitation
and assistive robots for elderly and handicapped people. Although
these topics were new
for us when initiating the project we have spent two years determining
priorities and
guidelines by conducting about 200 interviews with field experts (end-users,
praticians, family and caregivers, institutes), establishing
strong collaboration with them (e.g. with the CHU of Nice-Cimiez) and
putting together an appropriate experimental setup for testing our
solutions.
A direct consequence of setting up this research framework is
a reduction in our publication and contract activities. But this may be
considered as an investment as assistance robotics is a long term
goal.
It must be reminded that we are able to manage a large variety of
problems in totally different domains only because interval analysis,
game theory and symbolic tools provides us the methodological tools
that allow us to address completely a given problem from the
formulation and analysis up to the very final
step of providing numerical solutions.</p>
    </subsection>
  </domaine>
  <highlights id="uid35">
    <bodyTitle>Highlights of the Year</bodyTitle>
    <subsection id="uid36" level="1">
      <bodyTitle>Highlights of the Year</bodyTitle>
      <subsection id="uid37" level="2">
        <bodyTitle>Science</bodyTitle>
        <simplelist>
          <li id="uid38">
            <p noindent="true">strong advances on the analysis of cable-driven parallel robots
(section <ref xlink:href="#uid59" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>)</p>
          </li>
          <li id="uid39">
            <p noindent="true">collaboration with lawyers on the ethical and legal aspects of
assistance robotics</p>
          </li>
          <li id="uid40">
            <p noindent="true">strong collaboration with the medical community on walking
analysis, rehabilitation (section <ref xlink:href="#uid68" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>) and activities
detection (section <ref xlink:href="#uid71" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>)</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid41" level="2">
        <bodyTitle>Experimentation</bodyTitle>
        <simplelist>
          <li id="uid42">
            <p noindent="true">completion of the first version of our immersive
environment for rehabilitation (section <ref xlink:href="#uid68" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>)</p>
          </li>
          <li id="uid43">
            <p noindent="true">continuation of the daily activities monitoring in a day hospital
(section <ref xlink:href="#uid71" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>)</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid44" level="2">
        <bodyTitle>Awards</bodyTitle>
        <p>J-P. Merlet has received the best paper award at the Eucomes
conference <best><ref xlink:href="#hephaistos-2018-bid6" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/></best>.</p>
      </subsection>
    </subsection>
  </highlights>
  <logiciels id="uid45">
    <bodyTitle>New Software and Platforms</bodyTitle>
    <subsection id="uid46" level="1">
      <bodyTitle>ALIAS</bodyTitle>
      <p>
        <i>Algorithms Library of Interval Analysis for Systems</i>
      </p>
      <p noindent="true"><span class="smallcap" align="left">Functional Description:</span> The ALIAS library whose development started in 1998, is a collection of procedures based on interval analysis for systems solving and optimization.</p>
      <p>ALIAS is made of two parts:</p>
      <p>ALIAS-C++ : the C++ library (87 000 code lines) which is the core of the algorithms</p>
      <p>ALIAS-Maple : the Maple interface for ALIAS-C++ (55 000 code lines). This interface allows one to specify a solving problem within Maple and get the results within the same Maple session. The role of this interface is not only to generate the C++ code automatically, but also to perform an analysis of the problem in order to improve the efficiency of the solver. Furthermore, a distributed implementation of the algorithms is available directly within the interface.</p>
      <simplelist>
        <li id="uid47">
          <p noindent="true">Participants: Jean-Pierre Merlet and Odile Pourtallier</p>
        </li>
        <li id="uid48">
          <p noindent="true">Contact: Jean-Pierre Merlet</p>
        </li>
      </simplelist>
    </subsection>
    <subsection id="uid49" level="1">
      <bodyTitle>PALGate</bodyTitle>
      <p><span class="smallcap" align="left">Keywords:</span> Health - Home care - Handicap</p>
      <simplelist>
        <li id="uid50">
          <p noindent="true">Contact: David Daney</p>
        </li>
      </simplelist>
    </subsection>
    <subsection id="uid51" level="1">
      <bodyTitle>Platforms</bodyTitle>
      <p spacebefore="-28.45274pt"/>
      <subsection id="uid52" level="2">
        <bodyTitle>ALIAS, Algorithms Library of Interval Analysis for
Systems</bodyTitle>
        <participants>
          <person key="hephaistos-2018-idp168560">
            <firstname>Hiparco</firstname>
            <lastname>Lins Vieira</lastname>
          </person>
          <person key="hephaistos-2018-idp145520">
            <firstname>Jean-Pierre</firstname>
            <lastname>Merlet</lastname>
            <moreinfo>correspondant</moreinfo>
          </person>
          <person key="hephaistos-2018-idp148432">
            <firstname>Yves</firstname>
            <lastname>Papegay</lastname>
          </person>
        </participants>
        <p>URL: <ref xlink:href="http://www-sop.inria.fr/hephaistos/developpements/main.html" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>www-sop.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hephaistos/<allowbreak/>developpements/<allowbreak/>main.<allowbreak/>html</ref></p>
        <p spacebefore="2.84544pt"/>
        <p>The ALIAS library whose development started in 1998, is a collection of procedures based on interval analysis for systems solving and optimization.</p>
        <p>ALIAS is made of two parts:</p>
        <p>ALIAS-C++ : the C++ library (87 000 code lines) which is the core of the algorithms</p>
        <p>ALIAS-Maple : the Maple interface for ALIAS-C++ (55 000 code
lines). This interface allows one to specify a solving problem
within Maple and get the results within the same Maple
session. The role of this interface is not only to generate the
C++ code automatically, but also to perform an analysis of the
problem in order to improve the efficiency of the
solver. Furthermore, a distributed implementation of the
algorithms is available directly within the interface.</p>
      </subsection>
      <subsection id="uid53" level="2">
        <bodyTitle>Hardware platforms</bodyTitle>
        <p noindent="true">We describe here only the new platforms that have been developed or
improved in
2018 while we maintain a very large number of platforms (e.g. the
cable-driven parallel robots of the MARIONET family, the ANG family of
walking aids or our
experimental flat).</p>
        <subsection id="uid54" level="3">
          <bodyTitle>REVMED: virtual reality and rehabilitation</bodyTitle>
          <p>Inria and Université Côte d'Azur have agreed to fund us for
developing the platform REVMED whose
purpose is to introduce end-user motion and their analysis in a virtual reality
environment in order to make rehabilitation exercises more attractive
and more appropriate for the rehabilitation process. For example we
have developed an active treadmill whose slope change according
to the user place in the virtual world while the lateral inclination
may be changed in order to regulate the load between the left and
right leg. Such a system may be used in rehabilitation to simulate a
walk in the mountain while increasing on-demand the load on an injured leg
(that is usually avoided by the user) for a shorter rehabilitation
time. At the same time the walking pattern is analyzed by using lidar,
kinect and distance sensor in order to
assess the efficiency of the rehabilitation exercise.</p>
          <p>The motion system is composed of two vertical columns whose height may
be adjusted (they are used for actuating the treadmill), a 6 d.o.f
motion base and a cable-driven parallel robot which may lift the user
(in the walking experiment this robot may be used to support partly
the user while he is walking allowing frail people to start the
rehabilitation earlier). We intend to develop sailing and ski
simulators as additional rehabilitation environment. Currently the
columns and instrumented treadmill are effective and we have completed
at the end of this year the coupling between the subject motion and
the 2D visualization of a walk in a nice-looking environment,
including basic sound (figure <ref xlink:href="#uid55" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>). Walking analysis is
performed using a lidar, a kinect
and a distance sensor at the head of the treadmill.</p>
          <object id="uid55">
            <table>
              <tr>
                <td>
                  <ressource xlink:href="IMG/rehabilitation1.jpg" type="figure" width="312.9803pt" height="199.16928pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
                </td>
              </tr>
            </table>
            <caption>Our rehabilitation station in a configuration with a
treadmill, 2 columns for changing its slope and inclination and
lidar and kinect for motion analysis</caption>
          </object>
        </subsection>
        <subsection id="uid56" level="3">
          <bodyTitle>Activities detection platform</bodyTitle>
          <p>For non intrusive activities detection we use low cost distance and motion
sensors that are incorporated in a 3D printed box
and constitute a
detection station. Several such station are implemented at appropriate
place in the location that has to be monitored. Currently we have
15 such stations deployed at Valrose
EHPAD since end of 2016 and
17 (which amount to 77 different sensors)
deployed at Institut Claude Pompidou since the
end of 2017.</p>
        </subsection>
      </subsection>
    </subsection>
  </logiciels>
  <resultats id="uid57">
    <bodyTitle>New Results</bodyTitle>
    <subsection id="uid58" level="1">
      <bodyTitle>Robotics </bodyTitle>
      <subsection id="uid59" level="2">
        <bodyTitle>Analysis of Cable-driven parallel robots </bodyTitle>
        <participants>
          <person key="hephaistos-2018-idp156208">
            <firstname>Alain</firstname>
            <lastname>Coulbois</lastname>
          </person>
          <person key="hephaistos-2018-idp158672">
            <firstname>Artem</firstname>
            <lastname>Melnyk</lastname>
          </person>
          <person key="hephaistos-2018-idp145520">
            <firstname>Jean-Pierre</firstname>
            <lastname>Merlet</lastname>
            <moreinfo>correspondant</moreinfo>
          </person>
          <person key="hephaistos-2018-idp148432">
            <firstname>Yves</firstname>
            <lastname>Papegay</lastname>
          </person>
        </participants>
        <p>We have continued the analysis of
suspended CDPRs for control and design
purposes. This analysis is heavily dependent on the behavior of the
cable. Three main models can be used: <i>ideal</i> (no deformation of the
cable due to the tension, the cable shape is a straight line between
the attachments points), <i>elastic</i> (cable length changes according
to the tension to which it is submitted, straight line cable shape)
and <i>sagging</i> (cable shape is not a line as the cable is submitted to its
own mass). The different models leads to very different analysis with
a complexity increasing from ideal to sagging. All cables exhibit
sagging but the sagging effect is often neglected if the CDPR is
relatively small while it definitively cannot be neglected for large
CDPRs. The most used sagging model is the Irvine
model  <ref xlink:href="#hephaistos-2018-bid7" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>. This is a non algebraic planar model with
the upper
attachment point of the cable is supposed to be grounded: it provides the
coordinates of
the lowest attachment point <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>B</mi></math></formula> of the cable if the cable length <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mi>L</mi><mn>0</mn></msub></math></formula> at rest
and the force applied at this point are known. It takes into account
both the elasticity and deformation of the cable due to its own
mass. A drawback of this model is that we will be more interested in
a closed-form of the <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msub><mi>L</mi><mn>0</mn></msub></math></formula> for a given pose of <formula type="inline"><math xmlns="http://www.w3.org/1998/Math/MathML" overflow="scroll"><mi>B</mi></math></formula> (for the inverse
kinematics of CDPR) and in alternate form of the model that will
provide constraint on the force components (for the direct
kinematics). We have proposed new original formulations of the Irvine
model in <ref xlink:href="#hephaistos-2018-bid6" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> (best paper award of the Eucomes conference) and have shown that their use
drastically improve the solving time for both the inverse and direct
kinematics (i.e finding all possible solutions for both
problems) that are required for CDPRs control. Still the solving time
of the direct kinematics is too large for the real-time direct
kinematics and in that case only the current pose of the platform is
of interest. For that purpose it is of interest to add sensors on the
robot beside the measurement of cable lengths in order to improve the
solving time by using additional constraints and possibly ending up
with a single solution. But these measurements are uncertain although
we may assume that the measurement errors are bounded. It is necessary
to determine these error bounds for a practical use of these
measurement and we have conducted an experimental investigation of
various additional measurements <ref xlink:href="#hephaistos-2018-bid8" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>: a
mechanical system for measuring the angle of the cable plane with
respect to a reference axis, cable
angulation with accelerometers glued on the cable, a “poor man
lidar” on the platform for optically determining several cables
angulation, accelerometers on
the platform and cable tensions with strain gauges while the pose of
the platform was estimated accurately by using a metrology arm and laser
range-meters. This
investigation has shown that:</p>
        <simplelist>
          <li id="uid60">
            <p noindent="true">the friction in the mechanical system leads to large errors for
the cable plane angle (up to 30 degrees). For later measure we have
bypassed this system</p>
          </li>
          <li id="uid61">
            <p noindent="true">even for small and medium-sized CDPRs the
sagging effect cannot be neglected for estimating cable angulation</p>
          </li>
          <li id="uid62">
            <p noindent="true">accelerometers on the cable and the lidar system have a good
accuracy (between 1 and 5 degrees)</p>
          </li>
          <li id="uid63">
            <p noindent="true">cable tension measurement is very approximate even
with high accuracy strain
gauges and cannot be used for control purposes.</p>
          </li>
        </simplelist>
        <p>We have also continued to investigate calculation of planar
cross-sections of the workspace
for CDPR with sagging cables, i.e. when 4 of the 6 platform pose
parameters are fixed leaving only 2 free parameters. Brand new
algorithms have been
developed, based on a
continuation
approach <ref xlink:href="#hephaistos-2018-bid8" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>,<ref xlink:href="#hephaistos-2018-bid9" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>. The
main idea is that almost everywhere the
workspace border is a one-dimensional variety so that if one of the
free parameters is fixed, then a pose on the border should satisfy a
square equation system constituted of the kinematic equations and the
constraints equations (e.g. that a cable length is equal to a given
maximum limit). Pose on the border are obtained by choosing an
arbitrary pose that has an inverse kinematic solution that satisfy the
constraints in the workspace and then moves incrementally
along one of the free axis using a certified Newton scheme for finding
the inverse kinematics solution until the constraint equations are
almost satisfied in which case the certified Newton scheme is used to
determine exactly (i.e with an arbitrary accuracy) a pose that lies on
the border. Then a continuation scheme is used to find new poses on
the border until we reach a pose at which a new set of constraints is
satisfied i.e. a starting point for a new border arc. The border is
then composed of several polygonal arcs that approximate the real
border. The scheme is devised so that we completely master the
difference between the real workspace area and the region defined by
the polygonal approximation of the border. If necessary we may reduce
this difference by adding new vertices on the border polygon.
An important point is that the constraints define border arcs but also
singularity curves (i.e. pose at which the direct kinematics equations
are singular) and a specific continuation scheme has been developed to
determine those arcs. Indeed the cancellation of the determinant of the
jacobian of the direct kinematic equations is part of the equations
that are satisfied on this type of border arc but this determinant
cannot be obtained in closed-form. Consequently we have devised a
certified Newton scheme that just require to evaluate the determinant
and its derivatives at a given pose. A consequence of the existences
of such arcs is that the workspace may have several <i>aspects</i>
i.e. workspace region that can be reached only for a given inverse
kinematics solution and is unreachable for the other one(s).</p>
      </subsection>
      <subsection id="uid64" level="2">
        <bodyTitle>Cable-Driven Parallel Robots for large scale additive
manufacturing</bodyTitle>
        <participants>
          <person key="hephaistos-2018-idp145520">
            <firstname>Jean-Pierre</firstname>
            <lastname>Merlet</lastname>
          </person>
          <person key="hephaistos-2018-idp148432">
            <firstname>Yves</firstname>
            <lastname>Papegay</lastname>
            <moreinfo>correspondant</moreinfo>
          </person>
        </participants>
        <p>Easy to deploy and to reconfigure, dynamically efficient in large
workspaces even with payloads, cable-driven parallel robots are very
attractive for solving displacement and positioning problems in
architectural building at large scale seems to be a good alternative
to crane and industrial manipulators in the area of additive
manufacturing.
We have co-founded in 2015 years ago the XtreeE (www.xtreee.eu)
start-up company that is currently one of the leading international
actors in large-scale 3D concrete printing.</p>
        <p>We have been contacted this year by artists interested in mimicking
the 3D additive manufacturing process on a large scale with glass
micro-beads for a live art performance to be held in 2019
(www.lestanneries.fr/exposition/monuments-larmes-prince). We have been
working on the design of the robotics system, namely a cables parallel
robots with autonomous refilling capabilities.</p>
      </subsection>
      <subsection id="uid65" level="2">
        <bodyTitle>Robotized ultrasound probe</bodyTitle>
        <participants>
          <person key="hephaistos-2018-idp145520">
            <firstname>Jean-Pierre</firstname>
            <lastname>Merlet</lastname>
          </person>
          <p>[correspondant],</p>
        </participants>
        <p>In collaboration with the EPIONE project we have started
investigation the development of a portable robotized cardiac
ultrasound probe that may
be used while performing an effort test. A first step, somewhat
surprising was the necessity to instrument an existing probe in order
to determine what are the forces that the doctor exert on the probe
during an investigation and the maximal angulation of the probe (apparently this data has not been measured
beforehand). We add an accelerometer (for measuring the angle) and a
force sensor in a
3D-printed covering of the probe and recorded the data during several
experiments. We were then planing to develop a small, portable
3 d.o.f. rotational parallel robot whose range of motion was within
the maximum angles that has been determined experimentally and was able
to sustain the force exerted by the doctor. Unfortunately there was
not a general consensus between the doctors and the company
manufacturing the probe on the number of d.o.f. that was requested for
the robot (which clearly have a drastic influence on the mechanical
design and on the dimensional synthesis of the robot) so that the
project is on stand-by.</p>
      </subsection>
      <subsection id="uid66" level="2">
        <bodyTitle>Parallel robot performances and uncertainties</bodyTitle>
        <participants>
          <person key="hephaistos-2018-idp145520">
            <firstname>Jean-Pierre</firstname>
            <lastname>Merlet</lastname>
          </person>
          <person key="hephaistos-2018-idp168560">
            <firstname>Hiparco</firstname>
            <lastname>Lins Vieira</lastname>
            <moreinfo>correspondant</moreinfo>
          </person>
        </participants>
        <p>The purpose of this study, which is the PhD subject of H. Lins Vieira,
is to develop interval analysis-based algorithm for determining if
some performance
requirements for parallel robots (e.g. on workspace, accuracy, load
lifting ability) can be guaranteed in spite of the unavoidable
manufacturing and control uncertainties of the system.</p>
      </subsection>
    </subsection>
    <subsection id="uid67" level="1">
      <bodyTitle>Assistance</bodyTitle>
      <p>We are still going on in building a framework for customizable and
modular assistive robotics
including hardware, software and communication and medical
monitoring. The development of our
platforms shows that we are now able to identify problematic issues
for end-users, helpers and the medical community and to propose
appropriate hardware/software solutions. But the most time consuming
part of our work is related to evaluation and therefore
experimentation: this involves legal/ethical issues (for which we have
contributed <ref xlink:href="#hephaistos-2018-bid10" location="biblio" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>), participation of the medical
community (for evaluation and recruitment) and heavy administrative
management. Clearly we are lacking of permanent staff as we have long
term objectives that cannot be fulfilled only with PhD or post-doc
students. We need also engineers during specific periods (for hardware
development and experimentation) but over a longer time than the one or
two years
currently proposed by Inria.</p>
      <subsection id="uid68" level="2">
        <bodyTitle>Rehabilitation in an immersive environment </bodyTitle>
        <participants>
          <person key="hephaistos-2018-idp158672">
            <firstname>Artem</firstname>
            <lastname>Melnyk</lastname>
          </person>
          <person key="hephaistos-2018-idp145520">
            <firstname>Jean-Pierre</firstname>
            <lastname>Merlet</lastname>
          </person>
          <person key="hephaistos-2018-idp148432">
            <firstname>Yves</firstname>
            <lastname>Papegay</lastname>
            <moreinfo>correspondant</moreinfo>
          </person>
          <person key="hephaistos-2018-idp173568">
            <firstname>Ting</firstname>
            <lastname>Wang</lastname>
          </person>
        </participants>
        <p>Rehabilitation is a tedious and painful process and it is difficult to
assess its trend. Using an immersive environment has shown to increase
the patient motivation but is not sufficient regarding rehabilitation
efficiency. First the visual feedback (event 3D) is not sufficient to
provide a full immersive feeling as body motion is not
involved. Controlling body motion is also very important for therapists
that currently must continuously correct the patient pose so that the
rehabilitation exercise is the most efficient. We propose to add
motion generators in the environment to reinforce realism (thereby
increasing patient motivation) but also to allow therapists to use
these generators to control the body pose so that they will be able to
repeat rehabilitation exercises in a controlled context. Furthermore
these generators are instrumented to provide information on the body
pose and additional external sensors complete these measurements for
rehabilitation assessment. We have developed 3 types of motions
generators: one 6 d.o.f. motion base, a CDPR that is able to lift a
patient and 2 multipurpose lifting columns.</p>
        <p>When starting this project we were planning to use Inria-Sophia
immersive room , hence allowing us to focus on the rehabilitation
station. Unfortunately this room is no more available. This year we
have developed a 2D renderer that has been connected to a flexible
software platform allowing the various agents to exchange
messages. We have been able to build a first version of our
rehabilitation platform using a treadmill as exercise tool and
columns to animate the treadmill (figure <ref xlink:href="#uid55" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/>).
For measuring the gait pattern we are using a planar lidar for
detecting the leg motions, a kinect for detecting the motion of a
skeleton and a distance sensor that measure the body motion with
respect to the head of the treadmill. Figures <ref xlink:href="#uid69" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> and
<ref xlink:href="#uid70" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> show an extract of the measurements obtained during a
typical walk. It may be seen that the lidar data are very clean and
allows one to estimate the mean position of the leg as a function of
time (from which we will be able to deduce the number of steps,
velocities of the leg, ...). Kinect data are much more noisy
although that a fusion with the lidar data and the distance
data will allows us to detect
significant trunk motion. A typical walk of 3mn provides
approximately 20 Mo of data.</p>
        <object id="uid69">
          <table>
            <tr>
              <td>
                <ressource xlink:href="IMG/Leg.jpg" type="figure" width="341.43306pt" height="227.62204pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
              </td>
            </tr>
          </table>
          <caption>An extract of the legs motions in the walking direction as measured by the lidar and
the trunk forward/backward motion estimated by the kinect</caption>
        </object>
        <object id="uid70">
          <table>
            <tr>
              <td>
                <ressource xlink:href="IMG/Distance.jpg" type="figure" width="284.52756pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
              </td>
            </tr>
          </table>
          <caption>An extract of the trunk forward/backward motions as measured
by the distance
sensor in the head of the treadmill</caption>
        </object>
        <p>Note that we are not using wearable
sensors (although they are available: accelerometers for the arms and
legs, shoes with pressure sensor and accelerometers): this is
voluntary as our contacts with the medical community have indicated
that many patients will not be comfortable with wearable sensors. In
the same manner we have experimented having a headset instead
of the screen but it appears that visualization is very disturbing and
uncomfortable. Subject safety is ensured: during the exercise the
subject must keep a push button pressed and when released the
treadmill stop immediately. An emergency stop button is also available
for the operator. Furthermore the system has been designed to provide
various supports for avoiding fall and is surrounded by soft carpets.</p>
        <p spacebefore="2.84544pt"/>
        <p>The rehabilitation station for walking analysis on a treadmill
in various walking condition is now
almost fully functional and reliable. The next step will start of the
beginning of 2019 with an experiment involving a cohort of voluntary
subjects of Inria in order to obtain a significant amount of
data. A statistical analysis of these data will then be performed in
order to examine if synthetic and medically pertinent indicators
(besides classical indicators such a number of steps, velocity,
...) may be obtained.
The next step will involve repeating this experiment with pathological
patients from Centre Héliomarin de Vallauris, most probably at the
end of 2019.
Meanwhile we will integrate our motion base as another element of the
rehabilitation station with the purpose of equilibrium analysis, using
a sea landscape as virtual environment with fans providing a realistic
simulation of winds.</p>
      </subsection>
    </subsection>
    <subsection id="uid71" level="1">
      <bodyTitle>Smart Environment for Human Behaviour
Recognition </bodyTitle>
      <participants>
        <person key="hephaistos-2018-idp156208">
          <firstname>Alain</firstname>
          <lastname>Coulbois</lastname>
        </person>
        <person key="PASUSERID">
          <firstname>Aurélien</firstname>
          <lastname>Massein</lastname>
        </person>
        <person key="hephaistos-2018-idp148432">
          <firstname>Yves</firstname>
          <lastname>Papegay</lastname>
        </person>
        <person key="hephaistos-2018-idp151280">
          <firstname>Odile</firstname>
          <lastname>Pourtallier</lastname>
          <moreinfo>correspondant</moreinfo>
        </person>
        <person key="hephaistos-2018-idp153744">
          <firstname>Eric</firstname>
          <lastname>Wajnberg</lastname>
        </person>
      </participants>
      <p>The general aim of this research activity focuses on long term indoor
monitoring of frail persons.
In particular we are interested in early detection of daily routine
and activity modifications.
These modifications may indicate health condition alteration of the
person and may require further medical or family care.
Note that our work does not aim at detecting brutal modifications such
as faintness or fall.</p>
      <p>In our research we envisage both individual and collective housing
such as rehabilitation center or retirement home.</p>
      <p>Our work relies on the following leading ideas :</p>
      <simplelist>
        <li id="uid72">
          <p noindent="true">We do not base our monitoring system on wearable devices since
it appears that they may not be well accepted and worn regularly,</p>
        </li>
        <li id="uid73">
          <p noindent="true">Privacy advocates adequacy between the monitoring level needed
by a person and the detail level of the data collected. We therefore
strive to
design a system fitted to the need of monitoring of the person.</p>
        </li>
        <li id="uid74">
          <p noindent="true">In addition to privacy concern, intrusive feature of video led
us not to use it.</p>
        </li>
      </simplelist>
      <p>The main aspect that grounds this work is the ability to locate a
person or a group in their indoor environment.
We focus our attention to the case where several persons are present
in the environment.
As a matter of fact the single person case is less difficult.</p>
      <p>This year we have focused our attention in several aspects :
improvement of the hardware of the experimental monitoring system
and tools for handling and analyzing the data gathered.</p>
      <p>The PhD work about optimal location of sensors in a smart environments
has been defended in november, defining new metrics on set of sensors
and new methods <footnote id="uid75" id-text="2">Design of Instrumented Environment for Human
Monitoring, defended on 12/26/2018</footnote>.</p>
      <subsection id="uid76" level="2">
        <bodyTitle>Hardware</bodyTitle>
        <p>Two monitoring systems have been installed.
The first one in the first floor of EHPAD Valrose in Nice, and a
second one in Institut Claude Pompidou in Nice.
Both systems are composed of multi sensors barriers that provide raw
data from which we deduce the time and direction of its crossing by a
person.</p>
        <p>For the second experimental system the analysis of the first data have
shown that the system was not reliable enough while the data
themselves were not satisfactory because of the specificity of the
building (large corridors, large waiting room, picture windows and the
number of sensors installed (77).
We have worked on the hardware of the system (redundant power supply,
better orientation of barriers, better communication system) to
improve the gathered data.</p>
      </subsection>
      <subsection id="uid77" level="2">
        <bodyTitle>Tools for handling data and data analysis</bodyTitle>
        <p>We have developed a simulation program, written in
C and using the GTK library, that generates barrier-events
(i.e. crossing
time, direction of crossing, speed of crossing).
This program is
based on Monte Carlo procedures simulating the displacement
of both elderly and caregivers in the EHPAD environment equipped
with movement
detectors. The code can simulate up to 20 persons and randomly draws
room-to-room
movements according to the walking speed of each individual
(caregivers walk at a faster pace
than elderly), and counts the locations and time coordinates of each
movement event identified
by the detectors. The figure <ref xlink:href="#uid78" location="intern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest"/> gives a view of the graphic
interface. Such a simulation
program, and the results produced, will provide basic training data to
reconstruct patient
movements from the information collected by the activity detectors.</p>
        <object id="uid78">
          <table>
            <tr>
              <td>
                <ressource xlink:href="IMG/image_eric.png" type="figure" width="312.9803pt" height="199.16928pt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" media="WEB"/>
              </td>
            </tr>
          </table>
          <caption>Simulation tool for event detection analysis</caption>
        </object>
        <p>Another scientific activities were based on the development of
diagnostic tools (also written in
C) to visualize (and thus to check and to interpret) events identified
by each detector in such
equipped environment. Finally, another activity – that is still under
development – is to analyze
statistically gait data obtained through the event detection. In
this case, the goal is to build
a series of relevant statistical descriptive parameters that will be
used to describe, identify and
compare gait features and pathology in medically assisted
environments. This last part is
developed used the R software.</p>
        <p>In the two installed system data are collected continuously during the
all day and a large
number of barrier crossing is observed. We are currently comparing
raw and simulated data before moving on with a statistical analysis.</p>
      </subsection>
    </subsection>
  </resultats>
  <contrats id="uid79">
    <bodyTitle>Bilateral Contracts and Grants with Industry</bodyTitle>
    <subsection id="uid80" level="1">
      <bodyTitle>Bilateral Contracts with Industry</bodyTitle>
      <p spacebefore="-28.45274pt"/>
      <subsection id="uid81" level="2">
        <bodyTitle>Symbolic tools for modeling and simulation </bodyTitle>
        <participants>
          <person key="hephaistos-2018-idp148432">
            <firstname>Yves</firstname>
            <lastname>Papegay</lastname>
          </person>
        </participants>
        <p>This activity is the main part of a long-term ongoing collaboration
with Airbus whose goal is to directly translate the conceptual work of
aeronautics engineers into digital simulators to accelerate aircraft
design.</p>
        <p>An extensive modeling and simulation platform - MOSELA - has been
designed which includes a dedicated modeling language for the
description of aircraft dynamics models in term of formulae and
algorithms, and a symbolic compiler producing as target an efficient
numerical simulation code ready to be plugged into a flight simulator,
as well as a formatted documentation compliant with industrial
requirements of corporate memory.</p>
        <p>Technology demonstrated by our prototype has been transferred : final
version of our modeling and simulation environment has been delivered
to Airbus in November 2012 and developer level know-how has been
transferred in 2013 to a software company in charge of its
industrialization and maintenance.</p>
        <p>Since 2014, we are working on several enhancements and extension of
functionalities, namely to enhance the performances and the numerical
quality of the generated C simulation code, ease the integration of
our environment into the airbus toolbox, help improving the robustness
of the environment and the documentation.</p>
      </subsection>
    </subsection>
  </contrats>
  <partenariat id="uid82">
    <bodyTitle>Partnerships and Cooperations</bodyTitle>
    <subsection id="uid83" level="1">
      <bodyTitle>Regional Initiatives</bodyTitle>
      <simplelist>
        <li id="uid84">
          <p noindent="true">the HEPHAISTOS and CHORALE teams together with I3S have
organized the 2-days
workshop <i>Robopaca</i> supported by Inria and UCA. The purpose was
to organize a meeting between academics, industry and end-users to
examine together the possibility of structuring the robotic
activities in PACA</p>
        </li>
      </simplelist>
    </subsection>
    <subsection id="uid85" level="1">
      <bodyTitle>National Initiatives</bodyTitle>
      <simplelist>
        <li id="uid86">
          <p noindent="true">the project <b>Craft</b> on collaborative cable-driven parallel
robot has been funded by ANR. It involves LS2N (Nantes) and the
Cetim. This project will start in 2019</p>
        </li>
      </simplelist>
      <subsection id="uid87" level="2">
        <bodyTitle>FHU</bodyTitle>
        <simplelist>
          <li id="uid88">
            <p noindent="true">the team has been involved for the FHU <i>INOVPAIN : Innovative
Solutions in Refractory Chronic Pain </i> that has been labeled in
December 2016</p>
          </li>
        </simplelist>
      </subsection>
    </subsection>
    <subsection id="uid89" level="1">
      <bodyTitle>International Initiatives</bodyTitle>
      <subsection id="uid90" level="2">
        <bodyTitle>Inria International Partners</bodyTitle>
        <subsection id="uid91" level="3">
          <bodyTitle>Informal International Partners</bodyTitle>
          <p>We have numerous international collaborations but we mention here only
the one with activities that go beyond joint theoretical or experimental works:</p>
          <simplelist>
            <li id="uid92">
              <p noindent="true">University of Bologna: 2 joint PhD student, publications</p>
            </li>
            <li id="uid93">
              <p noindent="true">University Innsbruck: joint conference organization</p>
            </li>
            <li id="uid94">
              <p noindent="true">Fraunhofer IPA, Stuttgart: joint conference organization</p>
            </li>
            <li id="uid95">
              <p noindent="true">Duisburg-Essen University: joint conference organization</p>
            </li>
            <li id="uid96">
              <p noindent="true">University of New-Brunswick: 1 joint PhD student</p>
            </li>
            <li id="uid97">
              <p noindent="true">University Laval, Québec: joint book</p>
            </li>
            <li id="uid98">
              <p noindent="true">University of Tokyo: joint conference organization</p>
            </li>
            <li id="uid99">
              <p noindent="true">Tianjin University, China: joint book</p>
            </li>
          </simplelist>
        </subsection>
      </subsection>
    </subsection>
  </partenariat>
  <diffusion id="uid100">
    <bodyTitle>Dissemination</bodyTitle>
    <subsection id="uid101" level="1">
      <bodyTitle>Promoting Scientific Activities</bodyTitle>
      <subsection id="uid102" level="2">
        <bodyTitle>Scientific Events Organisation, Steering committees</bodyTitle>
        <simplelist>
          <li id="uid103">
            <p noindent="true">J-P. Merlet is a permanent member of the International Steering
Committee of the IROS conference, of the CableCon conference and
chairman of the scientific
Committee of the Computational Kinematics workshop,</p>
          </li>
          <li id="uid104">
            <p noindent="true">Y. Papegay is a permanent member of the International Steering
Committee of the International Mathematica Symposium conferences
series.</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid105" level="2">
        <bodyTitle>Reviewing</bodyTitle>
        <simplelist>
          <li id="uid106">
            <p noindent="true">The members of the team reviewed numerous papers for numerous
international conferences and journals</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid107" level="2">
        <bodyTitle>Journal</bodyTitle>
        <subsection id="uid108" level="3">
          <bodyTitle>Member of the Editorial Boards</bodyTitle>
          <simplelist>
            <li id="uid109">
              <p noindent="true">J-P. Merlet is board member of the Journal of
Behavorial Robotics</p>
            </li>
            <li id="uid110">
              <p noindent="true">E. Wajnberg is Editor-in-Chief of the journal BioControl, a
board member of the journals Entomologia
Experimentalis et Applicata, Neotropical Entomology,
Applied Entomology and Zoology and Journal of Economical
Entomology</p>
            </li>
          </simplelist>
        </subsection>
      </subsection>
      <subsection id="uid111" level="2">
        <bodyTitle>Invited Talks</bodyTitle>
        <simplelist>
          <li id="uid112">
            <p noindent="true">J-P. Merlet has given a talk on parallel robots at the workshop
“Rigidity theory
for multi-agent systems meet parallel robototics”, Nantes, a
talk on interval analysis at SCAN, Tokyo and a talk on bibliometric
indicators at the SIF workshop</p>
          </li>
          <li id="uid113">
            <p noindent="true">E. Wajnberg has been invited for talks by the University of
Palermo (Italy, February), the
University of Haifa (Israel, March), the conference “l'Ere du Temps”
(Nice, June), the
European Congress of Entomology, Naples (Italy, July), and the
University dell'Insubria (Varese, Italy, November).</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid114" level="2">
        <bodyTitle>Leadership within the Scientific Community</bodyTitle>
        <simplelist>
          <li id="uid115">
            <p noindent="true">J-P. Merlet is Inria representative to
the PPP Eurobotics aisbl. He is a member of the IFToMM (International
Federation for the Promotion of Mechanism and Machine Science)
Technical Committees on
History and on Computational
Kinematics and is
one of the 10 elected members of IFToMM Executive Council, the board of this
federation. He is
a member of the scientific committee of the CNRS
GDR robotique. J-P. Merlet is an IEEE Fellow, doctor honoris causa
of Innsbruck University and IFToMM Awards of Merits</p>
          </li>
          <li id="uid116">
            <p noindent="true">Y. Papegay is a member of the OpenMath Society, building an
extensible standard for representing the semantics of mathematical
objects.</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid117" level="2">
        <bodyTitle>Scientific Expertise</bodyTitle>
        <simplelist>
          <li id="uid118">
            <p noindent="true">J-P. Merlet was
involved in project evaluations for several foreign funding agencies
(Israel, Austria, ERC). He was also appointed as <i>Nominator</i>
for the Japan's Prize.</p>
          </li>
          <li id="uid119">
            <p noindent="true">E Wajnberg is involved in project evaluation for several foreign
funding agencies
(Belgium, Italy).</p>
          </li>
          <li id="uid120">
            <p noindent="true">E. Wajnberg was invited to be a committee number for recruiting
an Institute Director
by the CNR (Rome, Italy).</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid121" level="2">
        <bodyTitle>Research Administration</bodyTitle>
        <simplelist>
          <li id="uid122">
            <p noindent="true">J-P. Merlet is an elected
member of the Academic Council of UCA COMUE, a corresponding member
of Inria ethical committee (COERLE) and member of the Research,
Ethical Committees of UCA. He
is an elected member of Inria Scientific Committee and of the
“Commission Administrative Paritaire” of Inria</p>
          </li>
          <li id="uid123">
            <p noindent="true">Y. Papegay is a member of the CUMIR (the committee managing the
interaction between researchers and the computer support staff)</p>
          </li>
          <li id="uid124">
            <p noindent="true">O. Pourtallier is a board member of SeaTech, an Engineering School of
University of Toulon. She is
responsible of the NICE committee (long term
invited scientists and post-doctoral student selection) and a member
of the CGL AGOS</p>
          </li>
        </simplelist>
      </subsection>
    </subsection>
    <subsection id="uid125" level="1">
      <bodyTitle>Teaching - Supervision - Juries</bodyTitle>
      <subsection id="uid126" level="2">
        <bodyTitle>Teaching</bodyTitle>
        <sanspuceslist>
          <li id="uid127">
            <p noindent="true">In February, Y. Papegay has been visiting lecturer of University of French Polynesia, where he gave an object oriented programming course.</p>
          </li>
          <li id="uid128">
            <p noindent="true">O. Pourtallier lectured 6 hours on game theory to Master OSE (M2), at
École des Mines de Paris, Sophia Antipolis, France</p>
          </li>
          <li id="uid129">
            <p noindent="true">E. Wajnberg has taught
one week course (about 30 h) about the use of the R program and
statistics for PhD students
and senior scientists in Rehovot (Israel, March), and another week
with the same teaching
program in Piracicaba (Brazil, July).</p>
          </li>
        </sanspuceslist>
      </subsection>
      <subsection id="uid130" level="2">
        <bodyTitle>Supervision</bodyTitle>
        <sanspuceslist>
          <li id="uid131">
            <p noindent="true">PhD : A. Massein, Design of Instrumented Environment for Human
Monitoring, defended in november 2018, supervisor: Y.Papegay.</p>
          </li>
          <li id="uid132">
            <p noindent="true">PhD in progress: W. Plouvier. Improving pest control efficiency:
a modelling approach (2015-2019). Supervisor: E. Wajnberg.</p>
          </li>
        </sanspuceslist>
      </subsection>
      <subsection id="uid133" level="2">
        <bodyTitle>Juries</bodyTitle>
        <simplelist>
          <li id="uid134">
            <p noindent="true">J-P. Merlet has been a member of four PhD juries. He was also
president of the jury for the Best PhD thesis award of the robotics
GDR. He is a member of the “Comité de Suivi Doctoraux”
(preliminary evaluation committee of PhD students) of Dayan Hassan
(project team Chorale) and of Matheuse Laranjeira (Toulon University).</p>
          </li>
          <li id="uid135">
            <p noindent="true">E. Wajnberg has been a member of one PhD jury.</p>
          </li>
        </simplelist>
      </subsection>
    </subsection>
    <subsection id="uid136" level="1">
      <bodyTitle>Popularization</bodyTitle>
      <subsection id="uid137" level="2">
        <bodyTitle>Articles and contents</bodyTitle>
        <simplelist>
          <li id="uid138">
            <p noindent="true">J-P. Merlet has given two interviews at Nice-Matin and is a
member of the scientific committee for the preparation of a
permanent robotics
exhibition at Cité des Sciences et de l'Industrie, Paris</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid139" level="2">
        <bodyTitle>Education</bodyTitle>
        <simplelist>
          <li id="uid140">
            <p noindent="true">Y.Papegay is actively participating to the Math.en.Jeans
initiative for Mathematics teaching for undergraduate students. He
is developing several pedagogical resources based on small robotics
devices at high-school level. He has
organized and animated summer schools in experimental
mathematics and computer sciences. Several one week sessions have
been held in Oxford in June, July, August and November gathering
more than 70 high-school students - most of them were awardees in
Mathematics Olympiads.</p>
          </li>
          <li id="uid141">
            <p noindent="true">O. Pourtallier is corresponding researcher for two MATh.en.JEANS workshops, an initiative for Mathematics teaching for undergraduate students.</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid142" level="2">
        <bodyTitle>Interventions</bodyTitle>
        <simplelist>
          <li id="uid143">
            <p noindent="true">J-P. Merlet and Y. Papegay have meet several schoolchildren (3ème)</p>
          </li>
          <li id="uid144">
            <p noindent="true">J-P. Merlet has given a talk during the Art'DI (a meeting
between handicapped people and artists) day at Cannes</p>
          </li>
          <li id="uid145">
            <p noindent="true">J-P. Merlet and E. Wajnberg have given two talks in the framework
of “Science pour tous”</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid146" level="2">
        <bodyTitle>Internal action</bodyTitle>
        <simplelist>
          <li id="uid147">
            <p noindent="true">J-P. Merlet has given a talk at Café Techno and at Café
ADSTIC (for local PhD
students), has invited Nathalie Rochet, a member of south-east CPP
to give a talk at a Café-In</p>
          </li>
        </simplelist>
      </subsection>
      <subsection id="uid148" level="2">
        <bodyTitle>Creation of media or tools for science outreach</bodyTitle>
        <simplelist>
          <li id="uid149">
            <p noindent="true">the Hephaistos team proposes simple cable-driven parallel robots
that are used to illustrate scientific concepts such as showing what
is a sinus, instantiating the geometrical definition of an ellipse</p>
          </li>
        </simplelist>
      </subsection>
    </subsection>
  </diffusion>
  <biblio id="bibliography" html="bibliography" numero="10" titre="Bibliography">
    
    <biblStruct id="hephaistos-2018-bid18" type="article" rend="refer" n="refercite:daney2006-1">
      <analytic>
        <title level="a">Interval method for calibration of parallel robots: a vision-based experimentation</title>
        <author>
          <persName key="auctus-2018-idp149584">
            <foreName>David</foreName>
            <surname>Daney</surname>
            <initial>D.</initial>
          </persName>
          <persName>
            <foreName>N.</foreName>
            <surname>Andreff</surname>
            <initial>N.</initial>
          </persName>
          <persName>
            <foreName>Gilles</foreName>
            <surname>Chabert</surname>
            <initial>G.</initial>
          </persName>
          <persName key="hephaistos-2018-idp148432">
            <foreName>Yves</foreName>
            <surname>Papegay</surname>
            <initial>Y.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Mechanism and Machine Theory</title>
        <imprint>
          <biblScope type="volume">41</biblScope>
          <biblScope type="number">8</biblScope>
          <dateStruct>
            <month>August</month>
            <year>2006</year>
          </dateStruct>
          <biblScope type="pages">929-944</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid17" type="article" rend="refer" n="refercite:daney2005-1">
      <analytic>
        <title level="a">Choosing measurement poses for robot calibration with the local convergence method and Tabu search</title>
        <author>
          <persName key="auctus-2018-idp149584">
            <foreName>David</foreName>
            <surname>Daney</surname>
            <initial>D.</initial>
          </persName>
          <persName key="hephaistos-2018-idp148432">
            <foreName>Yves</foreName>
            <surname>Papegay</surname>
            <initial>Y.</initial>
          </persName>
          <persName>
            <foreName>B.</foreName>
            <surname>Madeline</surname>
            <initial>B.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">Int. J. of Robotics Research</title>
        <imprint>
          <biblScope type="volume">24</biblScope>
          <biblScope type="number">6</biblScope>
          <dateStruct>
            <month>June</month>
            <year>2005</year>
          </dateStruct>
          <biblScope type="pages">501-518</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid3" type="book" rend="refer" n="refercite:merlet2005-5">
      <monogr>
        <title level="m">Parallel robots, 2nd Edition</title>
        <author>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>Springer</orgName>
          </publisher>
          <dateStruct>
            <year>2005</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid2" type="article" rend="refer" n="refercite:merlet2009-i">
      <identifiant type="hal" value="inria-00001152"/>
      <analytic>
        <title level="a">Interval Analysis and Reliability in Robotics</title>
        <author>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="j">International Journal of Reliability and Safety</title>
        <imprint>
          <biblScope type="volume">3</biblScope>
          <dateStruct>
            <year>2009</year>
          </dateStruct>
          <biblScope type="pages">104-130</biblScope>
          <ref xlink:href="http://hal.archives-ouvertes.fr/inria-00001152/en/" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>inria-00001152/<allowbreak/>en/</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid10" type="article" rend="refer" n="refercite:nevejans:hal-01665077">
      <identifiant type="hal" value="hal-01665077"/>
      <analytic>
        <title level="a">Les avancées en robotique d'assistance à la personne sous le prisme du droit et de l'éthique</title>
        <author>
          <persName>
            <foreName>Nathalie</foreName>
            <surname>Nevejans</surname>
            <initial>N.</initial>
          </persName>
          <persName key="hephaistos-2018-idp151280">
            <foreName>Odile</foreName>
            <surname>Pourtallier</surname>
            <initial>O.</initial>
          </persName>
          <persName>
            <foreName>Sylvie</foreName>
            <surname>Icart</surname>
            <initial>S.</initial>
          </persName>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes">
        <title level="j">Revue générale de droit médicale</title>
        <imprint>
          <dateStruct>
            <month>December</month>
            <year>2017</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01665077" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01665077</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid5" type="hdrthesis" rend="refer" n="refercite:yp|hdr:12">
      <identifiant type="hal" value="tel-00787230"/>
      <monogr>
        <title level="m">De la modélisation littérale à la simulation certifiée</title>
        <author>
          <persName key="hephaistos-2018-idp148432">
            <foreName>Yves</foreName>
            <surname>Papegay</surname>
            <initial>Y.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName type="school">Université de Nice Sophia-Antipolis</orgName>
            <address>
              <addrLine>Nice, France</addrLine>
            </address>
          </publisher>
          <dateStruct>
            <month>June</month>
            <year>2012</year>
          </dateStruct>
          <ref xlink:href="http://tel.archives-ouvertes.fr/tel-00787230" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://<allowbreak/>tel.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>tel-00787230</ref>
        </imprint>
      </monogr>
      <note type="typdoc">Habilitation à Diriger des Recherches</note>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid16" type="inproceedings" rend="refer" n="refercite:yp:casc99">
      <analytic>
        <title level="a">From Modeling to Simulation with Symbolic Computation: An Application to Design and Performance Analysis of Complex Optical Devices</title>
        <author>
          <persName key="hephaistos-2018-idp148432">
            <foreName>Yves</foreName>
            <surname>Papegay</surname>
            <initial>Y.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Proceedings of the Second Workshop on Computer Algebra in Scientific Computing</title>
        <loc>Munich</loc>
        <imprint>
          <publisher>
            <orgName>Springer Verlag</orgName>
          </publisher>
          <dateStruct>
            <month>June</month>
            <year>1999</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid1" type="inproceedings" rend="refer" n="refercite:Trombettoni98">
      <analytic>
        <title level="a">A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems</title>
        <author>
          <persName>
            <foreName>Gilles</foreName>
            <surname>Trombettoni</surname>
            <initial>G.</initial>
          </persName>
        </author>
      </analytic>
      <monogr>
        <title level="m">Proc. Constraint Programming CP'98, LNCS 1520 (Springer Verlag)</title>
        <imprint>
          <dateStruct>
            <year>1998</year>
          </dateStruct>
          <biblScope type="pages">432–446</biblScope>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid12" type="article" rend="year" n="cite:kishinevsky:hal-01643045">
      <identifiant type="doi" value="10.1111/icad.12259"/>
      <identifiant type="hal" value="hal-01643045"/>
      <analytic>
        <title level="a">Sugar feeding of parasitoids in an agroecosystem: effects of community composition, habitat and vegetation</title>
        <author>
          <persName>
            <foreName>Miriam</foreName>
            <surname>Kishinevsky</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Nitzan</foreName>
            <surname>Cohen</surname>
            <initial>N.</initial>
          </persName>
          <persName>
            <foreName>Elad</foreName>
            <surname>Chiel</surname>
            <initial>E.</initial>
          </persName>
          <persName key="hephaistos-2018-idp153744">
            <foreName>Eric</foreName>
            <surname>Wajnberg</surname>
            <initial>E.</initial>
          </persName>
          <persName>
            <foreName>Tamar</foreName>
            <surname>Keasar</surname>
            <initial>T.</initial>
          </persName>
          <persName>
            <foreName>Karsten</foreName>
            <surname>Schonrogge</surname>
            <initial>K.</initial>
          </persName>
          <persName>
            <foreName>Seán</foreName>
            <surname>Brady</surname>
            <initial>S.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid03324">
        <idno type="issn">1752-458X</idno>
        <title level="j">Insect conservation and diversity</title>
        <imprint>
          <biblScope type="volume">11</biblScope>
          <biblScope type="number">1</biblScope>
          <dateStruct>
            <year>2018</year>
          </dateStruct>
          <biblScope type="pages">50-57</biblScope>
          <ref xlink:href="https://hal.inria.fr/hal-01643045" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01643045</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid4" type="incollection" rend="year" n="cite:massein:hal-01531034">
      <identifiant type="doi" value="10.1007/978-3-319-56802-7_33"/>
      <identifiant type="hal" value="hal-01531034"/>
      <analytic>
        <title level="a">Robust Design of Parameter Identification</title>
        <author>
          <persName key="auctus-2018-idp170496">
            <foreName>Aurélien</foreName>
            <surname>Massein</surname>
            <initial>A.</initial>
          </persName>
          <persName key="auctus-2018-idp149584">
            <foreName>David</foreName>
            <surname>Daney</surname>
            <initial>D.</initial>
          </persName>
          <persName key="hephaistos-2018-idp148432">
            <foreName>Yves</foreName>
            <surname>Papegay</surname>
            <initial>Y.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no">
        <editor role="editor">
          <persName>
            <foreName>Jadran</foreName>
            <surname>Lenarčič</surname>
            <initial>J.</initial>
          </persName>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </editor>
        <title level="m">Advances in Robot Kinematics 2016</title>
        <title level="s">Springer Proceedings in Advanced Robotics</title>
        <imprint>
          <biblScope type="volume">4</biblScope>
          <publisher>
            <orgName>Springer International Publishing AG</orgName>
          </publisher>
          <dateStruct>
            <year>2018</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01531034" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01531034</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid14" type="article" rend="year" n="cite:melnyk:hal-01822537">
      <identifiant type="doi" value="10.1080/01691864.2018.1483209"/>
      <identifiant type="hal" value="hal-01822537"/>
      <analytic>
        <title level="a">Synergistic control of a multi-segments vertebral column robot based on tensegrity for postural balance</title>
        <author>
          <persName key="hephaistos-2018-idp158672">
            <foreName>Artem</foreName>
            <surname>Melnyk</surname>
            <initial>A.</initial>
          </persName>
          <persName>
            <foreName>Alexandre</foreName>
            <surname>Pitti</surname>
            <initial>A.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid00079">
        <idno type="issn">0169-1864</idno>
        <title level="j">Advanced Robotics</title>
        <imprint>
          <dateStruct>
            <month>June</month>
            <year>2018</year>
          </dateStruct>
          <biblScope type="pages">1 - 15</biblScope>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01822537" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01822537</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid15" type="article" rend="year" n="cite:wajnberg:hal-01841150">
      <identifiant type="doi" value="10.1016/j.cois.2018.05.001"/>
      <identifiant type="hal" value="hal-01841150"/>
      <analytic>
        <title level="a">Editorial overview: Behavioural ecology: Behavioural ecology of insects: current research and potential applications</title>
        <author>
          <persName key="hephaistos-2018-idp153744">
            <foreName>Eric</foreName>
            <surname>Wajnberg</surname>
            <initial>E.</initial>
          </persName>
          <persName>
            <foreName>Emmanuel</foreName>
            <surname>Desouhant</surname>
            <initial>E.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-editorial-board="yes" x-international-audience="yes" id="rid02759">
        <idno type="issn">2214-5745</idno>
        <title level="j">Current Opinion in Insect Science</title>
        <imprint>
          <biblScope type="volume">27</biblScope>
          <dateStruct>
            <month>June</month>
            <year>2018</year>
          </dateStruct>
          <ref xlink:href="https://hal.inria.fr/hal-01841150" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>inria.<allowbreak/>fr/<allowbreak/>hal-01841150</ref>
        </imprint>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid11" type="inproceedings" rend="year" n="cite:benoist:hal-01905429">
      <identifiant type="hal" value="hal-01905429"/>
      <analytic>
        <title level="a">Topological optimization design for additive manufacturing, taking into account flexion and vibrations during machining post processing operations</title>
        <author>
          <persName>
            <foreName>Vincent</foreName>
            <surname>Benoist</surname>
            <initial>V.</initial>
          </persName>
          <persName>
            <foreName>Lionel</foreName>
            <surname>Arnaud</surname>
            <initial>L.</initial>
          </persName>
          <persName>
            <foreName>Maher</foreName>
            <surname>Baili</surname>
            <initial>M.</initial>
          </persName>
          <persName>
            <foreName>Jean-Pierre</foreName>
            <surname>Faye</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="no" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">14th international conference on high speed machining 2018</title>
        <loc>San Sebastian, Spain</loc>
        <imprint>
          <dateStruct>
            <month>April</month>
            <year>2018</year>
          </dateStruct>
          <biblScope type="pages">0</biblScope>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01905429" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01905429</ref>
        </imprint>
        <meeting id="cid626148">
          <title>International Conference on High Speed Machining</title>
          <num>14</num>
          <abbr type="sigle">HSM</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid8" type="inproceedings" rend="year" n="cite:merlet:hal-01965232">
      <identifiant type="hal" value="hal-01965232"/>
      <analytic>
        <title level="a">An experimental investigation of extra measurements for solving the direct kinematics of cable-driven parallel robots</title>
        <author>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">IEEE Int. Conf. on Robotics and Automation</title>
        <loc>Brisbane, Australia</loc>
        <imprint>
          <dateStruct>
            <year>2018</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01965232" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01965232</ref>
        </imprint>
        <meeting id="cid85011">
          <title>IEEE International Conference on Robotics and Automation</title>
          <num>2010</num>
          <abbr type="sigle">ICRA</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid9" type="inproceedings" rend="year" n="cite:merlet:hal-01965231">
      <identifiant type="hal" value="hal-01965231"/>
      <analytic>
        <title level="a">Computing cross-sections of the workspace of a cable-driven parallel robot with 6 sagging cables having limited lengths</title>
        <author>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">ARK</title>
        <loc>Bologna, Italy</loc>
        <imprint>
          <dateStruct>
            <year>2018</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01965231" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01965231</ref>
        </imprint>
        <meeting id="cid311832">
          <title>International Symposium on Advances in Robotics Kinematics</title>
          <num>2010</num>
          <abbr type="sigle">ARK</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid13" type="inproceedings" rend="year" n="cite:merlet:hal-01965229">
      <identifiant type="hal" value="hal-01965229"/>
      <analytic>
        <title level="a">Computing cross-sections of the workspace of suspended cable-driven parallel robot with sagging cables having tension limitations</title>
        <author>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">IROS</title>
        <loc>Madrid, Spain</loc>
        <imprint>
          <dateStruct>
            <year>2018</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01965229" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01965229</ref>
        </imprint>
        <meeting id="cid93437">
          <title>IEEE RSJ International Conference on Intelligent Robots and Systems</title>
          <num>2011</num>
          <abbr type="sigle">IROS</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid6" type="inproceedings" rend="best" n="cite:merlet:hal-01965230">
      <identifiant type="hal" value="hal-01965230"/>
      <analytic>
        <title level="a">Some properties of the Irvine cable model and their use for the kinematic analysis of cable-driven parallel robots</title>
        <author>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">EUCOMES</title>
        <loc>Aachen, Germany</loc>
        <imprint>
          <dateStruct>
            <year>2018</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01965230" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01965230</ref>
        </imprint>
        <meeting id="cid388532">
          <title>European Conference on Mechanism Science</title>
          <num>2016</num>
          <abbr type="sigle">EUCOMES</abbr>
        </meeting>
      </monogr>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid0" type="inproceedings" rend="year" n="cite:merlet:hal-01965228">
      <identifiant type="hal" value="hal-01965228"/>
      <analytic>
        <title level="a">Using interval analysis in robotics problems</title>
        <author>
          <persName key="hephaistos-2018-idp145520">
            <foreName>Jean-Pierre</foreName>
            <surname>Merlet</surname>
            <initial>J.-P.</initial>
          </persName>
        </author>
      </analytic>
      <monogr x-scientific-popularization="no" x-international-audience="yes" x-proceedings="yes" x-invited-conference="no" x-editorial-board="yes">
        <title level="m">SCAN</title>
        <loc>Tokyo, Japan</loc>
        <imprint>
          <dateStruct>
            <year>2018</year>
          </dateStruct>
          <ref xlink:href="https://hal.archives-ouvertes.fr/hal-01965228" location="extern" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">https://<allowbreak/>hal.<allowbreak/>archives-ouvertes.<allowbreak/>fr/<allowbreak/>hal-01965228</ref>
        </imprint>
        <meeting id="cid73487">
          <title>GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics</title>
          <num>18</num>
          <abbr type="sigle">SCAN</abbr>
        </meeting>
      </monogr>
      <note type="bnote">Invited talk</note>
    </biblStruct>
    
    <biblStruct id="hephaistos-2018-bid7" type="book" rend="foot" n="footcite:irvine81-m">
      <monogr>
        <title level="m">Cable Structures</title>
        <author>
          <persName>
            <foreName>H. M.</foreName>
            <surname>Irvine</surname>
            <initial>H. M.</initial>
          </persName>
        </author>
        <imprint>
          <publisher>
            <orgName>MIT Press</orgName>
          </publisher>
          <dateStruct>
            <year>1981</year>
          </dateStruct>
        </imprint>
      </monogr>
    </biblStruct>
  </biblio>
</raweb>
