Improving Driving Safety Based on Safe Distance Design in Vehicular Sensor Networks

Chen, Chen; Liu, Lei; Du, Xiaobo; Pei, Qingqi; Zhao, Xiangmo

doi:10.1155/2012/469067

Cited by 12 publications

(8 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, their notion of safe distance when v e < v o does not match with any of our definitions of safe distance due to different assumptions. A more detailed analysis for the safe distance problem is given by Chen et al [4]. If we consider their single lane scenario only, their definitions of safe distance for stationary and decelerating case exactly match our first and second definition of safe distance in Eq.…”

Section: Data Analysis Of the Safe Distance Problemmentioning

confidence: 78%

“…3.2) meanwhile is about eliminating the existential quantifier in Eq. (4) and rearranging the resulting formula such that one can obtain lower bounds for the initial distance s 0,o − s 0,e that is still safe. In principle, after resolving the discrete jumps, this quantifier elimination for real arithmetic could be achieved by automatic procedures as implemented in modern computer algebra systems (CASs).…”

Section: Logical Analysis Of the Safe Distance Problemmentioning

confidence: 99%

See 1 more Smart Citation

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

Rizaldi

Immler

Althoff

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. One barrier in introducing autonomous vehicle technology is the liability issue when these vehicles are involved in an accident. To overcome this, autonomous vehicle manufacturers should ensure that their vehicles always comply with traffic rules. This paper focusses on the safe distance traffic rule from the Vienna Convention on Road Traffic. Ensuring autonomous vehicles to comply with this safe distance rule is problematic because the Vienna Convention does not clearly define how large a safe distance is. We provide a formally proved prescriptive definition of how large this safe distance must be, and correct checkers for the compliance of this traffic rule. The prescriptive definition is obtained by: 1) identifying all possible relative positions of stopping (braking) distances; 2) selecting those positions from which a collision freedom can be deduced; and 3) reformulating these relative positions such that lower bounds of the safe distance can be obtained. These lower bounds are then the prescriptive definition of the safe distance, and we combine them into a checker which we prove to be sound and complete. Not only does our work serve as a specification for autonomous vehicle manufacturers, but it could also be used to determine who is liable in court cases and for online verification of autonomous vehicles' trajectory planner.

show abstract

Section: Data Analysis Of the Safe Distance Problemmentioning

confidence: 78%

Section: Logical Analysis Of the Safe Distance Problemmentioning

confidence: 99%

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

Rizaldi

Immler

Althoff

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…This testbed, which was named V-MAN (vehicular environment simulation with Matlab and NS2), has successfully finished three simulation works [17,18] in VANETs for our team. The performance of our CAIR routing is compared with the GPSR, CAR, JBR, and STAR protocols.…”

Section: Simulation Scenariomentioning

confidence: 99%

A connectivity-aware intersection-based routing in VANETs

Chen

Jin

Pei

et al. 2014

J Wireless Com Network

Self Cite

View full text Add to dashboard Cite

Vehicular ad hoc networks (VANETs) are going to be an important communication infrastructure in our moving life. The design of routing protocols in VANETs is a significant and necessary issue for supporting VANET-based applications. However, due to high mobility, frequent link disconnection, and uneven distribution of vehicles, it becomes quite challenging to establish a robust route for delivering packets. This paper presents a connectivity-aware intersectionbased routing (CAIR) protocol to address these problems by selecting an optimal route with higher probability of connectivity and lower experienced delay; then, geographical forwarding based on position prediction is used to transfer packets between any two intersections along the route. Simulation results show that the proposed protocol outperforms existing routing protocols in terms of data delivery ratio and average transmission delay in typical urban scenarios.

show abstract

“…According to (6) and (56), it is noted that the radio range , the equipped vehicle arrival rate , and the speed factor all have influences on the connectivity. In [37], the author provided some typical values for the expectation and standard deviation for vehicular speed on highway which follow the normal distribution as listed in Table 1.…”

Section: The Relationship Between the Connectivity And Andmentioning

confidence: 99%

Connectivity Analysis for Free-Flow Traffic in VANETs: A Statistical Approach

Chen

Pei

et al. 2013

International Journal of Distributed Sensor Networks

Self Cite

View full text Add to dashboard Cite

Intervehicle communication gives vehicles opportunities to exchange packets within the limited radio range and self-organized in Ad Hoc manner into VANETs (Vehicular Ad Hoc Networks). However, due to issues such as the high mobility, insufficient market penetration ratio, and lacking of roadside units, connectivity is actually a big problem in VANETs. In addition, relying only on the direct connectivity in most of the previous works, say broadcasting which provides one-hop connections between nodes is far from the continuously growing application demands in VANETs, such as inter-vehicle entertainments, cooperative collision avoidances, and inter-vehicle emergency notifications. Therefore, the indirect connectivity from multihop forwarding is also a necessary complement especially for the case where direct connection is hardly achieved. In this paper, we define a new metric, that is, available connectivity, to consider both direct and indirect connectivity. After analyzing the statistical properties of direct and indirect connectivity in vehicular environment, the available connectivity is proposed and quantified for practical usage. Numerical results show that our available connectivity could provide correct and useful references for protocols design and performance improvements of different applications.

show abstract

Improving Driving Safety Based on Safe Distance Design in Vehicular Sensor Networks

Cited by 12 publications

References 17 publications

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

A connectivity-aware intersection-based routing in VANETs

Connectivity Analysis for Free-Flow Traffic in VANETs: A Statistical Approach

Contact Info

Product

Resources

About