English
Related papers

Related papers: Certifiably-Correct Mapping for Safe Navigation De…

200 papers

This paper proposes two new algorithms for certified perception in safety-critical robotic applications. The first is a Certified Visual Odometry algorithm, which uses a RGBD camera with bounded sensor noise to construct a visual odometry…

Robotics · Computer Science 2024-02-09 Devansh R Agrawal , Rajiv Govindjee , Jiangbo Yu , Anurekha Ravikumar , Dimitra Panagou

The safety of mobile robots in dynamic environments is predicated on making sure that they do not collide with obstacles. In support of such safety arguments, we analyze and formally verify a series of increasingly powerful safety…

Systems and Control · Computer Science 2019-06-20 Stefan Mitsch , Khalil Ghorbal , David Vogelbacher , André Platzer

Accurate and robust global localization is essential to robotics applications. We propose a novel global localization method that employs the map traversability as a hidden observation. The resulting map-corrected odometry localization is…

Robotics · Computer Science 2019-10-02 Cheng Peng , David Weikersdorfer

Pavement condition is crucial for civil infrastructure maintenance. This task usually requires efficient road damage localization, which can be accomplished by the visual odometry system embedded in unmanned aerial vehicles (UAVs). However,…

Robotics · Computer Science 2019-10-30 Huaiyang Huang , Rui Fan , Yilong Zhu , Ming Liu , Ioannis Pitas

Convex free regions provide a structured and optimization-friendly representation of collision-free space for robot navigation in unknown and cluttered environments. However, existing methods typically enlarge local collision-free regions…

Robotics · Computer Science 2026-04-28 Zhicheng Song , Yongjian Li , Kai Chen , Yulin Li , Fan Shi , Jun Ma

This paper proposes a 2-D autonomous exploration and mapping framework for LiDAR-based SLAM mobile robots, designed to address the major challenges on low-cost platforms, including process instability, map drift, and increased risks of…

Robotics · Computer Science 2025-11-18 Muhua Zhang , Lei Ma , Ying Wu , Kai Shen , Yongkui Sun , Henry Leung

Drift-free localization is essential for autonomous vehicles. In this paper, we address the problem by proposing a filter-based framework, which integrates the visual-inertial odometry and the measurements of the features in the pre-built…

Robotics · Computer Science 2022-04-27 Zhuqing Zhang , Yanmei Jiao , Shoudong Huang , Yue Wang , Rong Xiong

Safe autonomous navigation is an essential and challenging problem for robots operating in highly unstructured or completely unknown environments. Under these conditions, not only robotic systems must deal with limited localisation…

Robotics · Computer Science 2020-05-27 Èric Pairet , Juan David Hernández , Marc Carreras , Yvan Petillot , Morteza Lahijanian

LiDAR-based SLAM is a core technology for autonomous vehicles and robots. One key contribution of this work to 3D LiDAR SLAM and localization is a fierce defense of view-based maps (pose graphs with time-stamped sensor readings) as the…

Robotics · Computer Science 2025-08-19 José Luis Blanco-Claraco

This paper presents an accurate, highly efficient, and learning-free method for large-scale odometry estimation using spinning radar, empirically found to generalize well across very diverse environments -- outdoors, from urban to woodland,…

Safe robot navigation is a fundamental research field for autonomous robots including ground mobile robots and flying robots. The primary objective of a safe robot navigation algorithm is to guide an autonomous robot from its initial…

Robotics · Computer Science 2017-09-05 Hang Li

The exploration of large-scale unknown environments can benefit from the deployment of multiple robots for collaborative mapping. Each robot explores a section of the environment and communicates onboard pose estimates and maps to a central…

Robotics · Computer Science 2022-11-03 Lukas Bernreiter , Shehryar Khattak , Lionel Ott , Roland Siegwart , Marco Hutter , Cesar Cadena

To autonomously navigate in real-world environments, special in search and rescue operations, Unmanned Aerial Vehicles (UAVs) necessitate comprehensive maps to ensure safety. However, the prevalent metric map often lacks semantic…

Robotics · Computer Science 2024-01-17 Thanh Nguyen Canh , Armagan Elibol , Nak Young Chong , Xiem HoangVan

Quadruped robots are currently a widespread platform for robotics research, thanks to powerful Reinforcement Learning controllers and the availability of cheap and robust commercial platforms. However, to broaden the adoption of the…

Autonomous exploration of unknown space is an essential component for the deployment of mobile robots in the real world. Safe navigation is crucial for all robotics applications and requires accurate and consistent maps of the robot's…

Robotics · Computer Science 2026-01-13 Sotiris Papatheodorou , Simon Boche , Sebastián Barbas Laina , Stefan Leutenegger

Unmanned and intelligent agricultural systems are crucial for enhancing agricultural efficiency and for helping mitigate the effect of labor shortage. However, unlike urban environments, agricultural fields impose distinct and unique…

Robotics · Computer Science 2024-12-05 Hanzhe Teng , Yipeng Wang , Dimitrios Chatziparaschis , Konstantinos Karydis

As autonomous robots are becoming more widespread, more attention is being paid to the security of robotic operation. Autonomous robots can be seen as cyber-physical systems: they can operate in virtual, physical, and human realms.…

Robotics · Computer Science 2022-04-12 Jorge Peña Queralta , Li Qingqing , Eduardo Castelló Ferrer , Tomi Westerlund

Exploration is a fundamental problem in robot autonomy. A major limitation, however, is that during exploration robots oftentimes have to rely on on-board systems alone for state estimation, accumulating significant drift over time in large…

Robotics · Computer Science 2021-04-15 Lukas Schmid , Victor Reijgwart , Lionel Ott , Juan Nieto , Roland Siegwart , Cesar Cadena

Accurate and safety-quantifiable localization is of great significance for safety-critical autonomous systems, such as unmanned ground vehicles (UGV) and unmanned aerial vehicles (UAV). The visual odometry-based method can provide accurate…

Robotics · Computer Science 2022-11-29 Xi Zheng , Weisong Wen , Li-Ta Hsu

In robotic applications, a key requirement for safe and efficient motion planning is the ability to map obstacle-free space in unknown, cluttered 3D environments. However, commodity-grade RGB-D cameras commonly used for sensing fail to…

‹ Prev 1 2 3 10 Next ›