-
Detecting Security Patches via Behavioral Data in Code Repositories
Authors:
Nitzan Farhi,
Noam Koenigstein,
Yuval Shavitt
Abstract:
The absolute majority of software today is developed collaboratively using collaborative version control tools such as Git. It is a common practice that once a vulnerability is detected and fixed, the developers behind the software issue a Common Vulnerabilities and Exposures or CVE record to alert the user community of the security hazard and urge them to integrate the security patch. However, so…
▽ More
The absolute majority of software today is developed collaboratively using collaborative version control tools such as Git. It is a common practice that once a vulnerability is detected and fixed, the developers behind the software issue a Common Vulnerabilities and Exposures or CVE record to alert the user community of the security hazard and urge them to integrate the security patch. However, some companies might not disclose their vulnerabilities and just update their repository. As a result, users are unaware of the vulnerability and may remain exposed. In this paper, we present a system to automatically identify security patches using only the developer behavior in the Git repository without analyzing the code itself or the remarks that accompanied the fix (commit message). We showed we can reveal concealed security patches with an accuracy of 88.3% and F1 Score of 89.8%. This is the first time that a language-oblivious solution for this problem is presented.
△ Less
Submitted 4 February, 2023;
originally announced February 2023.
-
Deep Reinforcement Q-Learning for Intelligent Traffic Signal Control with Partial Detection
Authors:
Romain Ducrocq,
Nadir Farhi
Abstract:
Intelligent traffic signal controllers, applying DQN algorithms to traffic light policy optimization, efficiently reduce traffic congestion by adjusting traffic signals to real-time traffic. Most propositions in the literature however consider that all vehicles at the intersection are detected, an unrealistic scenario. Recently, new wireless communication technologies have enabled cost-efficient d…
▽ More
Intelligent traffic signal controllers, applying DQN algorithms to traffic light policy optimization, efficiently reduce traffic congestion by adjusting traffic signals to real-time traffic. Most propositions in the literature however consider that all vehicles at the intersection are detected, an unrealistic scenario. Recently, new wireless communication technologies have enabled cost-efficient detection of connected vehicles by infrastructures. With only a small fraction of the total fleet currently equipped, methods able to perform under low detection rates are desirable. In this paper, we propose a deep reinforcement Q-learning model to optimize traffic signal control at an isolated intersection, in a partially observable environment with connected vehicles. First, we present the novel DQN model within the RL framework. We introduce a new state representation for partially observable environments and a new reward function for traffic signal control, and provide a network architecture and tuned hyper-parameters. Second, we evaluate the performances of the model in numerical simulations on multiple scenarios, in two steps. At first in full detection against existing actuated controllers, then in partial detection with loss estimates for proportions of connected vehicles. Finally, from the obtained results, we define thresholds for detection rates with acceptable and optimal performance levels.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Estimation of road traffic state at a multi-lanes controlled junction
Authors:
Cyril Nguyen Van Phu,
Nadir Farhi
Abstract:
We present in this paper a method for the estimation of traffic state at road junctions controlled with traffic lights. We assume mixed traffic where a proportion of vehicles are equipped with communication resources. The estimation of road traffic state uses information given by communicating vehicles. The method we propose is built upon a previously published method which was applied to estimate…
▽ More
We present in this paper a method for the estimation of traffic state at road junctions controlled with traffic lights. We assume mixed traffic where a proportion of vehicles are equipped with communication resources. The estimation of road traffic state uses information given by communicating vehicles. The method we propose is built upon a previously published method which was applied to estimate the traffic in the case where roads are composed of two lanes. In this paper, we consider the case where roads are composed of three lanes and we show that this solution can address the general case, where roads are composed of any number of lanes. We assume the geometry of the road junction is known, as well as its connections between incoming and outgoing lanes and roads. Using the location data provided by the communicating vehicles, first, we estimate some primary parameters including the penetration ratio of the probe vehicles, as well as the arrival rates of vehicles (equipped and non-equipped) per lane by introducing the assignment onto the lanes. Second, we give estimations of the queue length of the 3-lanes road, without and with the additional information provided by the location of the communicating vehicles in the queue. We illustrate and discuss the proposed model with numerical simulations.
△ Less
Submitted 28 July, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Dynamic programming systems for modeling and control of the traffic in transportation networks
Authors:
Nadir Farhi
Abstract:
This thesis is entitled Dynamic programming systems for modeling and control of the traffic in transportation networks. Two parts are distinguished in this dissertation: 1) methods and approaches based on min-plus or max-plus algebra, where the dynamics are deterministic dynamic programming systems; 2) methods and approaches whose dynamic systems are non-linear but are interpreted as stochastic dy…
▽ More
This thesis is entitled Dynamic programming systems for modeling and control of the traffic in transportation networks. Two parts are distinguished in this dissertation: 1) methods and approaches based on min-plus or max-plus algebra, where the dynamics are deterministic dynamic programming systems; 2) methods and approaches whose dynamic systems are non-linear but are interpreted as stochastic dynamic programming systems. Each of the two parts includes a chapter of necessary reviews, two main chapters and a chapter summarizing other works related to the concerned part. Part 1 includes a first chapter containing an introduction and some necessary reviews; two main chapters, one on the max-plus algebra model for the train dynamics on a metro line, the other one on the network calculus approach for modeling and calculating performance bounds on road networks; and a final chapter summarizing my other contributions on the topic of this part. Part 2 includes a first chapter containing an introduction and some necessary reviews; two main chapters, one on the microscopic modeling of traffic taking into account anticipation in driving, the other one on the modeling of the train dynamics on a metro line taking into account the passenger travel demand; and a final chapter summarizing my other contributions on the topic of this part.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Comprehensive passenger demand-dependent traffic control on a metro line with a junction and a derivation of the traffic phases
Authors:
Florian Schanzenbacher,
Nadir Farhi,
Fabien Leurent,
Gérard Gabriel
Abstract:
This paper is an extended abstract on a traffic model for the train dynamics on a metro line with a junction. The dynamic model includes control laws on the dwell and on the run time, taking into account the passenger travel demand. Our model extends two existing traffic models: 1. a model that describes the train dynamics on a metro line with a junction but without taking into account the travel…
▽ More
This paper is an extended abstract on a traffic model for the train dynamics on a metro line with a junction. The dynamic model includes control laws on the dwell and on the run time, taking into account the passenger travel demand. Our model extends two existing traffic models: 1. a model that describes the train dynamics on a metro line with a junction but without taking into account the travel demand, i.e. dwell and run times are fixed, and 2. another model that controls the train dynamics on a linear metro line (without junction) taking into account the passenger travel demand. We present the phase diagram of the train dynamics in the metro line with a junction. Train time-headway and frequency are functions of 1. the number of trains on the line, 2. the difference between the number of trains on the two branches, and 3. the passenger demand level. The derived diagram can be used for the optimization of the traffic control on the metro line and at the junction.
△ Less
Submitted 20 November, 2018;
originally announced November 2018.
-
Estimation of urban traffic state with probe vehicles
Authors:
Cyril Nguyen Van Phu,
Nadir Farhi
Abstract:
We present in this paper a method to estimate urban traffic state with communicating vehicles. Vehicles moving on the links of the urban road network form queues at the traffic lights. We assume that a proportion of vehicles are equipped with localization and communication capabilities, and name them probe vehicles. First, we propose a method for the estimation of the penetration ratio of probe ve…
▽ More
We present in this paper a method to estimate urban traffic state with communicating vehicles. Vehicles moving on the links of the urban road network form queues at the traffic lights. We assume that a proportion of vehicles are equipped with localization and communication capabilities, and name them probe vehicles. First, we propose a method for the estimation of the penetration ratio of probe vehicles, as well as the vehicles arrival rate on a link. Moreover, we show that turn ratios at each junction can be estimated. Second, assuming that the turn ratios at each junction are given, we propose an estimation of the queue lengths on a 2-lanes link, by extending a 1-lane existing method. Our extension introduces vehicles assignment onto the lanes. Third, based on this approach, we propose optimal control laws for the traffic light and for the assignment of the arriving vehicles onto the lane queues. Finally, numerical simulations are conducted with Veins framework that bi-directionally couples microscopic road traffic and communication simulators. We illustrate and discuss our propositions with the simulation results.
△ Less
Submitted 27 February, 2020; v1 submitted 13 November, 2018;
originally announced November 2018.
-
Real-time control of metro train dynamics with minimization of train time-headway variance
Authors:
Florian Schanzenbacher,
Nadir Farhi,
Fabien Leurent,
Gérard Gabriel
Abstract:
We present here a real-time control model for the train dynamics in a linear metro line system. The model describes the train dynamics taking into account average passenger arrival rates on platforms, including control laws for train dwell and run times, based on the feedback of the train dynamics. The model extends a recently developed Max-plus linear traffic model with demand-dependent dwell tim…
▽ More
We present here a real-time control model for the train dynamics in a linear metro line system. The model describes the train dynamics taking into account average passenger arrival rates on platforms, including control laws for train dwell and run times, based on the feedback of the train dynamics. The model extends a recently developed Max-plus linear traffic model with demand-dependent dwell times and a run time control. The extension permits the elimination of eventual irregularities on the train time-headway. The resulting train dynamics are interpreted as a dynamic programming system of a stochastic optimal control problem of a Markov chain. The train dynamics still admit a stable stationary regime with a unique average growth rate interpreted as the asymptotic average train time-headway. Moreover, beyond the transient regime of the train dynamics, our extension guarantees uniformity in time of the train time-headways at every platform.
△ Less
Submitted 29 October, 2018; v1 submitted 8 September, 2018;
originally announced September 2018.
-
A discrete event traffic model explaining the traffic phases of the train dynamics on a linear metro line with demand-dependent control
Authors:
Florian Schanzenbacher,
Nadir Farhi,
Fabien Leurent,
Gérard Gabriel
Abstract:
In this paper we present a mathematical model of the train dynamics in a linear metro line system with demand-dependent run and dwell times. On every segment of the line, we consider two main constraints. The first constraint is on the travel time, which is the sum of run and dwell time. The second one is on the safe separation time, modeling the signaling system, so that only one train can occupy…
▽ More
In this paper we present a mathematical model of the train dynamics in a linear metro line system with demand-dependent run and dwell times. On every segment of the line, we consider two main constraints. The first constraint is on the travel time, which is the sum of run and dwell time. The second one is on the safe separation time, modeling the signaling system, so that only one train can occupy a segment at a time. The dwell and the run times are modeled dynamically, with two control laws. The one on the dwell time makes sure that all the passengers can debark from and embark into the train. The one on the run time ensures train time-headway regularity in the case where perturbations do not exceed a run time margin.
We use a Max-plus algebra approach which allows to derive analytic formulas for the train time-headway and frequency depending on the number of trains and on the passenger demand. The analytic formulas, illustrated by 3D figures, permit to understand the phases of the train dynamics of a linear metro line being operated as a transport on demand system.
△ Less
Submitted 8 March, 2018;
originally announced March 2018.
-
A discrete event traffic model explaining the traffic phases of the train dynamics in a metro line system with a junction
Authors:
Florian Schanzenbächer,
Nadir Farhi,
Zoi Christoforou,
Fabien Leurent,
Gérard Gabriel
Abstract:
This paper presents a mathematical model for the train dynamics in a mass-transit metro line system with one symmetrically operated junction. We distinguish three parts: a central part and two branches. The tracks are spatially discretized into segments (or blocks) and the train dynamics are described by a discrete event system where the variables are the $k^{th}$ departure times from each segment…
▽ More
This paper presents a mathematical model for the train dynamics in a mass-transit metro line system with one symmetrically operated junction. We distinguish three parts: a central part and two branches. The tracks are spatially discretized into segments (or blocks) and the train dynamics are described by a discrete event system where the variables are the $k^{th}$ departure times from each segment. The train dynamics are based on two main constraints: a travel time constraint modeling theoretic run and dwell times, and a safe separation constraint modeling the signaling system in case where the traffic gets very dense. The Max-plus algebra model allows to analytically derive the asymptotic average train frequency as a function of many parameters, including train travel times, minimum safety intervals, the total number of trains on the line and the number of trains on each branch. This derivation permits to understand the physics of traffic. In a further step, the results will be used for traffic control.
△ Less
Submitted 8 January, 2018; v1 submitted 3 January, 2018;
originally announced January 2018.
-
M/G/c/c state dependent queuing model for a road traffic system of two sections in tandem
Authors:
Nacira Guerouahane,
Djamil Aissani,
Nadir Farhi,
Louiza Bouallouche-Medjkoune
Abstract:
We propose in this article a M/G/c/c state dependent queuing model for road traffic flow. The model is based on finite capacity queuing theory which captures the stationary density-flow relationships. It is also inspired from the deterministic Godunov scheme for the road traffic simulation. We first present a reformulation of the existing linear case of M/G/c/c state dependent model, in order to u…
▽ More
We propose in this article a M/G/c/c state dependent queuing model for road traffic flow. The model is based on finite capacity queuing theory which captures the stationary density-flow relationships. It is also inspired from the deterministic Godunov scheme for the road traffic simulation. We first present a reformulation of the existing linear case of M/G/c/c state dependent model, in order to use flow rather than speed variables. We then extend this model in order to consider upstream traffic demand and downstream traffic supply. After that, we propose the model for two road sections in tandem where both sections influence each other. In order to deal with this mutual dependence, we solve an implicit system given by an algebraic equation. Finally, we derive some performance measures (throughput and expected travel time). A comparison with results predicted by the M/G/c/c state dependent queuing networks shows that the model we propose here captures really the dynamics of the road traffic.
△ Less
Submitted 3 June, 2017;
originally announced June 2017.
-
A vehicle-to-infrastructure communication based algorithm for urban traffic control
Authors:
Cyril Nguyen Van Phu,
Nadir Farhi,
Habib Haj-Salem,
Jean-Patrick Lebacque
Abstract:
We present in this paper a new algorithm for urban traffic light control with mixed traffic (communicating and non communicating vehicles) and mixed infrastructure (equipped and unequipped junctions). We call equipped junction here a junction with a traffic light signal (TLS) controlled by a road side unit (RSU). On such a junction, the RSU manifests its connectedness to equipped vehicles by broad…
▽ More
We present in this paper a new algorithm for urban traffic light control with mixed traffic (communicating and non communicating vehicles) and mixed infrastructure (equipped and unequipped junctions). We call equipped junction here a junction with a traffic light signal (TLS) controlled by a road side unit (RSU). On such a junction, the RSU manifests its connectedness to equipped vehicles by broadcasting its communication address and geographical coordinates. The RSU builds a map of connected vehicles approaching and leaving the junction. The algorithm allows the RSU to select a traffic phase, based on the built map. The selected traffic phase is applied by the TLS; and both equipped and unequipped vehicles must respect it. The traffic management is in feedback on the traffic demand of communicating vehicles. We simulated the vehicular traffic as well as the communications. The two simulations are combined in a closed loop with visualization and monitoring interfaces. Several indicators on vehicular traffic (mean travel time, ended vehicles) and IEEE 802.11p communication performances (end-to-end delay, throughput) are derived and illustrated in three dimension maps. We then extended the traffic control to a urban road network where we also varied the number of equipped junctions. Other indicators are shown for road traffic performances in the road network case, where high gains are experienced in the simulation results.
△ Less
Submitted 3 July, 2017; v1 submitted 24 March, 2017;
originally announced March 2017.
-
M/g/c/c state dependent queueing model for road traffic simulation
Authors:
Nacira Guerrouahane,
Djamil Aissani,
Louiza Bouallouche-Medjkoune,
Nadir Farhi
Abstract:
In this paper, we present a stochastic queuing model for the road traffic, which captures the stationary density-flow relationships in both uncongested and congestion conditions. The proposed model is based on the $M/g/c/c$ state dependent queuing model of Jain and Smith, and is inspired from the deterministic Godunov scheme for the road traffic simulation. We first propose a reformulation of the…
▽ More
In this paper, we present a stochastic queuing model for the road traffic, which captures the stationary density-flow relationships in both uncongested and congestion conditions. The proposed model is based on the $M/g/c/c$ state dependent queuing model of Jain and Smith, and is inspired from the deterministic Godunov scheme for the road traffic simulation. We first propose a reformulation of the $M/g/c/c$ state dependent model that works with density-flow fundamental diagrams rather than density-speed relationships. We then extend this model in order to consider upstream traffic demand as well as downstream traffic supply. Finally, we calculate the speed and travel time distributions for the $M/g/c/c$ state dependent queuing model and for the proposed model, and derive stationary performance measures (expected number of cars, blocking probability, expected travel time, and throughput). A comparison with results predicted by the $M/g/c/c$ state dependent queuing model shows that the proposed model correctly represents the dynamics of traffic and gives good performances measures. The results illustrate the good accuracy of the proposed model.
△ Less
Submitted 3 December, 2016;
originally announced December 2016.
-
Robust adaptive strategies for the guidance of users in road networks
Authors:
Farida Manseur,
Nadir Farhi,
Habib Haj-Salem,
Jean-Patrick Lebacque
Abstract:
We present an algorithm for optimal guidance of users in road networks. It is a "stochastic-on-time-arrival (SOTA)"-like algorithm which calculates optimal guidance strategies with reliable paths, for road network origin-destination pairs. Our contribution consists here in extending an existing SOTA algorithm, in order to include robustness of the guidance strategy, towards path failures. The idea…
▽ More
We present an algorithm for optimal guidance of users in road networks. It is a "stochastic-on-time-arrival (SOTA)"-like algorithm which calculates optimal guidance strategies with reliable paths, for road network origin-destination pairs. Our contribution consists here in extending an existing SOTA algorithm, in order to include robustness of the guidance strategy, towards path failures. The idea of SOTA algorithms is to calculate the maximum probability of reaching a destination node, starting from any node of a road network, and given a time budget. This calculus gives the optimal path for every origin-destination pair of nodes in the network, with an associated optimal adaptive guidance strategy. We propose here an extension of this approach in order to take into account the existence and the performance of alternative detours of the selected paths, in the calculus of the guidance strategy. We take into account the fact that one or many links of the selected optimal path may fail during the travel. We then consider that users may be sensitive to path changing. That is to say that they may prefer paths with efficient alternative detours, with respect to paths without, or with less efficient detours, even with a loss in the average travel time, and/or in its reliability. In order to take into account such behaviors, we propose a model that includes the existence as well as the performance of detours for selected paths, in the calculus of the travel time reliability. This new way of calculating travel time reliability guarantees a kind of robustness of the guidance strategies.
△ Less
Submitted 29 June, 2016;
originally announced June 2016.
-
Traffic Modeling and Real-time Control for Metro Lines
Authors:
Nadir Farhi,
Cyril Nguyen Van Phu,
Habib Haj-Salem,
Jean-Patrick Lebacque
Abstract:
We present in this article traffic flow and control models for the train dynamics in metro lines. The first model, written in the max-plus algebra, takes into account minimum running, dwell and safety time constraints, without any control of the train dwell times at platforms, and without consideration of the passenger travel demand. We show that the dynamics are stable and converge to stationary…
▽ More
We present in this article traffic flow and control models for the train dynamics in metro lines. The first model, written in the max-plus algebra, takes into account minimum running, dwell and safety time constraints, without any control of the train dwell times at platforms, and without consideration of the passenger travel demand. We show that the dynamics are stable and converge to stationary regimes with a unique asymptotic average growth rate. Moreover, the asymptotic average train time-headway, dwell time, as well as close-in time, are derived analytically, as functions of the number of running trains on the metro line. We then introduce, in a second model, the effect of the passenger demand on the train dwell times at platforms. We review that, if this effect is not well controlled, then the traffic is unstable. Finally, we propose a traffic control model which deals with this instability, by well controlling the effect of passenger arrivals on the train dwell times at platforms. We show that the dynamics are stable and converge to stationary regimes with a unique asymptotic average growth rate. We then calculate by numerical simulations the asymptotic average time-headway as a function of the number of running trains, compare the results with those of the max-plus algebra model, and derive the effect of the passenger travel demand on the frequency of the metro line, under the proposed control model.
△ Less
Submitted 8 January, 2018; v1 submitted 15 April, 2016;
originally announced April 2016.
-
A semi-decentralized control strategy for urban traffic
Authors:
Nadir Farhi,
Cyril Nguyen Van Phu,
Mouna Amir,
Habib Haj-Salem,
Jean-Patrick Lebacque
Abstract:
We present in this article a semi-decentralized approach for urban traffic control, based on the TUC (Traffic responsive Urban Control) strategy. We assume that the control is centralized as in the TUC strategy, but we introduce a contention time window inside the cycle time, where antagonistic stages alternate a priority rule. The priority rule is set by applying green colours for given stages an…
▽ More
We present in this article a semi-decentralized approach for urban traffic control, based on the TUC (Traffic responsive Urban Control) strategy. We assume that the control is centralized as in the TUC strategy, but we introduce a contention time window inside the cycle time, where antagonistic stages alternate a priority rule. The priority rule is set by applying green colours for given stages and yellow colours for antagonistic ones, in such a way that the stages with green colour have priority over the ones with yellow colour. The idea of introducing this time window is to reduce the red time inside the cycle, and by that, increase the capacity of the network junctions. In practice, the priority rule could be applied using vehicle-to-vehicle (v2v) or vehicle-to-infrastructure (v2i) communications. The vehicles having the priority pass almost normally through the junction, while the others reduce their speed and yield the way. We propose a model for the dynamics and the control of such a system. The model is still formulated as a linear quadratic problem, for which the feedback control law is calculated off-line, and applied in real time. The model is implemented using the Simulation of Urban MObility (SUMO) tool in a small regular (American-like) network configuration. The results are presented and compared to the classical TUC strategy.
△ Less
Submitted 5 August, 2015; v1 submitted 6 July, 2015;
originally announced July 2015.
-
Upper bounds for the travel time on traffic systems
Authors:
Nadir Farhi,
Habib Haj-Salem,
Jean-Patrick Lebacque
Abstract:
A key measure of performance and comfort in a road traffic network is the travel time that the users of the network experience to complete their journeys. Travel times on road traffic networks are stochastic, highly variable, and dependent on several parameters. It is, therefore, necessary to have good indicators and measures of their variations. In this article, we extend a recent approach for th…
▽ More
A key measure of performance and comfort in a road traffic network is the travel time that the users of the network experience to complete their journeys. Travel times on road traffic networks are stochastic, highly variable, and dependent on several parameters. It is, therefore, necessary to have good indicators and measures of their variations. In this article, we extend a recent approach for the derivation of deterministic bounds on the travel time in a road traffic network (Farhi, Haj-Salem and Lebacque 2013). The approach consists in using an algebraic formulation of the cell-transmission traffic model on a ring road, where the car-dynamics is seen as a linear min-plus system. The impulse response of the system is derived analytically, and is interpreted as what is called a service curve in the network calculus theory (where the road is seen as a server). The basic results of the latter theory are then used to derive an upper bound for the travel time through the ring road.
We consider in this article open systems rather than closed ones. We define a set of elementary traffic systems and an operator for the concatenation of such systems. We show that the traffic system of any road itinerary can be built by concatenating a number of elementary traffic systems. The concatenation of systems consists in giving a service guarantee of the resulting system in function of service guarantees of the composed systems. We illustrate this approach with a numerical example, where we compute an upper bound for the travel time on a given route in a urban network.
△ Less
Submitted 14 August, 2014;
originally announced August 2014.
-
An algebraic approach for modeling and simulation of road traffic networks
Authors:
Nadir Farhi,
Habib Haj-Salem,
Jean-Patrick Lebacque
Abstract:
We present in this article an algebraic approach to model and simulate road traffic networks. By defining a set of road traffic systems and adequate concatenating operators in that set, we show that large regular road networks can be easily modeled and simulated. We define elementary road traffic systems which we then connect to each other and obtain larger systems. For the traffic modeling, we ba…
▽ More
We present in this article an algebraic approach to model and simulate road traffic networks. By defining a set of road traffic systems and adequate concatenating operators in that set, we show that large regular road networks can be easily modeled and simulated. We define elementary road traffic systems which we then connect to each other and obtain larger systems. For the traffic modeling, we base on the LWR first order traffic model with piecewise-linear fundamental traffic diagrams. This choice permits to represent any traffic system with a number of matrices in specific algebraic structures. For the traffic control on intersections, we consider two cases: intersections controlled with a priority rule, and intersections controlled with traffic lights. Finally, we simulate the traffic on closed regular networks, and derive the macroscopic fundamental traffic diagram under the two cases of intersection control.
△ Less
Submitted 26 June, 2014;
originally announced June 2014.
-
The Traffic Phases of Road Networks
Authors:
Nadir Farhi,
Maurice Goursat,
Jean-Pierre Quadrat
Abstract:
We study the relation between the average traffic flow and the vehicle density on road networks that we call 2D-traffic fundamental diagram. We show that this diagram presents mainly four phases. We analyze different cases. First, the case of a junction managed with a priority rule is presented, four traffic phases are identified and described, and a good analytic approximation of the fundamental…
▽ More
We study the relation between the average traffic flow and the vehicle density on road networks that we call 2D-traffic fundamental diagram. We show that this diagram presents mainly four phases. We analyze different cases. First, the case of a junction managed with a priority rule is presented, four traffic phases are identified and described, and a good analytic approximation of the fundamental diagram is obtained by computing a generalized eigenvalue of the dynamics of the system. Then, the model is extended to the case of two junctions, and finally to a regular city. The system still presents mainly four phases. The role of a critical circuit of non-priority roads appears clearly in the two junctions case. In Section 4, we use traffic light controls to improve the traffic diagram. We present the improvements obtained by open-loop, local feedback, and global feedback strategies. A comparison based on the response times to reach the stationary regime is also given. Finally, we show the importance of the design of the junction. It appears that if the junction is enough large, the traffic is almost not slowed down by the junction.
△ Less
Submitted 1 February, 2013;
originally announced February 2013.
-
Multi-Anticipative Piecewise-Linear Car-Following Model
Authors:
Nadir Farhi,
Habib Haj-Salem,
Jean-Patrick Lebacque
Abstract:
We propose in this article an extension of the piecewise linear car-following model to multi-anticipative driving. As in the one-car-anticipative model, the stability and the stationary regimes are characterized thanks to a variational formulation of the car-dynamics. We study the homogeneous driving case. We show that in term of the stationary regime, the multi-anticipative model guarantees the s…
▽ More
We propose in this article an extension of the piecewise linear car-following model to multi-anticipative driving. As in the one-car-anticipative model, the stability and the stationary regimes are characterized thanks to a variational formulation of the car-dynamics. We study the homogeneous driving case. We show that in term of the stationary regime, the multi-anticipative model guarantees the same macroscopic behavior as for the one-car-anticipative one. Nevertheless, in the transient traffic, the variance in car-velocities and accelerations is mitigated by the multi-anticipative driving, and the car-trajectories are smoothed. A parameter identification of the model is made basing on NGSIM data and using a piecewise linear regression approach.
△ Less
Submitted 1 February, 2013;
originally announced February 2013.
-
The Logit lane assignment model: first results
Authors:
Nadir Farhi,
Habib Haj-Salem,
Megan Khoshyaran,
Jean-Patrick Lebacque,
Francesco Salvarani,
Bernard Schnetzler,
Florian de Vuyst
Abstract:
The Logit lane assignment model has been introduced recently in order to describe multi-lane traffic flow from a macroscopic point of view. The model is based on the idea that each available lane has a specific utility for each driver, who chooses the lane with the highest utility. The model is expressed by a system of conservation laws with a smooth but implicitly defined flux function. The first…
▽ More
The Logit lane assignment model has been introduced recently in order to describe multi-lane traffic flow from a macroscopic point of view. The model is based on the idea that each available lane has a specific utility for each driver, who chooses the lane with the highest utility. The model is expressed by a system of conservation laws with a smooth but implicitly defined flux function. The first aim of the paper is to explore on two data-sets how traffic data supports the fact that traffic speed constitutes an explanatory variable of lane assignment. Second the paper addresses the problem of discretization of the model. Several numerical schemes are proposed: Lax-Friedrichs, Euler-lagrange remap, Lagrange, and their convergence properties are illustrated on the treatment of the Riemann problem. Directions for future research are outlined.
△ Less
Submitted 1 February, 2013;
originally announced February 2013.
-
Algebraic Approach for Performance Bound Calculus on Transportation Networks (Road Network Calculus)
Authors:
Nadir Farhi,
Habib Haj-Salem,
Jean-Patrick Lebacque
Abstract:
We propose in this article an adaptation of the basic techniques of the deterministic network calculus theory to the road traffic flow theory. Network calculus is a theory based on min-plus algebra. It uses algebraic techniques to compute performance bounds in communication networks, such as maximum end-to-end delays and backlogs. The objective of this article is to investigate the application of…
▽ More
We propose in this article an adaptation of the basic techniques of the deterministic network calculus theory to the road traffic flow theory. Network calculus is a theory based on min-plus algebra. It uses algebraic techniques to compute performance bounds in communication networks, such as maximum end-to-end delays and backlogs. The objective of this article is to investigate the application of such techniques for determining performance bounds on road networks, such as maximum bounds on travel times. The main difficulty to apply the network calculus theory on road networks is the modeling of interaction of cars inside one road, or more precisely the congestion phase. We propose a traffic model for a single-lane road without passing, which is compatible with the network calculus theory. The model permits to derive a maximum bound of the travel time of cars through the road. Then, basing on that model, we explain how to extend the approach to model intersections and large-scale networks.
△ Less
Submitted 1 February, 2013;
originally announced February 2013.
-
Piecewise linear car-following modeling
Authors:
Nadir Farhi
Abstract:
We present a traffic model that extends the linear car-following model as well as the min-plus traffic model (a model based on the min-plus algebra). A discrete-time car-dynamics describing the traffic on a 1-lane road without passing is interpreted as a dynamic programming equation of a stochastic optimal control problem of a Markov chain. This variational formulation permits to characterize the…
▽ More
We present a traffic model that extends the linear car-following model as well as the min-plus traffic model (a model based on the min-plus algebra). A discrete-time car-dynamics describing the traffic on a 1-lane road without passing is interpreted as a dynamic programming equation of a stochastic optimal control problem of a Markov chain. This variational formulation permits to characterize the stability of the car-dynamics and to calculte the stationary regimes when they exist. The model is based on a piecewise linear approximation of the fundamental traffic diagram.
△ Less
Submitted 18 August, 2011; v1 submitted 29 July, 2011;
originally announced July 2011.
-
Performance bounds in wormhole routing, a network calculus approach
Authors:
Nadir Farhi,
Bruno Gaujal
Abstract:
We present a model of performance bound calculus on feedforward networks where data packets are routed under wormhole routing discipline. We are interested in determining maximum end-to-end delays and backlogs of messages or packets going from a source node to a destination node, through a given virtual path in the network. Our objective here is to give a network calculus approach for calculating…
▽ More
We present a model of performance bound calculus on feedforward networks where data packets are routed under wormhole routing discipline. We are interested in determining maximum end-to-end delays and backlogs of messages or packets going from a source node to a destination node, through a given virtual path in the network. Our objective here is to give a network calculus approach for calculating the performance bounds. First we propose a new concept of curves that we call packet curves. The curves permit to model constraints on packet lengths of a given data flow, when the lengths are allowed to be different. Second, we use this new concept to propose an approach for calculating residual services for data flows served under non preemptive service disciplines. Third, we model a binary switch (with two input ports and two output ports), where data is served under wormhole discipline. We present our approach for computing the residual services and deduce the worst case bounds for flows passing through a wormhole binary switch. Finally, we illustrate this approach in numerical examples, and show how to extend it to feedforward networks.
△ Less
Submitted 3 August, 2010; v1 submitted 27 July, 2010;
originally announced July 2010.
-
Fundamental Diagrams of 1D-Traffic Flow by Optimal Control Models
Authors:
Nadir Farhi
Abstract:
Traffic on a circular road is described by dynamic programming equations associated to optimal control problems. By solving the equations analytically, we derive the relation between the average car density and the average car flow, known as the fundamental diagram of traffic. First, we present a model based on min-plus algebra, then we extend it to a stochastic dynamic programming model, then t…
▽ More
Traffic on a circular road is described by dynamic programming equations associated to optimal control problems. By solving the equations analytically, we derive the relation between the average car density and the average car flow, known as the fundamental diagram of traffic. First, we present a model based on min-plus algebra, then we extend it to a stochastic dynamic programming model, then to a stochastic game model. The average car flow is derived as the average cost per time unit of optimal control problems, obtained in terms of the average car density. The models presented in this article can also be seen as developed versions of the car-following model. The derivations proposed here can be used to approximate, understand and interprete fundamental diagrams derived from real measurements.
△ Less
Submitted 10 February, 2010;
originally announced February 2010.
-
About Dynamical Systems Appearing in the Microscopic Traffic Modeling
Authors:
Nadir Farhi,
Maurice Goursat,
Jean-Pierre Quadrat
Abstract:
Motivated by microscopic traffic modeling, we analyze dynamical systems which have a piecewise linear concave dynamics not necessarily monotonic. We introduce a deterministic Petri net extension where edges may have negative weights. The dynamics of these Petri nets are well-defined and may be described by a generalized matrix with a submatrix in the standard algebra with possibly negative entri…
▽ More
Motivated by microscopic traffic modeling, we analyze dynamical systems which have a piecewise linear concave dynamics not necessarily monotonic. We introduce a deterministic Petri net extension where edges may have negative weights. The dynamics of these Petri nets are well-defined and may be described by a generalized matrix with a submatrix in the standard algebra with possibly negative entries, and another submatrix in the minplus algebra. When the dynamics is additively homogeneous, a generalized additive eigenvalue may be introduced, and the ergodic theory may be used to define a growth rate under additional technical assumptions. In the traffic example of two roads with one junction, we compute explicitly the eigenvalue and we show, by numerical simulations, that these two quantities (the additive eigenvalue and the growth rate) are not equal, but are close to each other. With this result, we are able to extend the well-studied notion of fundamental traffic diagram (the average flow as a function of the car density on a road) to the case of two roads with one junction and give a very simple analytic approximation of this diagram where four phases appear with clear traffic interpretations. Simulations show that the fundamental diagram shape obtained is also valid for systems with many junctions. To simulate these systems, we have to compute their dynamics, which are not quite simple. For building them in a modular way, we introduce generalized parallel, series and feedback compositions of piecewise linear concave dynamics.
△ Less
Submitted 26 January, 2010; v1 submitted 24 November, 2009;
originally announced November 2009.
-
Solving the additive eigenvalue problem associated to a dynamics of a 2D-traffic system
Authors:
Nadir Farhi
Abstract:
This is a technical note where we solve the additive eigenvalue problem associated to a dynamics of a 2D-traffic system. The traffic modeling is not explained here. It is available in \cite{Far08}. It consists of a microscopic road traffic model of two circular roads crossing on one junction managed with the priority-to-the-right rule. It is based on Petri nets and minplus algebra. One of our ob…
▽ More
This is a technical note where we solve the additive eigenvalue problem associated to a dynamics of a 2D-traffic system. The traffic modeling is not explained here. It is available in \cite{Far08}. It consists of a microscopic road traffic model of two circular roads crossing on one junction managed with the priority-to-the-right rule. It is based on Petri nets and minplus algebra. One of our objectives in \cite{Far08} was to derive the fundamental diagram of 2D-traffic, which is the relation between the density and the flow of vehicles. The dynamics of this system, derived from a Petri net design, is non monotone and additively homogeneous of degree 1. In this note, we solve the additive eigenvalue problem associated to this dynamics.
△ Less
Submitted 25 August, 2009; v1 submitted 3 April, 2009;
originally announced April 2009.