中文
相关论文

相关论文: Property-Based Testing in Simulation for Verifying…

200 篇论文

Understanding a controller's performance in different scenarios is crucial for robots that are going to be deployed in safety-critical tasks. If we do not have a model of the dynamics of the world, which is often the case in complex…

机器人学 · 计算机科学 2021-08-09 Simón C. Smith , Subramanian Ramamoorthy

The equations of motion governing mobile robots are dependent on terrain properties such as the coefficient of friction, and contact model parameters. Estimating these properties is thus essential for robotic navigation. Ideally any map…

机器人学 · 计算机科学 2022-05-26 Parker Ewen , Adam Li , Yuxin Chen , Steven Hong , Ram Vasudevan

Programming a robot to deal with open-ended tasks remains a challenge, in particular if the robot has to manipulate objects. Launching, grasping, pushing or any other object interaction can be simulated but the corresponding models are not…

机器人学 · 计算机科学 2020-12-15 Seungsu Kim , Alexandre Coninx , Stephane Doncieux

We investigate different approaches to integrating object recognition and planning in a tabletop manipulation domain with the set of objects used in the 2012 RoboCup@Work competition. Results of our preliminary experiments show that, with…

人工智能 · 计算机科学 2013-07-31 Damien Jade Duff , Esra Erdem , Volkan Patoglu

Providing guarantees on the safe operation of robots against edge cases is challenging as testing methods such as traditional Monte-Carlo require too many samples to provide reasonable statistics. Built upon recent advancements in…

机器人学 · 计算机科学 2023-05-01 Guy Scher , Sadra Sadraddini , Ariel Yadin , Hadas Kress-Gazit

Robotic systems are complex and safety-critical software systems. As such, they need to be tested thoroughly. Unfortunately, robot software is intrinsically hard to test compared to traditional software, mainly since the software needs to…

Testing is a significant aspect of software development. As systems become complex and their use becomes critical to the security and the function of society, the need for testing methodologies that ensure reliability and detect faults as…

软件工程 · 计算机科学 2021-12-09 Yeshayahu Weiss

Trust in robots is widely believed to be imperative for the adoption of robots into people's daily lives. It is, therefore, understandable that the literature of the last few decades focuses on measuring how much people trust robots -- and…

机器人学 · 计算机科学 2023-11-22 Patrick Holthaus , Alessandra Rossi

Trust in autonomy is essential for effective human-robot collaboration and user adoption of autonomous systems such as robot assistants. This paper introduces a computational model which integrates trust into robot decision-making.…

机器人学 · 计算机科学 2018-11-26 Min Chen , Stefanos Nikolaidis , Harold Soh , David Hsu , Siddhartha Srinivasa

The control architecture of autonomous robots can be developed by programming and integrating multiple software components that individually control separate behaviors. This approach requires additional mechanisms to coordinate their…

机器人学 · 计算机科学 2021-03-12 Martin Molina , Pablo Santamaria , Abraham Carrera

Long-term autonomy of robotic systems implicitly requires dependable platforms that are able to naturally handle hardware and software faults, problems in behaviors, or lack of knowledge. Model-based dependable platforms additionally…

机器人学 · 计算机科学 2022-07-21 Stalin Muñoz Gutiérrez , Gerald Steinbauer-Wagner

Training robots with physical bodies requires developing new methods and action representations that allow the learning agents to explore the space of policies efficiently. This work studies sample-efficient learning of complex policies in…

机器人学 · 计算机科学 2019-02-19 Reza Mahjourian , Risto Miikkulainen , Nevena Lazic , Sergey Levine , Navdeep Jaitly

Robots are often so complex that one person may not know all the ins and outs of the system. Inheriting software and hardware infrastructure with limited documentation and/or practical robot experience presents a costly challenge for an…

机器人学 · 计算机科学 2020-07-24 Victoria Edwards , Loy McGuire , Signe Redfield

In this paper we present a simulation framework for the evaluation of the navigation and localization metrological performances of a robotic platform. The simulator, based on ROS (Robot Operating System) Gazebo, is targeted to a…

机器人学 · 计算机科学 2020-06-18 Riccardo Giubilato , Andrea Masili , Sebastiano Chiodini , Marco Pertile , Stefano Debei

We study the choice of action space in robot manipulation learning and sim-to-real transfer. We define metrics that assess the performance, and examine the emerging properties in the different action spaces. We train over 250 reinforcement…

机器人学 · 计算机科学 2024-05-16 Elie Aljalbout , Felix Frank , Maximilian Karl , Patrick van der Smagt

Tactile sensors are believed to be essential in robotic manipulation, and prior works often rely on experts to reason the sensor feedback and design a controller. With the recent advancement in data-driven approaches, complicated…

机器人学 · 计算机科学 2023-05-24 Ya-Yen Tsai , Bidan Huang , Yu Zheng , Lei Han , Wang Wei Lee , Edward Johns

Physical interactions can often help reveal information that is not readily apparent. For example, we may tug at a table leg to evaluate whether it is built well, or turn a water bottle upside down to check that it is watertight. We propose…

机器学习 · 计算机科学 2022-12-20 Kun Huang , Edward S. Hu , Dinesh Jayaraman

The manufacturing sector was recently affected by workforce shortages, a problem that automation and robotics can heavily minimize. Simultaneously, reinforcement learning (RL) offers a promising solution where robots can learn through…

机器人学 · 计算机科学 2024-10-29 Abdalwhab Abdalwhab , Giovanni Beltrame , David St-Onge

Reinforcement Learning (RL) is a powerful mathematical framework that allows robots to learn complex skills by trial-and-error. Despite numerous successes in many applications, RL algorithms still require thousands of trials to converge to…

机器人学 · 计算机科学 2022-08-03 Matthias Mayr , Konstantinos Chatzilygeroudis , Faseeh Ahmad , Luigi Nardi , Volker Krueger

The automation of robotic tasks requires high precision and adaptability, particularly in force-based operations such as insertions. Traditional learning-based approaches either rely on static datasets, which limit their ability to…

机器人学 · 计算机科学 2025-08-22 Zebin Duan , Frederik Hagelskjær , Aljaz Kramberger , Juan Heredia , Norbert Krüger