Related papers: A Phenomenological Environmental Traffic Model Par…
Traffic-light modelling is a complex task, because many factors have to be taken into account. In particular, capturing all traffic flows in one model can significantly complicate the model. Therefore, several realistic features are…
This work develops a measurement-driven and model-based formal verification approach, applicable to systems with partly unknown dynamics. We provide a principled method, grounded on reachability analysis and on Bayesian inference, to…
Effective traffic signal control (TSC) is crucial in mitigating urban congestion and reducing emissions. Recently, reinforcement learning (RL) has been the research trend for TSC. However, existing RL algorithms face several real-world…
A microscopic criterion for distinguishing synchronized flow and wide moving jam phases in single vehicle data measured at a single freeway location is presented. Empirical local congested traffic states in single vehicle data measured on…
Starting from the instability diagram of a traffic flow model, we derive conditions for the occurrence of congested traffic states, their appearance, their spreading in space and time, and the related increase in travel times. We discuss…
Density fluctuations in traffic current are studied by computer simulations using the deterministic coupled map lattice model on a closed single-lane circuit. By calculating a power spectral density of temporal density fluctuations at a…
Traffic flows are studied in terms of their noise of sound, which is an easily accessible experimental quantity. The sound noise data is studied making use of scaling properties of wavelet transforms and Hurst exponents are extracted. The…
We consider the follow-the-leader model for traffic flow. The position of each car $z_i(t)$ satisfies an ordinary differential equation, whose speed depends only on the relative position $z_{i+1}(t)$ of the car ahead. Each car perceives a…
This paper considers the problem of building saturated models for first-order graded logics. We define types as pairs of sets of formulas in one free variable which express properties that an element is expected, respectively, to satisfy…
We introduce a new family of temporal logics intended for specifications in motion planning (MP). It builds upon the signal temporal logic (STL), which is a linear-time logic over real-valued signals that possess quantitative semantics and…
We propose three models for the traffic of vehicles within a network formed by sites (cities, car-rental agencies, parking lots, etc.) and connected by two-way arteries (roads, highways), that allow forecasting the vehicular flux in a…
For a foreseeable future, autonomous vehicles (AVs) will operate in traffic together with human-driven vehicles. Their planning and control systems need extensive testing, including early-stage testing in simulations where the interactions…
Traffic congestion represents a complex urban phenomenon that has been the subject of extensive research employing various modeling techniques grounded in the principles of physics and molecular theory. Although factors such as road design,…
Spatiotemporal features and physics of vehicular traffic congestion occurring due to heavy freeway bottlenecks caused by bad weather conditions or accidents are found based on simulations in the framework of three-phase traffic theory. A…
There is a great diversity of formal models to understand the dynamics of transport and vehicular flow on a road. Many of these models are inspired by the dynamics of flows governed by partial differential equations. However, it is possible…
Despite the importance of urban traffic flows, there are only a few theoretical approaches to determine fundamental relationships between macroscopic traffic variables such as the traffic density, the utilization, the average velocity, and…
A two parameter model for single lane car-following is introduced and its equilibrium and non-equilibrium properties are studied. Despite its simplicity, this model exhibits a rich phenomenology, analogous to that observed in real traffic,…
This article presents a derivation of analytical predictions for steady-state distributions of netto time gaps among clusters of vehicles moving inside a traffic stream. Using the thermodynamic socio-physical traffic model with short-ranged…
This paper presents scalable traffic stability analysis for both pure autonomous vehicle (AV) traffic and mixed traffic based on continuum traffic flow models. Human vehicles are modeled by a non-equilibrium traffic flow model, i.e.,…
Reducing air pollution, such as CO2 and PM2.5 emissions, is one of the most important issues for many countries worldwide. Selecting an environmentally friendly transport mode can be an effective approach of individuals to reduce air…