English
Related papers

Related papers: Automating Geometric Proofs of Collision Avoidance…

200 papers

In recent years, many control problems of autonomous mobile robots have been developed. In particular, the robots are required to be safe; that is, they need to be controlled to avoid colliding with people or objects while traveling. In…

Systems and Control · Electrical Eng. & Systems 2026-03-31 Taichi Arimura , Yuki Nishimura , Taichi Ikezaki , Daisuke Tabuchi

In this paper, we present an on-board vision-based approach for avoidance of moving obstacles in dynamic environments. Our approach relies on an efficient obstacle detection and tracking algorithm based on depth image pairs, which provides…

Robotics · Computer Science 2020-02-14 Jiahao Lin , Hai Zhu , Javier Alonso-Mora

Biological evidence shows that animals are capable of evading eminent collision without using depth information, relying solely on looming stimuli. In robotics, collision avoidance among uncooperative vehicles requires measurement of…

Robotics · Computer Science 2021-03-24 Thiago Marinho , Massi Amrouche , Dusan Stipanovic , Venanzio Cichella , Naira Hovakimyan

In motion planning problems for autonomous robots, such as self-driving cars, the robot must ensure that its planned path is not in close proximity to obstacles in the environment. However, the problem of evaluating the proximity is…

Robotics · Computer Science 2019-06-21 Arun Lakshmanan , Andrew Patterson , Venanzio Cichella , Naira Hovakimyan

Assessing collision risk is a critical challenge to effective traffic safety management. The deployment of unmanned aerial vehicles (UAVs) to address this issue has shown much promise, given their wide visual field and movement flexibility.…

Robotics · Computer Science 2021-10-14 Shuya Zong , Sikai Chen , Majed Alinizzi , Yujie Li , Samuel Labi

This paper proposes a new set of conditions for exactly representing collision avoidance constraints within optimization-based motion planning algorithms. The conditions are continuously differentiable and therefore suitable for use with…

Robotics · Computer Science 2023-02-21 James Guthrie

The steady development of motor vehicle technology will enable cars of the near future to assume an ever increasing role in the decision making and control of the vehicle itself. In the foreseeable future, cars will have the ability to…

Computational Geometry · Computer Science 2015-05-06 Philip Dasler , David M. Mount

Path planning in dynamic environments is essential to high-risk applications such as unmanned aerial vehicles, self-driving cars, and autonomous underwater vehicles. In this paper, we generate collision-free trajectories for a robot within…

Robotics · Computer Science 2020-07-30 Sourav Dutta , Tuan Tran , Banafsheh Rekabdar , Chinwe Ekenna

Aircraft collision avoidance systems is critical to modern aviation. These systems are designed to predict potential collisions between aircraft and recommend appropriate avoidance actions. Creating effective collision avoidance systems…

This research introduces two efficient methods to estimate the collision risk of planned trajectories in autonomous driving under uncertain driving conditions. Deterministic collision checks of planned trajectories are often inaccurate or…

Robotics · Computer Science 2025-10-08 Marc Kaufeld , Johannes Betz

Collision avoidance is a key factor in enabling the integration of unmanned aerial vehicle into real life use, whether it is in military or civil application. For a long time there have been a large number of works to address this problem;…

Systems and Control · Computer Science 2015-09-01 Hung Pham , Scott A. Smolka , Scott D. Stoller , Dung Phan , Junxing Yang

Collision-free motion is a fundamental requirement for many autonomous systems. This paper develops a safety-critical control approach for the collision-free navigation of polytope-shaped agents in polytope-shaped environments. A systematic…

Systems and Control · Electrical Eng. & Systems 2025-05-26 Tamas G. Molnar

We present an approach to analyzing the safety of asynchronous, independent, non-deterministic, turn-to-bearing horizontal maneuvers for two vehicles. Future turn rates, final bearings, and continuously varying ground speeds throughout the…

Logic in Computer Science · Computer Science 2022-05-11 Yanni Kouskoulas , T. J. Machado , Daniel Genin , Aurora Schmidt , Ivan Papusha , Joshua Brulé

In this paper, we propose a reachable set based collision avoidance algorithm for unmanned aerial vehicles (UAVs). UAVs have been deployed for agriculture research and management, surveillance and sensor coverage for threat detection and…

Systems and Control · Computer Science 2016-09-27 Yuchen Zhou , John S. Baras

This paper presents an algorithm for local motion planning in environments populated by moving elliptical obstacles whose velocity, shape and size are fully known but may change with time. We base the algorithm on a collision avoidance…

Systems and Control · Electrical Eng. & Systems 2022-07-26 Martin Braquet , Efstathios Bakolas

We propose a Model Predictive Control (MPC) for collision avoidance between an autonomous agent and dynamic obstacles with uncertain predictions. The collision avoidance constraints are imposed by enforcing positive distance between convex…

Robotics · Computer Science 2022-08-09 Siddharth H. Nair , Eric H. Tseng , Francesco Borrelli

Autonomous Vehicles are currently being tested in a variety of scenarios. As we move towards Autonomous Vehicles, how should intersections look? To answer that question, we break down an intersection management into the different conundrums…

Robotics · Computer Science 2018-09-10 Shravan Krishnan , Govind Aadithya R , Rahul Ramakrishnan , Vijay Arvindh , Sivanathan K

This paper considers a two-dimensional persistent monitoring problem by controlling movements of second-order agents to minimize some uncertainty metric associated with targets in a dynamic environment. In contrast to common sensing models…

Optimization and Control · Mathematics 2019-11-12 Yan-Wu Wang , Ming-Jie Zhao , Wu Yang , Nan Zhou , Christos G. Cassandras

We study motion planning algorithms for collision free control of multiple objects in the presence of moving obstacles. We compute the topological complexity of algorithms solving this problem. We apply topological tools and use information…

Optimization and Control · Mathematics 2007-05-23 Michael Farber , Mark Grant , Sergey Yuzvinsky

Unmanned Aerial Vehicles (UAVs), in particular Drones, have gained significant importance in diverse sectors, mainly military uses. Recently, we can see a growth in acceptance of autonomous UAVs in civilian spaces as well. However, there is…

Robotics · Computer Science 2021-08-31 Anamta Khan