Publications related to Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking

Related publications (31)

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

Exact Obstacle Avoidance for Robots in Complex and Dynamic Environments Using Local Modulation

Lukas Huber

Robots outside of the fenced factories have to deal with continuously changing environment, this requires fast and flexible modes of control. Planning methods or complex learning models can find optimal paths in complex surroundings, but they are computati ...

EPFL2024

Online Multicontact Receding Horizon Planning via Value Function Approximation

Sylvain Calinon, Teguh Santoso Lembono

Planning multicontact motions in a receding horizon fashion requires a value function to guide the planning with respect to the future, e.g., building momentum to traverse large obstacles. Traditionally, the value function is approximated by computing traj ...

Ieee-Inst Electrical Electronics Engineers Inc2024

Hitting with Different Joints of a Robotic Manipulator

Aude Billard, Harshit Khurana

This paper builds up the skill of impact aware non prehensile manipulation through a hitting motion by allowing the robot arm to come in contact with the environment with parts other than its end effector. Hitting with other joints allows us to manipulate ...

2024

Investigating neural resource allocation in the sensorimotor control of extra limbs

Giulia Dominijanni

The rise of robotic body augmentation brings forth new developments that will transform robotics, human-machine interaction, and wearable electronics. Extra robotic limbs, although building upon restorative technologies, bring their own set of challenges i ...

EPFL2024

Sense in Motion with Belief Clustering: Efficient Gas Source Localization with Mobile Robots

Alcherio Martinoli, Wanting Jin

Given the patchy nature of gas plumes and the slow response of conventional gas sensors, the use of mobile robots for Gas Source Localization (GSL) tasks presents significant challenges. These aspects increase the difficulties in obtaining gas measurements ...

2024

A Biohybrid Superorganism - Investigating honeybees' collective behaviors via interactive robotics

Rafael Botner Barmak

Social insects, such as ants, termites, and honeybees, have evolved sophisticated societies where the collaborative efforts of "simple" individuals can lead to the emergence of complex dynamics. The reliance of each organism on the collective is so great t ...

EPFL2024

Gas Sensing with Rotary-Wing Nano Aerial Vehicles

Chiara Ercolani

Harmful chemical compounds are released daily in warehouses, chemical plants and during environmental emergencies. Their uncontrolled dispersion contributes to the pollution of the atmosphere and threatens human and animal lives. When gas leaks occur, the ...

EPFL2024

Robot Learning using Tensor Networks

Suhan Narayana Shetty

In various robotics applications, the selection of function approximation methods greatly influences the feasibility and computational efficiency of algorithms. Tensor Networks (TNs), also referred to as tensor decomposition techniques, present a versatile ...

EPFL2024

Distributed Predictive Formation Control of Autonomous Rotary-Wing Micro Aerial Vehicles

Izzet Kagan Erünsal

This doctoral thesis navigates the complex landscape of motion coordination and formation control within teams of rotary-wing Micro Aerial Vehicles (MAVs). Prompted by the intricate demands of real-world applications such as search and rescue or surveillan ...

EPFL2024

Quantifying the biomimicry gap in biohybrid robot-fish pairs

Francesco Mondada, Vaios Papaspyros

Biohybrid systems in which robotic lures interact with animals have become compelling tools for probing and identifying the mechanisms underlying collective animal behavior. One key challenge lies in the transfer of social interaction models from simulatio ...

2024

Biohybrid Superorganisms—On the Design of a Robotic System for Thermal Interactions With Honeybee Colonies

Louis Arnaud Vahé Piotet, Francesco Mondada, Rafael Botner Barmak, Robert Matthew Mills, Raphael Cherfan

Social insects, such as ants, termites, and honeybees, have evolved sophisticated societies where collaboration and division of labor enhance survival of the whole colony, and are thus considered “superorganisms”. Historically, studying behaviors involving ...

2024

Avoidance of Concave Obstacles Through Rotation of Nonlinear Dynamics

Aude Billard, Lukas Huber

Controlling complex tasks in robotic systems, such as circular motion for cleaning or following curvy lines, can be dealt with using nonlinear vector fields. This article introduces a novel approach called the rotational obstacle avoidance method (ROAM) fo ...

Ieee-Inst Electrical Electronics Engineers Inc2024

Soft Robotics: A Route to Equality, Diversity, and Inclusivity in Robotics

Josephine Anna Eleanor Hughes

Robotics is entering our daily lives. The discipline is increasingly crucial in fields such as agriculture, medicine, and rescue operations, impacting our food, health, and planet. At the same time, it is becoming evident that robotic research must embrace ...

Mary Ann Liebert, Inc2024

Small-scale robotic devices for medical interventions in the brain

Mahmut Selman Sakar, Lorenzo Francesco John Noseda

This article summarizes the recent advancements in the design, fabrication, and control of microrobotic devices for the diagnosis and treatment of brain disorders. With a focus on diverse actuation methods, we discuss how advancements in materials science ...

2024

Towards edible robots and robotic food

Dario Floreano, Jun Shintake, Bokeon Kwak, Markéta Pankhurst

Edible robots and robotic food — edible systems that perceive, process and act upon stimulation — could open a new range of opportunities in health care, environmental management and the promotion of healthier eating habits. For example, they could enable ...

2024

Bugs in our pockets: the risks of client-side scanning

Carmela González Troncoso

Our increasing reliance on digital technology for personal, economic, and government affairs has made it essential to secure the communications and devices of private citizens, businesses, and governments. This has led to pervasive use of cryptography acro ...

Oxford Univ Press2024

VDMNav: Software Architecture for Aerodynamically Constrained Navigation on Small Fixed-Wing Drones

Jan Skaloud, Aman Sharma, Gabriel François Laupré

Navigation of drones is predominantly based on sensor fusion algorithms. Most of these algorithms make use of some form of Bayesian filtering with a majority employing an Extended Kalman Filter (EKF), wherein inertial measurements are fused with a Global N ...

2024

Self-Correcting Quadratic Programming-Based Robot Control

Aude Billard, Farshad Khadivar, Konstantinos Chatzilygeroudis

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

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

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