Collision avoidance system

About: Collision avoidance system is a research topic. Over the lifetime, 1788 publications have been published within this topic receiving 23667 citations.

Formal Verification of Swerving Maneuvers for Car Collision Avoidance

Abstract: Many road vehicle accidents are the result of collisions with foreign objects, and automatic collision avoidance is of critical interest to car manufacturers and their customers. Previous work on formally verifying collision avoidance maneuvers typically assumes point-shaped or circular-shaped vehicles for simplicity. In this paper, we formulate and formally verify sufficient conditions for the safety of a representative collision avoidance system for cars with a realistic geometrical shape. The collision avoidance system discussed here is designed to issue swerving advisories. We model the vehicle kinematics and control advisory as a hybrid program, allowing to model both discrete decisions of the system and continuous dynamics of the car. We formally verify the collision avoidance system by providing rigorous, computer-checked mathematical proofs of collision avoidance under well-defined, explicit sufficient conditions on vehicle kinematics and parameters. This formal verification provides a mathematical guarantee that the collision avoidance system can prevent the vehicle from collision under all possible scenarios as long as certain conditions hold true.We model the system using differential dynamic logic dL and use the automated theorem prover KeYmaera X for formal verification. This work employs a purely symbolic model, and can thus be extended to verify other types of collision avoidance systems exhibiting richer behavior.

Collision Detection System Based on Differential Carrier-Phase Global Positioning System Broadcasts

Abstract: The Global Positioning System has great potential for the development of new collision avoidance systems and is being considered for the next-generation traffic alert and collision avoidance system. The navigation states estimated by Global Positioning System code information can be broadcast to nearby airplanes via the current traffic alert and collision avoidance system equipment. In this paper, the problem of aircraft collision detection system using Global Positioning System carrier-phase information is addressed. A new approach to the carrier-phase-based relative position estimation problem is proposed that uses particle filters in which the samples are drawn from Cartesian position space coordinates. The particle filters with position samples makes the Global Positioning System carrier-phase-based position estimation algorithm robust and practical in that the algorithm is not sensitive to changes of Global Positioning System satellites and cycle slips. The same algorithm can be used to estimate the vehicle attitude if multiple Global Positioning System antennas are used. For a reliable and enhanced collision avoidance system, three-dimensional trajectories are projected using relative position, velocity, and attitude estimates. It is shown that the performance of the Global Positioning System carrier-phase-based collision-detecting algorithm meets the accuracy requirements for a precise approach of flight with significantly less collision false alarms and no miss alarms.

Novel Cooperative Collision Avoidance Model for Connected Vehicles

Abstract: Connected vehicle technology exchanges real-time vehicle and traffic information through vehicle-to-vehicle and vehicle-to-infrastructure communication. The technology has the potential to improve traffic safety applications such as collision avoidance. In this paper, a novel cooperative collision avoidance (CCA) model that could improve the effectiveness of the collision avoidance system of connected vehicles was developed. Unlike traditional collision avoidance models, which relied mainly on emergency braking, the proposed CCA approach avoided collision through a combination of following vehicle deceleration and leading vehicle acceleration. Through spacing policy theory and nonlinear optimization, the model calculated the desired deceleration rate for the following vehicle and the acceleration rate for the leading vehicle, respectively, at each time interval. The CCA approach was then tested on a scaled platform with hardware-in-the-loop simulation embedded with MATLAB/Simulink and a car simulator pack...

Collision avoidance device base don self-adaptive cruise system

Abstract: The utility model discloses a collision avoidance device based on a self-adaptive cruise system. The device comprises a test vehicle, a radar, a single chip microcomputer, the self-adaptive cruise system, a microprocessor, a hydraulic braking valve and a display screen are further arranged on the test vehicle, the self-adaptive cruise system and the radar are respectively connected with an input end of the single chip microcomputer, an output end of the single chip microcomputer is respectively connected with the microprocessor and the hydraulic braking valve, and an output end of the microprocessor is connected with the hydraulic braking valve and a display. Due to the fact that an advanced control strategy and advanced logic judgment are adopted, a collision avoidance system is more ideal in the control effect, the device is simple in structure, compact, convenient to test and strong in adaptability, not prone to be affected by the outside, and stability and reliability are greatly improved.