English
Related papers

Related papers: Certified Vision-based State Estimation for Autono…

200 papers

A Markov decision process-based state switching is devised, implemented, and analyzed for proximity operations of various autonomous vehicles. The framework contains a pose estimator along with a multi-state guidance algorithm. The unified…

Robotics · Computer Science 2024-10-22 Deep Parikh , Ali Hasnain Khowaja , Manoranjan Majji

Unmanned aerial vehicles (UAVs) have increasingly been adopted for safety, security, and rescue missions, for which they need precise and reliable pose estimates relative to their environment. To ensure mission safety when relying on visual…

Robotics · Computer Science 2019-09-19 Chengyao Li , Steven L. Waslander

Onboard terrain sensing and mapping for safe planetary landings often suffer from missed hazardous features, e.g., small rocks, due to the large observational range and the limited resolution of the obtained terrain data. To this end, this…

Image and Video Processing · Electrical Eng. & Systems 2025-07-09 Kento Tomita , Koki Ho

The paper discusses a novel vision-based estimation and control approach to enable fully autonomous tracking and landing of vertical take-off and landing (VTOL) capable unmanned aerial vehicles (UAVs) on moving platforms without relying on…

Robotics · Computer Science 2020-08-18 Bochan Lee , Vishnu Saj , Moble Benedict , Dileep Kalathil

The integration of Unmanned Aerial Vehicles (UAVs) and Unmanned Ground Vehicles (UGVs) is increasingly central to the development of intelligent autonomous systems for applications such as search and rescue, environmental monitoring, and…

Time of flight based Non-line-of-sight (NLOS) imaging approaches require precise calibration of illumination and detector positions on the visible scene to produce reasonable results. If this calibration error is sufficiently high,…

Image and Video Processing · Electrical Eng. & Systems 2021-05-25 Subhash Chandra Sadhu , Abhishek Singh , Tomohiro Maeda , Tristan Swedish , Ryan Kim , Lagnojita Sinha , Ramesh Raskar

Modern driver assistance systems rely on a wide range of sensors (RADAR, LIDAR, ultrasound and cameras) for scene understanding and prediction. These sensors are typically used for detecting traffic participants and scene elements required…

Computer Vision and Pattern Recognition · Computer Science 2018-05-21 JeongYeol Baek , Ioana Veronica Chelu , Livia Iordache , Vlad Paunescu , HyunJoo Ryu , Alexandru Ghiuta , Andrei Petreanu , YunSung Soh , Andrei Leica , ByeongMoon Jeon

In this paper, we address the vision-based autonomous landing problem in complex urban environments using deep neural networks for semantic segmentation and risk assessment. We propose employing the SegFormer, a state-of-the-art visual…

A remaining challenge in multirotor drone flight is the autonomous identification of viable landing sites in unstructured environments. One approach to solve this problem is to create lightweight, appearance-based terrain classifiers that…

Computer Vision and Pattern Recognition · Computer Science 2025-04-01 Joshua Springer , Gylfi Þór Guðmundsson , Marcel Kyas

We propose a novel method for geolocalizing Unmanned Aerial Vehicles (UAVs) in environments lacking Global Navigation Satellite Systems (GNSS). Current state-of-the-art techniques employ an offline-trained encoder to generate a vector…

Computer Vision and Pattern Recognition · Computer Science 2025-10-21 Theo Di Piazza , Enric Meinhardt-Llopis , Gabriele Facciolo , Benedicte Bascle , Corentin Abgrall , Jean-Clement Devaux

Recent advances in deep learning have enabled the development of autonomous systems that use deep neural networks for perception. Formal verification of these systems is challenging due to the size and complexity of the perception DNNs as…

Machine Learning · Computer Science 2025-04-30 Christopher Watson , Rajeev Alur , Divya Gopinath , Ravi Mangal , Corina S. Pasareanu

In the field of autonomous Unmanned Aerial Vehicles (UAVs) landing, conventional approaches fall short in delivering not only the required precision but also the resilience against environmental disturbances. Yet, learning-based algorithms…

Computer Vision and Pattern Recognition · Computer Science 2024-05-22 Francisco Neves , Luís Branco , Maria Pereira , Rafael Claro , Andry Pinto

Providing safety guarantees for autonomous systems is difficult as these systems operate in complex environments that require the use of learning-enabled components, such as deep neural networks (DNNs) for visual perception. DNNs are hard…

Artificial Intelligence · Computer Science 2023-05-31 Corina Pasareanu , Ravi Mangal , Divya Gopinath , Huafeng Yu

We propose a methodology for designing dependable Artificial Neural Networks (ANN) by extending the concepts of understandability, correctness, and validity that are crucial ingredients in existing certification standards. We apply the…

In this work we propose a holistic framework for autonomous aerial inspection tasks, using semantically-aware, yet, computationally efficient planning and mapping algorithms. The system leverages state-of-the-art receding horizon…

It remains a challenge to provide safety guarantees for autonomous systems with neural perception and control. A typical approach obtains symbolic bounds on perception error (e.g., using conformal prediction) and performs verification under…

Systems and Control · Electrical Eng. & Systems 2025-05-20 Thomas Waite , Yuang Geng , Trevor Turnquist , Ivan Ruchkin , Radoslav Ivanov

Aerial cinematography is revolutionizing industries that require live and dynamic camera viewpoints such as entertainment, sports, and security. However, safely piloting a drone while filming a moving target in the presence of obstacles is…

Machine learning driven image-based controllers allow robotic systems to take intelligent actions based on the visual feedback from their environment. Understanding when these controllers might lead to system safety violations is important…

Robotics · Computer Science 2024-04-11 Kaustav Chakraborty , Somil Bansal

The capability to extract task specific, semantic information from raw sensory data is a crucial requirement for many applications of mobile robotics. Autonomous inspection of critical infrastructure with Unmanned Aerial Vehicles (UAVs),…

Robotics · Computer Science 2024-10-10 Thomas Jantos , Christian Brommer , Eren Allak , Stephan Weiss , Jan Steinbrener

Self-driving vehicles and autonomous ground robots require a reliable and accurate method to analyze the traversability of the surrounding environment for safe navigation. This paper proposes and evaluates a real-time machine learning-based…