English
Related papers

Related papers: Toward Certifying Maps for Safe Registration-based…

200 papers

Topological localization is a fundamental problem in mobile robotics, since robots must be able to determine their position in order to accomplish tasks. Visual localization and place recognition are challenging due to perceptual ambiguity,…

Robotics · Computer Science 2025-09-08 Emanuela Boros

Aligning partially overlapping point sets where there is no prior information about the value of the transformation is a challenging problem in computer vision. To achieve this goal, we first reduce the objective of the robust point…

Computer Vision and Pattern Recognition · Computer Science 2020-07-07 Wei Lian , WangMeng Zuo , Lei Zhang

Thanks to their compliance and adaptability, soft robots can be deployed to perform tasks in constrained or complex environments. In these scenarios, spatial awareness of the surroundings and the ability to localize the robot within the…

Robotics · Computer Science 2025-02-04 Giammarco Caroleo , Alessandro Albini , Perla Maiolino

Deep Neural Network-based systems are now the state-of-the-art in many robotics tasks, but their application in safety-critical domains remains dangerous without formal guarantees on network robustness. Small perturbations to sensor inputs…

Machine Learning · Computer Science 2022-02-03 Michael Everett , Bjorn Lutjens , Jonathan P. How

In multi-robot systems (MRS), cooperative localization is a crucial task for enhancing system robustness and scalability, especially in GPS-denied or communication-limited environments. However, adversarial attacks, such as sensor…

Robotics · Computer Science 2025-07-10 Tohid Kargar Tasooji , Ramviyas Parasuraman

This article addresses the obstacle avoidance problem for setpoint stabilization and path-following tasks in complex dynamic 2D environments that go beyond conventional scenes with isolated convex obstacles. A combined motion planner and…

Robotics · Computer Science 2023-12-11 Albin Dahlin , Yiannis Karayiannidis

A popular class of lidar-based grid mapping algorithms computes for each map cell the probability that it reflects an incident laser beam. These algorithms typically determine the map as the set of reflection probabilities that maximizes…

Robotics · Computer Science 2019-10-24 Lukas Luft , Alexander Schaefer , Tobias Schubert , Wolfram Burgard

Environmental monitoring robots often need to estimate data fields (e.g., salinity, temperature, bathymetry) under tight resource constraints. Classical boustrophedon lawnmower surveys provide geometric coverage guarantees but can waste…

Robotics · Computer Science 2026-05-28 Kalvik Jakkala , Saurav Agarwal , Jason O'Kane , Srinivas Akella

Cooperative perception is challenging for safety-critical autonomous driving applications.The errors in the shared position and pose cause an inaccurate relative transform estimation and disrupt the robust mapping of the Ego vehicle. We…

Multiagent Systems · Computer Science 2023-04-27 Zhiying Song , Fuxi Wen , Hailiang Zhang , Jun Li

We introduce a framework for robust uncertainty quantification in situations where labeled training data are corrupted, through noisy or missing labels. We build on conformal prediction, a statistical tool for generating prediction sets…

Machine Learning · Computer Science 2026-02-27 Shai Feldman , Stephen Bates , Yaniv Romano

The Iterative Forecast Planner (IFP) is a geometric planning approach that offers lightweight computations, scalable, and reactive solutions for multi-robot path planning in decentralized, communication-free settings. However, it struggles…

Robotics · Computer Science 2025-08-13 Hadush Hailu , Bruk Gebregziabher , Prudhvi Raj

Mobile robots have become more and more popular in large-scale and crowded environments, such as airports, shopping malls, etc. However, due to sparse landmarks and crowd noise, localization in this environment is a great challenge.…

Robotics · Computer Science 2023-03-21 Kuanqi Cai , Weinan Chen , Chaoqun Wang , Hong Zhang , Max Q. -H. Meng

Localization in already mapped environments is a critical component in many robotics and automotive applications, where previously acquired information can be exploited along with sensor fusion to provide robust and accurate localization…

Robotics · Computer Science 2024-09-10 Lorenzo Montano-Oliván , Julio A. Placed , Luis Montano , María T. Lázaro

Autonomous systems operate in environments that may change over time. An example is the control of a self-driving vehicle among pedestrians and human-controlled vehicles whose behavior may change based on factors such as traffic density,…

Systems and Control · Electrical Eng. & Systems 2026-02-16 Kaizer Rahaman , Jyotirmoy V. Deshmukh , Ashish R. Hota , Lars Lindemann

We present recent advances in formal verification and control for autonomous systems with practical safety guarantees enabled by conformal prediction (CP), a statistical tool for uncertainty quantification. This survey is particularly…

Systems and Control · Electrical Eng. & Systems 2025-08-19 Lars Lindemann , Yiqi Zhao , Xinyi Yu , George J. Pappas , Jyotirmoy V. Deshmukh

A practical challenge which arises in the operation of sensor networks is the presence of sensor faults, biases, or adversarial attacks, which can lead to significant errors incurring in the localization of the agents, thereby undermining…

Systems and Control · Electrical Eng. & Systems 2023-07-25 Shiraz Khan , Inseok Hwang

We address path-planning for a mobile agent to navigate in an unknown environment with minimum exposure to a spatially and temporally varying threat field. The threat field is estimated using pointwise noisy measurements from a mobile…

Systems and Control · Electrical Eng. & Systems 2025-08-13 Prakash Poudel , Raghvendra V. Cowlagi

When nodes in a mobile network use relative noisy measurements with respect to their neighbors to estimate their positions, the overall connectivity and geometry of the measurement network has a critical influence on the achievable…

Systems and Control · Computer Science 2018-01-16 Jerome Le Ny , Simon Chauvière

This paper proposes a novel algorithm to determine the optimal placement of redundant inertial sensors such as accelerometers and gyroscopes (gyros) for increasing the sensing accuracy. In this paper, we have proposed a novel iterative…

Signal Processing · Electrical Eng. & Systems 2020-02-19 Nitesh Sahu , Prabhu Babu , Arun Kumar , Rajendar Bahl

Reliable localization is critical for robot navigation in complex indoor environments. In this paper, we propose an uncertainty-aware localization method that enhances the reliability of localization outputs without modifying the prediction…

Robotics · Computer Science 2025-04-23 Hye-Min Won , Jieun Lee , Jiyong Oh