A probabilistic framework for highway safety analysis

Brownian motion is used to model the uncertainty in the motion of cars on a highway. The probability of collision of two adjacent cars within a fixed horizon is calculated and its implications are discussed. Moreover, the probability of collision in the presence of emergency braking is also obtained by modeling the occurrence of emergency braking as a Poisson process.