English
Related papers

Related papers: Formal Modelling for Multi-Robot Systems Under Unc…

200 papers

Task and motion planning represents a powerful set of hybrid planning methods that combine reasoning over discrete task domains and continuous motion generation. Traditional reasoning necessitates task domain models and enough information…

Robotics · Computer Science 2024-06-14 Tianyang Pan , Rahul Shome , Lydia E. Kavraki

The topic of physical human-robot interaction received a lot of attention from the robotics community because of many promising application domains. However, studying physical interaction between a robot and an external agent, like a human…

Uncertainties in the real world mean that is impossible for system designers to anticipate and explicitly design for all scenarios that a robot might encounter. Thus, robots designed like this are fragile and fail outside of…

Robotics · Computer Science 2023-10-02 Ricardo Cannizzaro , Jonathan Routley , Lars Kunze

This paper develops a stochastic programming framework for multi-agent systems where task decomposition, assignment, and scheduling problems are simultaneously optimized. The framework can be applied to heterogeneous mobile robot teams with…

Robotics · Computer Science 2022-11-15 Bo Fu , William Smith , Denise Rizzo , Matthew Castanier , Maani Ghaffari , Kira Barton

This paper studies the problem of robot performance evaluation, focusing on how to obtain accurate and efficient estimates of real-world behavior under severe constraints on physical experimentation. Such estimates are essential for…

Robotics · Computer Science 2026-04-28 Zaid Mahboob , Yujia Chen , Bowen Weng

Mathematical models simulate various events under different conditions, enabling an early overview of the system to be implemented in practice, reducing the waste of resources and in less time. In project optimization, these models play a…

Optimization and Control · Mathematics 2021-05-11 Gustavo Barbosa Libotte , Fran Sérgio Lobato , Francisco Duarte Moura Neto , Gustavo Mendes Platt

Traditional approaches for active mapping focus on building geometric maps. For most real-world applications, however, actionable information is related to semantically meaningful objects in the environment. We propose an approach to the…

Robotics · Computer Science 2023-08-15 Xu Liu , Ankit Prabhu , Fernando Cladera , Ian D. Miller , Lifeng Zhou , Camillo J. Taylor , Vijay Kumar

In this letter, an integrated task planning and reactive motion planning framework termed Multi-FLEX is presented that targets real-world, industrial multi-robot applications. Reactive motion planning has been attractive for the purposes of…

Autonomous systems face the intricate challenge of navigating unpredictable environments and interacting with external objects. The successful integration of robotic agents into real-world situations hinges on their perception capabilities,…

Robotics · Computer Science 2025-02-10 Enrico Donato , Thomas George Thuruthel , Egidio Falotico

As environments involving both robots and humans become increasingly common, so does the need to account for people during planning. To plan effectively, robots must be able to respond to and sometimes influence what humans do. This…

Artificial Intelligence · Computer Science 2021-03-16 Arjun Sripathy , Andreea Bobu , Daniel S. Brown , Anca D. Dragan

This paper presents a mini-review of the current state of research in mobile manipulators with variable levels of autonomy, emphasizing their associated challenges and application environments. The need for mobile manipulators in different…

Robotics · Computer Science 2025-07-15 Cesar Alan Contreras , Alireza Rastegarpanah , Rustam Stolkin , Manolis Chiou

The control and integration of distributed, multi-sensor perceptual systems is a complex and challenging problem. The observations or opinions of different sensors are often disparate incomparable and are usually only partial views. Sensor…

Systems and Control · Computer Science 2013-04-12 Greg Hager , Hugh F. Durrant-Whyte

Multilevel modeling is increasingly relevant in the context of modelling and simulation since it leads to several potential benefits, such as software reuse and integration, the split of semantically separated levels into sub-models, the…

Performance · Computer Science 2024-03-26 Luca Serena , Moreno Marzolla , Gabriele D'Angelo , Stefano Ferretti

This paper investigates the task coordination of multi-robot where each robot has a private individual temporal logic task specification; and also has to jointly satisfy a globally given collaborative temporal logic task specification. To…

Robotics · Computer Science 2021-08-30 Ruofei Bai , Ronghao Zheng , Meiqin Liu , Senlin Zhang

Learning robust and generalizable world models is crucial for enabling efficient and scalable robotic control in real-world environments. In this work, we introduce a novel framework for learning world models that accurately capture…

Robotics · Computer Science 2025-12-16 Chenhao Li , Andreas Krause , Marco Hutter

Precisely tracking uncertainties is crucial for robots to successfully and safely operate in unstructured and dynamic environments. We present a probabilistic framework to precisely keep track of uncertainties throughout the entire…

Robotics · Computer Science 2019-01-07 Huy Nguyen , Quang-Cuong Pham

Multi-robot coordination is crucial for autonomous systems, yet real-world deployments often encounter various failures. These include both temporary and permanent disruptions in sensing and communication, which can significantly degrade…

Robotics · Computer Science 2025-08-11 Peihan Li , Jiazhen Liu , Yuwei Wu , Lifeng Zhou

One of the standing challenges in multi-robot systems is the ability to reliably coordinate motions of multiple robots in environments where the robots are subject to disturbances. We consider disturbances that force the robot to…

Robotics · Computer Science 2016-03-30 Michal Čáp , Jean Gregoire , Emilio Frazzoli

We propose a formalism to model and reason about reconfigurable multi-agent systems. In our formalism, agents interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange…

Logic in Computer Science · Computer Science 2021-04-29 Yehia Abd Alrahman , Nir Piterman

Recent advancements in Large Language Models (LLMs) have demonstrated substantial capabilities in enhancing communication and coordination in multi-robot systems. However, existing methods often struggle to achieve efficient collaboration…

Robotics · Computer Science 2025-02-18 Jiazhao Liang , Hao Huang , Yu Hao , Geeta Chandra Raju Bethala , Congcong Wen , John-Ross Rizzo , Yi Fang
‹ Prev 1 4 5 6 7 8 10 Next ›