Publications associées à Oscillator-based assistance of cyclical movements: model-based and model-free approaches

Memento Mori: Reliable robustness in self-reconfigurable modular robots

Modular robotics link the reliability of a centralised system with the adaptivity of a decentralised system. It is difficult for a robot with a fixed shape to be able to perform many different types of tasks. As the task space grows, the number of functi ...

EPFL2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Participatory design of a social robot and robot-mediated storytelling activity to raise awareness of gender inequality among children

Romain Maure, Barbara Bruno

Gender inequality is a widespread problem in our society. It can manifest itself in many ways and contexts, and starting as early as primary school. While an increasing number of initiatives aim at tackling gender biases and inequalities, few of them are a ...

IEEE2023

Beyond undulation! Body morphology and sensing components of elongated animals and robots reveal skills to maintain competent locomotion

Laura Isabel Paez Coy

Locomotion is an essential evolutive innovation of living beings that allows them to colonize and dominate the planet. As diverse as animal morphologies are (living) and were (extinct), their locomotion modalities are also diverse. In particular, animal mo ...

EPFL2023

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Serge Vaudenay, Bénédikt Minh Dang Tran

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

2023

Language Learning using Caption Generation within Reciprocal Multi-Party Child-Tutor-Tutee Interaction

Barbara Bruno

Reciprocal Peer Tutoring (RPT) is a learning paradigm characteristic of collaborative interaction between learners with alternating tutortutee roles. In recent years, robot-assisted language learning (RALL) has gained traction by its wide application for l ...

ASSOC COMPUTING MACHINERY2023

Exploration-based model learning with self-attention for risk-sensitive robot control

Sudong Lee

Model-based reinforcement learning for robot control offers the advantages of overcoming concerns on data collection and iterative processes for policy improvement in model-free methods. However, both methods use exploration strategy relying on heuristics ...

2023

Self-Correcting Quadratic Programming-Based Robot Control

Aude Billard, Konstantinos Chatzilygeroudis, Farshad Khadivar

Quadratic Programming (QP)-based controllers allow many robotic systems, such as humanoids, to successfully undertake complex motions and interactions. However, these approaches rely heavily on adequately capturing the underlying model of the environment a ...

2023

Computational Models of Mutual Understanding for Human-Robot Collaborative Learning

Utku Norman

There is a growing trend towards designing learning activities featuring robots as collaborative exercises where children work together to achieve the activity objectives, generating interactions that can trigger learning processes. Witnessing such activit ...

EPFL2023

Immediate effects of short-duration wellbeing practices on children’s handwriting and posture guided by a social robot

Pierre Dillenbourg, Chenyang Wang, Barbara Bruno, Daniel Carnieto Tozadore, Melike Cezayirlioglu

Handwriting practising, as any other repetitive task, often leads the practiser to an overconcentration state where their performance might be affected by postural and mental fatigue. Short breaks to perform unrelated activities, especially relaxation exer ...

2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

Inferring individual evaluation criteria for reaching trajectories with obstacle avoidance from EEG signals

Aude Billard, José del Rocio Millán Ruiz, Fumiaki Iwane

During reaching actions, the human central nerve system (CNS) generates the trajectories that optimize effort and time. When there is an obstacle in the path, we make sure that our arm passes the obstacle with a sufficient margin. This comfort margin varie ...

Nature Portfolio2023

A Stable Adaptive Extended Kalman Filter for Estimating Robot Manipulators Link Velocity and Acceleration

Aude Billard, Harshit Khurana

One can estimate the velocity and acceleration of robot manipulators by utilizing nonlinear observers. This involves combining inertial measurement units (IMUs) with the motor encoders of the robot through a model-based sensor fusion technique. This approa ...

IEEE2023

Exploiting Kinematic Redundancy for Robotic Grasping of Multiple Objects

Aude Billard, Kunpeng Yao

Humans coordinate the abundant degrees of freedom (DoFs) of hands to dexterously perform tasks in everyday life. We imitate human strategies to advance the dexterity of multi-DoF robotic hands. Specifically, we enable a robot hand to grasp multiple objects ...

2023

Implicit Distance Functions: Learning and Applications in Robotics

Mikhail Koptev

In this thesis, we address the complex issue of collision avoidance in the joint space of robots. Avoiding collisions with both the robot's own body parts and obstacles in the environment is a critical constraint in motion planning and is crucial for ensur ...

EPFL2023

A geometric optimal control approach for imitation and generalization of manipulation skills

Sylvain Calinon, Amirreza Razmjoo Fard, Jie Zhao

Daily manipulation tasks are characterized by regular features associated with the task structure, which can be described by multiple geometric primitives related to actions and object shapes. Only using Cartesian coordinate systems cannot fully represent ...

Elsevier2023

Geometric and Learning Methods for Robots to Navigate in Human Crowds with Application to Smart Mobility Devices

David Julian Gonon

The thesis at hand is concerned with robots' navigation in human crowds. Specifically, methods are developed for planning a mobile robot's local motion between pedestrians, and they are evaluated in experiments where a robot interacts with real pedestrians ...

EPFL2023

A Sprayable Electrically Conductive Edible Coating for Piezoresistive Strain Sensing

Dario Floreano, Pietro Rossi, Bokeon Kwak

Edible electronics leverages the electronic properties of food-derived materials to deliver safer technologies that can be degraded (or digested) in the environment (or body) at the end-of-life. Sensors will be central to future smart edible robots, and ed ...

2024

Acoustic Levitation apparatus (Robotics Practicals)

Lorenzo Francesco John Noseda, Mahmut Selman Sakar, Amit Yedidia Dolev, Bora Yalcin

The following data contain the information and files, which are required to recreate and build the experimental setup that is described in the Laboratory manual. Further details can be found in the associated publication “A graduate laboratory experiment t ...

Zenodo2023