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.

Hierarchical, Hybrid Framework for Collision Avoidance Algorithms in the National Airspace

Abstract: In this paper, a hierarchical, hybrid framework is proposed for representing and analyzing the interaction of multiple aircraft operating under dierent collision avoidance and separation assurance regimes. The model is broken down by the three dierent collision avoidance regimes: immediate collision avoidance, midterm collision avoidance and separation assurance. These schemes are classied by the time scale in which they operate. Even though each collision avoidance scheme is independently safe, when they are combined the entire system can become unsafe. In this paper, backwards reachable sets are used to analyze the interaction between the immediate and midterm collision avoidance schemes resulting in provable safety conditions. The vertical reachable set is also used to analyze the Trac Alert and Collision Avoidance System (TCAS), a specic immediate collision avoidance scheme.

Towards the development of a laserscanner-based collision avoidance system for trams

Abstract: This paper presents the development of a Traffic Collision Avoidance System (TCAS) for trams based on state-of-the-art automotive laser scanning technology. Our work investigates TCAS regarding required functionalities and current efforts, and proposes an innovative solution for trams that is based on Ibeo laserscanners and digital maps. The different components of the proposed system are presented together with a description of upcoming field tests to be carried out in several European countries.

Formal Specification and Analysis of Spacecraft Collision Avoidance Run Time Assurance Requirements

Abstract: One of the greatest challenges preventing the use of advanced controllers in aerospace is developing methods to verify, validate, and certify them with high assurance. One emerging approach is to push the burden of assurance from offline verification of an autonomous controller at design time, to online verification of safe behavior through a monitor and high assurance backup controller at run time. Run time assurance goes a step beyond alerting systems by detecting imminent unsafe behavior and intervening with a trusted control response. In the spacecraft domain, autonomous operations could be approved if run time assurance systems can provide collision avoidance capabilities. While several approaches to run time assurance have been developed and successfully demonstrated, the design and verification of these systems is ad hoc and specific to the application. This paper describes the elicitation, formal specification, and analysis of general collision avoidance system requirements for a conceptual spacecraft conducting autonomous close-proximity operations based on a run time assurance construct. This includes the first formally specified and analyzed generalized run time assurance architecture for spacecraft that includes a fault monitor, interlock monitor, and human-machine interface. Mathematically precise requirements are elicited through the process of formal specification based on common design elements, spacecraft guidance constraints in the literature, and a structured hazard assessment. Finally, the requirements are analyzed using compositional reasoning and formal model checking verification techniques.

Ship navigation collision avoidance method and ship navigation collision avoidance system

Abstract: The invention discloses a ship navigation collision avoidance method and a ship navigation collision avoidance system. The method comprises the following steps: acquiring the navigation data of a current ship and a dangerous ship; acquiring a hydrology meteorological environment; calculating the actual movement parameters of the current ship under the influence of the hydrology meteorological environment according to the navigation data and the hydrology meteorological environment of the current ship; calculating the actual movement parameters of the dangerous ship under the influence of the hydrology meteorological environment according to the navigation data and the hydrology meteorological environment of the dangerous ship; according to the actual movement parameters of the current shipand the actual movement parameters of the dangerous ship, calculating a most recent contact distance and a most recent contact time between the current ship and the dangerous ship; acquiring the static barrier information in an electronic sea chart where the current ship needs to pass by; according to the most recent contact distance, the most recent contact time and the static barrier information, judging whether the current ship can collide with the dangerous ship or not; if the current ship can collide with the dangerous ship, adjusting the navigation route of the current ship; if not, controlling the ship to navigate along the current navigation route. According to the technical scheme, the collision avoidance accuracy of the ship can be improved.