The flow of vehicular traffic has been studied in many different ways. After an introduction, we will give overview of several models for the flow on single lane road: a fluid dynamics theory, a approach based on the dynamics of individual vehicles and a model using a cellular automata

Sensing everywhere: on quantitative verification for ubiquitous computing

Abstract: This research is concerned with the properties of incident-induced traffic jams on rectangular grid networks and possible measures for preventing and controlling them. However, while most conventional traffic management measures aim to increase capacity and hence postpone the onset

We introduce and analyze a simple probabilistic cellular automaton which emulates the flow of cars along a highway. Our Traffic CA captures the essential features of several more complicated algorithms, studied numerically by

We study several deterministic one-dimensional traffic models. For integer positions and velocities we find the typical high and low density phases separated by a simple transition. If positions and velocities are continuous variables the model shows self-organized criticality driven by the slowest

Numbers) the complete description of their limit (in time) behavior is obtained, as well as estimates of the transient period. In this period the main object of interest is the dynamics of `traffic jams', which is rigorously defined and studied. It is shown that the dynamical system under

There is discussion if traffic displays multiple phases (e.g. laminar, jammed, synchronized) or not. This paper presents computational evidence that a stochastic car following model, by chang-ing one of its parameters, can be moved from having two phases (laminar and jammed) to having only one

Abstract — IVC (Inter-Vehicle Communication) is a promising technology for the next-generation of automotive vehicles, offer-ing a wide range of applications. A typical one concerns traffic jam-avoidance, as suggested by recent publications. While most of the applications focus on preventing

In cognitive models, cognitive control can be measured in terms of the number of control states that are used to do the task. In most cases more control leads to better performance. Attentional Blink is an example in which the opposite is true: more control leads to poorer performance. A hybrid ACT-R/Leabra model is used to model both high- and low-control participants using two and one control states, respectively. Keywords: Cognitive Control, Multi-tasking, ACT-R, Leabra

as a far from equilibrium, large fluctuation driven, metastable ordered transition, a “freezing by heating ” jamming transition. Moreover, the subsequent unjamming transition could provide a mechanism for inflation while rejamming may model a Big Crunch, the final state of gravitational collapse. ¶