This paper discusses diagnosis problems in distributed systems within the context of a language- theoretic discrete event formalism. A distributed system is seen as a system with multiple spatially separated sites with each site having a diagnoser that observes some of the events generated by...

This report studies the effects of Advanced Traveler Information Systems (ATIS) on traffic congestion in the Smart Corridor of the Santa Monica Freeway. Simulation modeling is used to estimate the potential travel time savings to divert traffic from the Smart Corridor to arterial roads when...

This paper compares safety of automated and manual highway systems with respect to result- ing rear-end collision frequency and severity. The results show that automated driving is safer than the most alert manual drivers, at similar speeds and capacities. We also present a detailed...