SlideShare a Scribd company logo
1 of 84
Download to read offline
Traffic Flow Modeling on Road Networks
Using Hamilton-Jacobi Equations
Guillaume Costeseque
Inria Sophia-Antipolis M´editerran´ee
ITS seminar, UC Berkeley
October 09, 2015
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 1 / 79
Motivation
Traffic flows on a network
[Caltrans, Oct. 7, 2015]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 2 / 79
Motivation
Traffic flows on a network
[Caltrans, Oct. 7, 2015]
Road network ≡ graph made of edges and vertices
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 2 / 79
Motivation
Breakthrough in traffic monitoring
Traffic monitoring
“old”: loop detectors at fixed locations (Eulerian)
“new”: GPS devices moving within the traffic (Lagrangian)
Data assimilation of Floating Car Data
[Mobile Millenium, 2008]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 3 / 79
Motivation
Outline
1 Introduction to traffic
2 Micro to macro in traffic models
3 Variational principle applied to GSOM models
4 HJ equations on a junction
5 Conclusions and perspectives
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 4 / 79
Introduction to traffic
Outline
1 Introduction to traffic
2 Micro to macro in traffic models
3 Variational principle applied to GSOM models
4 HJ equations on a junction
5 Conclusions and perspectives
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 5 / 79
Introduction to traffic Macroscopic models
Convention for vehicle labeling
N
x
t
Flow
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 6 / 79
Introduction to traffic Macroscopic models
Three representations of traffic flow
Moskowitz’ surface
Flow
x
t
N
x
See also [Makigami et al, 1971], [Laval and Leclercq, 2013]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 7 / 79
Introduction to traffic Macroscopic models
Notations: macroscopic
N(t, x) vehicle label at (t, x)
the flow Q(t, x) = lim
∆t→0
N(t + ∆t, x) − N(t, x)
∆t
,
x
N(x, t ± ∆t)
the density ρ(t, x) = lim
∆x→0
N(t, x) − N(t, x + ∆x)
∆x
,
x
∆x
N(x ± ∆x, t)
the stream speed (mean spatial speed) V (t, x).
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 8 / 79
Introduction to traffic Macroscopic models
Macroscopic models
Hydrodynamics analogy
Two main categories: first and second order models
Two common equations:



∂tρ(t, x) + ∂x Q(t, x) = 0 conservation equation
Q(t, x) = ρ(t, x)V (t, x) definition of flow speed
(1)
x x + ∆x
ρ(x, t)∆x
Q(x, t)∆t Q(x + ∆x, t)∆t
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 9 / 79
Introduction to traffic Focus on LWR model
First order: the LWR model
LWR model [Lighthill and Whitham, 1955], [Richards, 1956]
Scalar one dimensional conservation law
∂tρ(t, x) + ∂x F (ρ(t, x)) = 0 (2)
with
F : ρ(t, x) → Q(t, x) =: Fx (ρ(t, x))
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 10 / 79
Introduction to traffic Focus on LWR model
Overview: conservation laws (CL) / Hamilton-Jacobi (HJ)
Eulerian Lagrangian
t − x t − n
CL
Variable Density ρ Spacing r
Equation ∂tρ + ∂x F(ρ) = 0 ∂tr + ∂nV (r) = 0
HJ
Variable Label N Position X
N(t, x) =
+∞
x
ρ(t, ξ)dξ X(t, n) =
+∞
n
r(t, η)dη
Equation ∂tN + H (∂x N) = 0 ∂tX + V (∂nX) = 0
Hamiltonian H(p) = −F(−p) V(p) = −V (−p)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 11 / 79
Introduction to traffic Focus on LWR model
Fundamental diagram (FD)
Flow-density fundamental diagram F
Empirical function with
ρmax the maximal or jam density,
ρc the critical density
Flux is increasing for ρ ≤ ρc: free-flow phase
Flux is decreasing for ρ ≥ ρc: congestion phase
ρmax
Density, ρ
ρmax
Density, ρ
0
Flow, F
0
Flow, F
0 ρmax
Flow, F
Density, ρ
[Garavello and Piccoli, 2006]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 12 / 79
Introduction to traffic Second order models
Motivation for higher order models
Experimental evidences
fundamental diagram: multi-valued in congested case
[S. Fan, U. Illinois], NGSIM dataset
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 13 / 79
Introduction to traffic Second order models
Motivation for higher order models
Experimental evidences
fundamental diagram: multi-valued in congested case
phenomena not accounted for: bounded acceleration, capacity drop...
Need for models able to integrate measurements of different traffic
quantities (acceleration, fuel consumption, noise)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 14 / 79
Introduction to traffic Second order models
GSOM family [Lebacque, Mammar, Haj-Salem 2007]
Generic Second Order Models (GSOM) family



∂tρ + ∂x (ρv) = 0 Conservation of vehicles,
∂t(ρI) + ∂x (ρvI) = ρϕ(I) Dynamics of the driver attribute I,
v = I(ρ, I) Fundamental diagram,
(3)
Specific driver attribute I
the driver aggressiveness,
the driver origin/destination or path,
the vehicle class,
...
Flow-density fundamental diagram
F : (ρ, I) → ρI(ρ, I).
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 15 / 79
Introduction to traffic Second order models
GSOM family [Lebacque, Mammar, Haj-Salem 2007]
Generic Second Order Models (GSOM) family



∂tρ + ∂x (ρv) = 0 Conservation of vehicles,
∂tI + v∂x I = ϕ(I) Dynamics of the driver attribute I,
v = I(ρ, I) Fundamental diagram,
(3)
Specific driver attribute I
the driver aggressiveness,
the driver origin/destination or path,
the vehicle class,
...
Flow-density fundamental diagram
F : (ρ, I) → ρI(ρ, I).
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 15 / 79
Introduction to traffic Second order models
GSOM family [Lebacque, Mammar, Haj-Salem 2007]
Generic Second Order Models (GSOM) family



∂tρ + ∂x (ρv) = 0 Conservation of vehicles,
∂tI + v∂x I = 0 Dynamics of the driver attribute I,
v = I(ρ, I) Fundamental diagram,
(3)
Specific driver attribute I
the driver aggressiveness,
the driver origin/destination or path,
the vehicle class,
...
Flow-density fundamental diagram
F : (ρ, I) → ρI(ρ, I).
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 15 / 79
Micro to macro in traffic models
Outline
1 Introduction to traffic
2 Micro to macro in traffic models
3 Variational principle applied to GSOM models
4 HJ equations on a junction
5 Conclusions and perspectives
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 16 / 79
Micro to macro in traffic models Homogenization
Setting
Speed
Time
(i − 1)Space
x
Spacing
Headway
t
(i)
t → xi (t) trajectory of vehicle i
i = discrete position index (i ∈ Z)
n = continuous (Lagrangian) variable
n = iε and t = εs
ε > 0 a scale factor
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 17 / 79
Micro to macro in traffic models Homogenization
Setting
Speed
Time
(i − 1)Space
x
Spacing
Headway
t
(i)
t → xi (t) trajectory of vehicle i
i = discrete position index (i ∈ Z)
n = continuous (Lagrangian) variable
n = iε and t = εs
ε > 0 a scale factor
Proposition (Rescaled positions)
Define
xi (s) =
1
ε
Xε
(εs, iε) ⇐⇒ Xε
(t, n) = εx⌊n
ε
⌋
t
ε
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 17 / 79
Micro to macro in traffic models Homogenization
General result
Let consider
the simplest microscopic model;
˙xi (t) = F (xi−1(t) − xi (t)) (4)
the LWR macroscopic model (HJ equation in Lagrangian):
∂tX0
= F(−∂nX0
) (5)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 18 / 79
Micro to macro in traffic models Homogenization
General result
Let consider
the simplest microscopic model;
˙xi (t) = F (xi−1(t) − xi (t)) (4)
the LWR macroscopic model (HJ equation in Lagrangian):
∂tX0
= F(−∂nX0
) (5)
Theorem ((Monneau) Convergence to the viscosity solution)
If Xε(t, n) := εx⌊n
ε
⌋
t
ε
with (xi )i∈Z solution of (4) and X0 the unique
solution of HJ (5), then under suitable assumptions,
|Xε
− X0
|L∞(K) −→
ε→0
0, ∀K compact set.
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 18 / 79
Micro to macro in traffic models Multi-anticipative traffic
Toy model
Vehicles consider m ≥ 1 leaders
First order multi-anticipative model
˙xi (t + τ) = max

0, Vmax −
m
j=1
f (xi−j(t) − xi (t))

 (6)
f speed-spacing function
non-negative
non-increasing
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 19 / 79
Micro to macro in traffic models Multi-anticipative traffic
Homogenization
Proposition ((Monneau) Convergence)
Assume m ≥ 1 fixed.
If τ is small enough, if Xε(t, n) := εx⌊n
ε
⌋
t
ε
with (xi )i∈Z solution of (6)
and if X0(n, t) solves
∂tX0
= F −∂nX0
, m (7)
with
F(r, m) = max

0, Vmax −
m
j=1
f (jr)

 ,
then under suitable assumptions,
|Xε
− X0
|L∞(K) −→
ε→0
0, ∀K compact set.
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 20 / 79
Micro to macro in traffic models Multi-anticipative traffic
Multi-anticipatory macroscopic model
χj the fraction of j-anticipatory vehicles
traffic flow ≡ mixture of traffic of j-anticipatory vehicles
χ = (χj )j=1,...,m , with 0 ≤ χj ≤ 1 and
m
j=1
χj = 1
GSOM model with driver attribute I = χ



∂tρ + ∂x (ρv) = 0,
∂t(ρχ) + ∂x (ρχv) = 0,
v :=
m
j=1
χj F(1/ρ, j) = W (1/ρ, χ).
(8)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 21 / 79
Micro to macro in traffic models Numerical schemes
Numerical resolution
Godunov scheme in Eulerian t − x
with (∆t, ∆xk) steps ⇒ CFL condition
Variational formulation and dynamic programming techniques [2]
Particle methods in the Lagrangian framework t − n



xt+1
n = xt
n + ∆tW
xt
n−1 − xt
n
∆n
, χt
n
χt+1
n = χt
n
(9)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 22 / 79
Micro to macro in traffic models Numerical schemes
Numerical example
0 5 10 15 20 25 30 35 40
0
5
10
15
20
25
Spacing r (m)
Speed−spacing diagrams
Speedv(m/s)
1
2
3
4
5
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 23 / 79
Micro to macro in traffic models Numerical schemes
Numerical example: (χj)j
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 24 / 79
Micro to macro in traffic models Numerical schemes
Numerical example: Lagrangian trajectories
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 25 / 79
Micro to macro in traffic models Numerical schemes
Numerical example: Eulerian trajectories
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 26 / 79
Variational principle applied to GSOM models
Outline
1 Introduction to traffic
2 Micro to macro in traffic models
3 Variational principle applied to GSOM models
4 HJ equations on a junction
5 Conclusions and perspectives
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 27 / 79
Variational principle applied to GSOM models LWR model
LWR in Eulerian (t, x)
Cumulative vehicles count (CVC) or Moskowitz surface N(t, x)
Q = ∂tN and ρ = −∂x N
If density ρ satisfies the scalar (LWR) conservation law
∂tρ + ∂x F(ρ) = 0
Then N satisfies the first order Hamilton-Jacobi equation
∂tN − F(−∂x N) = 0 (10)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 28 / 79
Variational principle applied to GSOM models LWR model
LWR in Eulerian (t, x)
Legendre-Fenchel transform with F concave (relative capacity)
M(q) = sup
ρ
[F(ρ) − ρq]
M(q)
u
w
Density ρ
q
q
Flow F
w u
q
Transform M
−wρmax
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 29 / 79
Variational principle applied to GSOM models LWR model
LWR in Eulerian (t, x)
(continued)
Lax-Hopf formula (representation formula) [Daganzo, 2006]
N(T, xT ) = min
u(.),(t0,x0)
T
t0
M(u(τ))dτ + N(t0, x0),
˙X = u
u ∈ U
X(t0) = x0, X(T) = xT
(t0, x0) ∈ J
(11) Time
Space
J
(T, xT )˙X(τ)
(t0, x0)
Viability theory [Claudel and Bayen, 2010]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 30 / 79
Variational principle applied to GSOM models LWR model
LWR in Eulerian (t, x)
(Historical note)
Dynamic programming [Daganzo, 2006] for triangular FD
(u and w free and congested speeds)
Flow, F
w
u
0 ρmax
Density, ρ
u
x
w
t
Time
Space
(t, x)
Minimum principle [Newell, 1993]
N(t, x) = min N t −
x − xu
u
, xu ,
N t −
x − xw
w
, xw + ρmax(xw − x) ,
(12)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 31 / 79
Variational principle applied to GSOM models LWR model
LWR in Lagrangian (n, t)
Consider X(t, n) the location of vehicle n at time t ≥ 0
v = ∂tX and r = −∂nX
If the spacing r := 1/ρ satisfies the LWR model (Lagrangian coord.)
∂tr + ∂nV(r) = 0
Then X satisfies the first order Hamilton-Jacobi equation
∂tX − V(−∂nX) = 0. (13)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 32 / 79
Variational principle applied to GSOM models LWR model
LWR in Lagrangian (n, t)
(continued)
Dynamic programming for triangular FD
1/ρcrit
Speed, V
u
−wρmax
Spacing, r
1/ρmax
−wρmax
n
t
(t, n)
Time
Label
Minimum principle ⇒ car following model [Newell, 2002]
X(t, n) = min X(t0, n) + u(t − t0),
X(t0, n + wρmax (t − t0)) + w(t − t0) .
(14)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 33 / 79
Variational principle applied to GSOM models GSOM family
GSOM in Lagrangian (n, t)
From [Lebacque and Khoshyaran, 2013], GSOM in Lagrangian



∂tr + ∂N v = 0 Conservation of vehicles,
∂tI = 0 Dynamics of I,
v = W(N, r, t) := V(r, I(N, t)) Fundamental diagram.
(15)
Position X(N, t) :=
t
−∞
v(N, τ)dτ satisfies the HJ equation
∂tX − W(N, −∂N X, t) = 0, (16)
And I(N, t) solves the ODE
∂tI(N, t) = 0,
I(N, 0) = i0(N), for any N.
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 34 / 79
Variational principle applied to GSOM models GSOM family
GSOM in Lagrangian (n, t)
(continued)
Legendre-Fenchel transform of W according to r
M(N, c, t) = sup
r∈R
{W(N, r, t) − cr}
M(N, p, t)
pq
W(N, q, t)
W(N, r, t)
q r
p
p
u
c
Transform M
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 35 / 79
Variational principle applied to GSOM models GSOM family
GSOM in Lagrangian (n, t)
(continued)
Lax-Hopf formula
X(NT , T) = min
u(.),(N0,t0)
T
t0
M(N, u, t)dt + c(N0, t0),
˙N = u
u ∈ U
N(t0) = N0, N(T) = NT
(N0, t0) ∈ K
(17)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 36 / 79
Variational principle applied to GSOM models GSOM family
GSOM in Lagrangian (n, t)
(continued)
Optimal trajectories = characteristics
˙N = ∂r W(N, r, t),
˙r = −∂N W(N, r, t),
(18)
System of ODEs to solve
Difficulty: not straight lines in the general case
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 37 / 79
Variational principle applied to GSOM models Methodology
General ideas
First key element: Lax-Hopf formula
Computations only for the characteristics
X(NT , T) = min
(N0,r0,t0)
T
t0
M(N, ∂r W(N, r, t), t)dt + c(N0, r0, t0),
˙N(t) = ∂r W(N, r, t)
˙r(t) = −∂N W(N, r, t)
N(t0) = N0, r(t0) = r0, N(T) = NT
(N0, r0, t0) ∈ K
(19)
K := Dom(c) is the set of initial/boundary values
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 38 / 79
Variational principle applied to GSOM models Methodology
General ideas
(continued)
Second key element: inf-morphism prop. [Aubin et al, 2011]
Consider a union of sets (initial and boundary conditions)
K =
l
Kl ,
then the global minimum is
X(NT , T) = min
l
Xl (NT , T), (20)
with Xl partial solution to sub-problem Kl .
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 39 / 79
Variational principle applied to GSOM models Numerical example
Fundamental Diagram and Driver Attribute
0 20 40 60 80 100 120 140 160 180 200
0
500
1000
1500
2000
2500
3000
3500
Density ρ (veh/km)
FlowF(veh/h)
Fundamental diagram F(ρ,I)
0 5 10 15 20 25 30 35 40 45 50
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
Label N
Initial conditions I(N,t
0
)
DriverattributeI
0
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 40 / 79
Variational principle applied to GSOM models Numerical example
Initial and Boundaries Conditions
0 5 10 15 20 25 30 35 40 45 50
5
10
15
20
25
30
35
40
45
50
Label N
Initial conditions r(N,t
0
)
Spacingr0
(m)
0 5 10 15 20 25 30 35 40 45 50
−1400
−1200
−1000
−800
−600
−400
−200
0
Label N
PositionX(m)
Initial positions X(N,t
0
)
0 20 40 60 80 100 120
12
14
16
18
20
22
24
26
28
30
Time t (s)
Spacing r(N
0
,t)
Spacingr
0
(m.s
−1
)
0 20 40 60 80 100 120
0
500
1000
1500
2000
2500
Time t (s)
PositionX0
(m)
Position X(N
0
,t)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 41 / 79
Variational principle applied to GSOM models Numerical example
Numerical result (Initial cond. + first traj.)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 42 / 79
Variational principle applied to GSOM models Numerical example
Numerical result (Initial cond. + first traj.)
0 20 40 60 80 100 120
−1500
−1000
−500
0
500
1000
1500
2000
2500
Location(m)
Time (s)
Vehicles trajectories
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 43 / 79
Variational principle applied to GSOM models Numerical example
Numerical result (Initial cond.+ 3 traj.)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 44 / 79
Variational principle applied to GSOM models Numerical example
Numerical result (Initial cond. + 3 traj.)
0 20 40 60 80 100 120
−1500
−1000
−500
0
500
1000
1500
2000
2500
Location(m)
Time (s)
Vehicles trajectories
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 45 / 79
Variational principle applied to GSOM models Numerical example
Numerical result (Initial cond. + 3 traj. + Eulerian data)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 46 / 79
HJ equations on a junction
Outline
1 Introduction to traffic
2 Micro to macro in traffic models
3 Variational principle applied to GSOM models
4 HJ equations on a junction
5 Conclusions and perspectives
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 47 / 79
HJ equations on a junction
Motivation
Classical approaches:
Macroscopic modeling on (homogeneous) sections
Coupling conditions at (pointwise) junction
For instance, consider



∂tρ + ∂x Q(ρ) = 0, scalar conservation law,
ρ(., t = 0) = ρ0(.), initial conditions,
ψ(ρ(x = 0−
, t)
upstream
, ρ(x = 0+
, t)
downstream
) = 0, coupling condition.
(21)
See Garavello, Piccoli [3], Lebacque, Khoshyaran [6] and Bressan et al. [1]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 48 / 79
HJ equations on a junction HJ junction model
Star-shaped junction
JN
J1
J2
branch Jα
x
x
0
x
x
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 49 / 79
HJ equations on a junction HJ junction model
Junction model
Proposition (Junction model [IMZ, ’13])
That leads to the following junction model (see [5])



∂tuα + Hα (∂x uα) = 0, x > 0, α = 1, . . . , N
uα = uβ =: u, x = 0,
∂tu + H ∂x u1, . . . , ∂x uN = 0, x = 0
(22)
with initial condition uα(0, x) = uα
0 (x) and
H ∂x u1
, . . . , ∂x uN
= max
α=1,...,N
H−
α (∂x uα
)
from optimal control
.
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 50 / 79
HJ equations on a junction HJ junction model
Basic assumptions
For all α = 1, . . . , N,
(A0) The initial condition uα
0 is Lipschitz continuous.
(A1) The Hamiltonians Hα are C1(R) and convex such that:
p
H−
α (p) H+
α (p)
pα
0
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 51 / 79
HJ equations on a junction Numerical scheme
Presentation of the scheme
Proposition (Numerical Scheme)
Let us consider the discrete space and time derivatives:
pα,n
i :=
Uα,n
i+1 − Uα,n
i
∆x
and (DtU)α,n
i :=
Uα,n+1
i − Uα,n
i
∆t
Then we have the following numerical scheme:



(DtU)α,n
i + max{H+
α (pα,n
i−1), H−
α (pα,n
i )} = 0, i ≥ 1
Un
0 := Uα,n
0 , i = 0, α = 1, ..., N
(DtU)n
0 + max
α=1,...,N
H−
α (pα,n
0 ) = 0, i = 0
(23)
With the initial condition Uα,0
i := uα
0 (i∆x).
∆x and ∆t = space and time steps satisfying a CFL condition
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 52 / 79
HJ equations on a junction Mathematical results
Stronger CFL condition
−m0
pα
p
Hα(p)
pα
As for any α = 1, . . . , N, we have
(gradient estimates)
pα
≤ pα,n
i ≤ pα for all i, n ≥ 0
Then the CFL condition becomes:
∆x
∆t
≥ sup
α=1,...,N
pα∈[pα
,pα]
|H′
α(pα)| (24)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 53 / 79
HJ equations on a junction Mathematical results
Existence and uniqueness
Theorem (Existence and uniqueness [IMZ, ’13])
Under (A0)-(A1), there exists a unique viscosity solution u of (22) on the
junction, satisfying for some constant CT > 0
|u(t, y) − u0(y)| ≤ CT for all (t, y) ∈ JT .
Moreover the function u is Lipschitz continuous with respect to (t, y).
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 54 / 79
HJ equations on a junction Mathematical results
Convergence
Theorem (Convergence from discrete to continuous [CML, ’13])
Assume that (A0)-(A1) and the CFL condition (24) are satisfied. Then the
numerical solution converges uniformly to u the unique viscosity solution
of the junction model (22) when ε := (∆t, ∆x) → 0
lim sup
ε→0
sup
(n∆t,i∆x)∈K
|uα
(n∆t, i∆x) − Uα,n
i | = 0
Proof
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 55 / 79
HJ equations on a junction Traffic interpretation
Setting
J1
JNI
JNI +1
JNI +NO
x < 0 x = 0 x > 0
Jβ
γβ Jλ
γλ
NI incoming and NO outgoing roads
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 56 / 79
HJ equations on a junction Traffic interpretation
Links with “classical” approach
Definition (Discrete car density)
The discrete vehicle density ρα,n
i with n ≥ 0 and i ∈ Z is given by:
ρα,n
i :=



γαpα,n
|i|−1 for α = 1, ..., NI , i ≤ −1
−γαpα,n
i for α = NI + 1, ..., NI + NO, i ≥ 0
(25)
J1
JNI
JNI +1
JNI +NO
x < 0 x > 0
−2
−1
2
1
0
−2
−2
−1
−1
1
1
2
2
Jβ
Jλ
ρλ,n
1
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 57 / 79
HJ equations on a junction Traffic interpretation
Traffic interpretation
Proposition (Scheme for vehicles densities)
The scheme deduced from (23) for the discrete densities is given by:
∆x
∆t
{ρα,n+1
i − ρα,n
i } =



Fα(ρα,n
i−1, ρα,n
i ) − Fα(ρα,n
i , ρα,n
i+1) for i = 0, −1
Fα
0 (ρ·,n
0 ) − Fα(ρα,n
i , ρα,n
i+1) for i = 0
Fα(ρα,n
i−1, ρα,n
i ) − Fα
0 (ρ·,n
0 ) for i = −1
With



Fα(ρα,n
i−1, ρα,n
i ) := min Qα
D(ρα,n
i−1), Qα
S (ρα,n
i )
Fα
0 (ρ·,n
0 ) := γα min min
β≤NI
1
γβ
Qβ
D(ρβ,n
0 ), min
λ>NI
1
γλ
Qλ
S (ρλ,n
0 )
incoming outgoing
ρλ,n
0ρβ,n
−1ρβ,n
−2 ρλ,n
1
x
x = 0
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 58 / 79
HJ equations on a junction Traffic interpretation
Supply and demand functions
Remark
It recovers the seminal Godunov scheme with passing flow = minimum
between upstream demand QD and downstream supply QS.
Density ρ
ρcrit ρmax
Supply QS
Qmax
Density ρ
ρcrit ρmax
Flow Q
Qmax
Density ρ
ρcrit
Demand QD
Qmax
From [Lebacque ’93, ’96] and [Daganzo ’95]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 59 / 79
HJ equations on a junction Numerical simulation
Example of a Diverge
An off-ramp:
J1
ρ1
J2
ρ2
ρ3
J3
with 


γe = 1,
γl = 0.75,
γr = 0.25
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 60 / 79
HJ equations on a junction Numerical simulation
Fundamental Diagrams
0 50 100 150 200 250 300 350
0
500
1000
1500
2000
2500
3000
3500
4000
(ρ
c
,f
max
)
(ρ
c
,f
max
)
Density (veh/km)
Flow(veh/h)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 61 / 79
HJ equations on a junction Numerical simulation
Initial conditions (t=0s)
−200 −150 −100 −50 0
0
10
20
30
40
50
60
70
Road n° 1 (t= 0s)
Position (m)
Density(veh/km)
0 50 100 150 200
0
10
20
30
40
50
60
70
Road n° 2 (t= 0s)
Position (m)
Density(veh/km)
0 50 100 150 200
0
10
20
30
40
50
60
70
Road n° 3 (t= 0s)
Position (m)
Density(veh/km)
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 62 / 79
HJ equations on a junction Numerical simulation
Numerical solution: densities
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 63 / 79
HJ equations on a junction Numerical simulation
Numerical solution: Hamilton-Jacobi
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 64 / 79
HJ equations on a junction Numerical simulation
Trajectories
1
2
3
4
56
7
78
8
9
9
10
10
11
11
12
12
13
13
Trajectories on road n° 1
Position (m)
Time(s)
−200 −150 −100 −50 0
0
5
10
15
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
12
Trajectories on road n° 2
Position (m)
Time(s)
0 50 100 150 200
0
5
10
15
0
0
1
1
2
2
3
3
4
4
5
56
6
7
7
8
8
9
10
11
12
Trajectories on road n° 3
Position (m)
Time(s)
0 50 100 150 200
0
5
10
15
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 65 / 79
HJ equations on a junction Recent developments
New junction model
Proposition (Junction model [IM, ’14])
From [4], we have



∂tuα + Hα (∂x uα) = 0, x > 0, α = 1, . . . , N
uα = uβ =: u, x = 0,
∂tu + H ∂x u1, . . . , ∂x uN = 0, x = 0
(26)
with initial condition uα(0, x) = uα
0 (x) and
H ∂x u1
, . . . , ∂x uN
= max
flux limiter
L , max
α=1,...,N
H−
α (∂x uα
)
minimum between
demand and supply
.
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 66 / 79
HJ equations on a junction Recent developments
Weaker assumptions on the Hamiltonians
For all α = 1, . . . , N,
(A0) The initial condition uα
0 is Lipschitz continuous.
(A1) The Hamiltonians Hα are continuous and quasi-convex i.e.
there exists points pα
0 such that



Hα is non-increasing on (−∞, pα
0 ],
Hα is non-decreasing on [pα
0 , +∞).
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 67 / 79
HJ equations on a junction Recent developments
Homogenization on a network
Proposition (Homogenization on a periodic network [IM’14])
Assume (A0)-(A1). Consider a periodic network.
If uε ∈ Rd satisfies HJ equation on network,
then uε converges uniformly towards u0 when ε → 0,
with u0 ∈ Rd solution of
∂tu0
+ H Du0
= 0, t > 0, x ∈ Rd
(27)
See [Imbert, Monneau ’14] [4]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 68 / 79
HJ equations on a junction Recent developments
Numerical homogenization on a network
Numerical scheme adapted to the cell problem (d = 2)
Traffic
Traffic eH
γH
eV
γH
γV
γV
i = 0
i =
N
2
i = −
N
2
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 69 / 79
HJ equations on a junction Recent developments
First example
Proposition (Effective Hamiltonian for fixed coefficients [IM’14])
If (γH , γV ) are fixed, then the
(Hamiltonian) effective Hamiltonian H is given by
H (∂x uH , ∂x uV ) = max L, max
i={H,V }
H (∂x ui ) ,
(traffic flow) effective flow Q is given by
F(ρH , ρV ) = min −L,
F(ρH)
γH
,
F(ρV )
γV
.
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 70 / 79
HJ equations on a junction Recent developments
First example
Numerics: assume F(ρ) = 4ρ(1 − ρ) and L = −1.5,
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 71 / 79
HJ equations on a junction Recent developments
Second example
Two consecutive traffic signals on a 1D road
flow
l LL
x1 x2xE
E
xS
S
Homogenization theory by [Galise, Imbert, Monneau, ’14]
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 72 / 79
HJ equations on a junction Recent developments
Second example
Effective flux limiter −L (numerics only)
0 5 10 15 20 25 30
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
Offset (s)
Fluxlimiter
l=0 m
l=5 m
l=10 m
l=20 m
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 73 / 79
Conclusions and perspectives
Outline
1 Introduction to traffic
2 Micro to macro in traffic models
3 Variational principle applied to GSOM models
4 HJ equations on a junction
5 Conclusions and perspectives
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 74 / 79
Conclusions and perspectives
Personal conclusions
Advantages Drawbacks
Micro-macro link Limited time delay
Homogeneous Explicit solutions Concavity of the FD
link Data assimilation
Exactness (2nd order)
Multilane
Uniqueness of the solution Fixed proportions
Junction Homogenization result
Multilane
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 75 / 79
Conclusions and perspectives
Perspectives
Some open questions:
Micro-macro: higher time delay?
Confront the results with real data (micro datasets)
Explicit Lax-Hopf formula for time/space dependent Hamiltonians?
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 76 / 79
References
Some references I
A. Bressan, S. Canic, M. Garavello, M. Herty, and B. Piccoli, Flows
on networks: recent results and perspectives, EMS Surveys in Mathematical
Sciences, (2014).
G. Costeseque and J.-P. Lebacque, A variational formulation for higher order
macroscopic traffic flow models: numerical investigation, Transp. Res. Part B:
Methodological, (2014).
M. Garavello and B. Piccoli, Traffic flow on networks, American institute of
mathematical sciences Springfield, MO, USA, 2006.
C. Imbert and R. Monneau, Level-set convex Hamilton–Jacobi equations on
networks, (2014).
C. Imbert, R. Monneau, and H. Zidani, A Hamilton–Jacobi approach to
junction problems and application to traffic flows, ESAIM: Control, Optimisation
and Calculus of Variations, 19 (2013), pp. 129–166.
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 77 / 79
References
Some references II
J.-P. Lebacque and M. M. Khoshyaran, First-order macroscopic traffic flow
models: Intersection modeling, network modeling, in Transportation and Traffic
Theory. Flow, Dynamics and Human Interaction. 16th International Symposium on
Transportation and Traffic Theory, 2005.
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 78 / 79
References
Thanks for your attention
Any question?
guillaume.costeseque@inria.fr
G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 79 / 79

More Related Content

What's hot

Micro to macro passage in traffic models including multi-anticipation effect
Micro to macro passage in traffic models including multi-anticipation effectMicro to macro passage in traffic models including multi-anticipation effect
Micro to macro passage in traffic models including multi-anticipation effectGuillaume Costeseque
 
Theory of automata and formal languages Unit 4
Theory of automata and formal languages Unit 4Theory of automata and formal languages Unit 4
Theory of automata and formal languages Unit 4Abhimanyu Mishra
 
A Hough Transform Based On a Map-Reduce Algorithm
A Hough Transform Based On a Map-Reduce AlgorithmA Hough Transform Based On a Map-Reduce Algorithm
A Hough Transform Based On a Map-Reduce AlgorithmIJERA Editor
 
Boosted Tree-based Multinomial Logit Model for Aggregated Market Data
Boosted Tree-based Multinomial Logit Model for Aggregated Market DataBoosted Tree-based Multinomial Logit Model for Aggregated Market Data
Boosted Tree-based Multinomial Logit Model for Aggregated Market DataJay (Jianqiang) Wang
 
Joint CSI Estimation, Beamforming and Scheduling Design for Wideband Massive ...
Joint CSI Estimation, Beamforming and Scheduling Design for Wideband Massive ...Joint CSI Estimation, Beamforming and Scheduling Design for Wideband Massive ...
Joint CSI Estimation, Beamforming and Scheduling Design for Wideband Massive ...T. E. BOGALE
 
Dual-time Modeling and Forecasting in Consumer Banking (2016)
Dual-time Modeling and Forecasting in Consumer Banking (2016)Dual-time Modeling and Forecasting in Consumer Banking (2016)
Dual-time Modeling and Forecasting in Consumer Banking (2016)Aijun Zhang
 
Paper Review: An exact mapping between the Variational Renormalization Group ...
Paper Review: An exact mapping between the Variational Renormalization Group ...Paper Review: An exact mapping between the Variational Renormalization Group ...
Paper Review: An exact mapping between the Variational Renormalization Group ...Kai-Wen Zhao
 
Breaking the Nonsmooth Barrier: A Scalable Parallel Method for Composite Opti...
Breaking the Nonsmooth Barrier: A Scalable Parallel Method for Composite Opti...Breaking the Nonsmooth Barrier: A Scalable Parallel Method for Composite Opti...
Breaking the Nonsmooth Barrier: A Scalable Parallel Method for Composite Opti...Fabian Pedregosa
 
Slides: Simplifying Gaussian Mixture Models Via Entropic Quantization (EUSIPC...
Slides: Simplifying Gaussian Mixture Models Via Entropic Quantization (EUSIPC...Slides: Simplifying Gaussian Mixture Models Via Entropic Quantization (EUSIPC...
Slides: Simplifying Gaussian Mixture Models Via Entropic Quantization (EUSIPC...Frank Nielsen
 
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)MeetupDataScienceRoma
 
Approximation Algorithms for the Directed k-Tour and k-Stroll Problems
Approximation Algorithms for the Directed k-Tour and k-Stroll ProblemsApproximation Algorithms for the Directed k-Tour and k-Stroll Problems
Approximation Algorithms for the Directed k-Tour and k-Stroll ProblemsSunny Kr
 
Sampling-Based Planning Algorithms for Multi-Objective Missions
Sampling-Based Planning Algorithms for Multi-Objective MissionsSampling-Based Planning Algorithms for Multi-Objective Missions
Sampling-Based Planning Algorithms for Multi-Objective MissionsMd Mahbubur Rahman
 
Bayesian Dark Knowledge and Matrix Factorization
Bayesian Dark Knowledge and Matrix FactorizationBayesian Dark Knowledge and Matrix Factorization
Bayesian Dark Knowledge and Matrix FactorizationPreferred Networks
 
Litvinenko low-rank kriging +FFT poster
Litvinenko low-rank kriging +FFT  posterLitvinenko low-rank kriging +FFT  poster
Litvinenko low-rank kriging +FFT posterAlexander Litvinenko
 

What's hot (20)

Ica group 3[1]
Ica group 3[1]Ica group 3[1]
Ica group 3[1]
 
Micro to macro passage in traffic models including multi-anticipation effect
Micro to macro passage in traffic models including multi-anticipation effectMicro to macro passage in traffic models including multi-anticipation effect
Micro to macro passage in traffic models including multi-anticipation effect
 
Linear Classifiers
Linear ClassifiersLinear Classifiers
Linear Classifiers
 
Theory of automata and formal languages Unit 4
Theory of automata and formal languages Unit 4Theory of automata and formal languages Unit 4
Theory of automata and formal languages Unit 4
 
A Hough Transform Based On a Map-Reduce Algorithm
A Hough Transform Based On a Map-Reduce AlgorithmA Hough Transform Based On a Map-Reduce Algorithm
A Hough Transform Based On a Map-Reduce Algorithm
 
Boosted Tree-based Multinomial Logit Model for Aggregated Market Data
Boosted Tree-based Multinomial Logit Model for Aggregated Market DataBoosted Tree-based Multinomial Logit Model for Aggregated Market Data
Boosted Tree-based Multinomial Logit Model for Aggregated Market Data
 
Joint CSI Estimation, Beamforming and Scheduling Design for Wideband Massive ...
Joint CSI Estimation, Beamforming and Scheduling Design for Wideband Massive ...Joint CSI Estimation, Beamforming and Scheduling Design for Wideband Massive ...
Joint CSI Estimation, Beamforming and Scheduling Design for Wideband Massive ...
 
Dual-time Modeling and Forecasting in Consumer Banking (2016)
Dual-time Modeling and Forecasting in Consumer Banking (2016)Dual-time Modeling and Forecasting in Consumer Banking (2016)
Dual-time Modeling and Forecasting in Consumer Banking (2016)
 
Ceske budevice
Ceske budeviceCeske budevice
Ceske budevice
 
Paper Review: An exact mapping between the Variational Renormalization Group ...
Paper Review: An exact mapping between the Variational Renormalization Group ...Paper Review: An exact mapping between the Variational Renormalization Group ...
Paper Review: An exact mapping between the Variational Renormalization Group ...
 
Breaking the Nonsmooth Barrier: A Scalable Parallel Method for Composite Opti...
Breaking the Nonsmooth Barrier: A Scalable Parallel Method for Composite Opti...Breaking the Nonsmooth Barrier: A Scalable Parallel Method for Composite Opti...
Breaking the Nonsmooth Barrier: A Scalable Parallel Method for Composite Opti...
 
Slides: Simplifying Gaussian Mixture Models Via Entropic Quantization (EUSIPC...
Slides: Simplifying Gaussian Mixture Models Via Entropic Quantization (EUSIPC...Slides: Simplifying Gaussian Mixture Models Via Entropic Quantization (EUSIPC...
Slides: Simplifying Gaussian Mixture Models Via Entropic Quantization (EUSIPC...
 
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
Quantum Machine Learning and QEM for Gaussian mixture models (Alessandro Luongo)
 
Approximation Algorithms for the Directed k-Tour and k-Stroll Problems
Approximation Algorithms for the Directed k-Tour and k-Stroll ProblemsApproximation Algorithms for the Directed k-Tour and k-Stroll Problems
Approximation Algorithms for the Directed k-Tour and k-Stroll Problems
 
Deep Learning Opening Workshop - Deep ReLU Networks Viewed as a Statistical M...
Deep Learning Opening Workshop - Deep ReLU Networks Viewed as a Statistical M...Deep Learning Opening Workshop - Deep ReLU Networks Viewed as a Statistical M...
Deep Learning Opening Workshop - Deep ReLU Networks Viewed as a Statistical M...
 
Sampling-Based Planning Algorithms for Multi-Objective Missions
Sampling-Based Planning Algorithms for Multi-Objective MissionsSampling-Based Planning Algorithms for Multi-Objective Missions
Sampling-Based Planning Algorithms for Multi-Objective Missions
 
Shanghai tutorial
Shanghai tutorialShanghai tutorial
Shanghai tutorial
 
GDRR Opening Workshop - Bayesian Inference for Common Cause Failure Rate Base...
GDRR Opening Workshop - Bayesian Inference for Common Cause Failure Rate Base...GDRR Opening Workshop - Bayesian Inference for Common Cause Failure Rate Base...
GDRR Opening Workshop - Bayesian Inference for Common Cause Failure Rate Base...
 
Bayesian Dark Knowledge and Matrix Factorization
Bayesian Dark Knowledge and Matrix FactorizationBayesian Dark Knowledge and Matrix Factorization
Bayesian Dark Knowledge and Matrix Factorization
 
Litvinenko low-rank kriging +FFT poster
Litvinenko low-rank kriging +FFT  posterLitvinenko low-rank kriging +FFT  poster
Litvinenko low-rank kriging +FFT poster
 

Similar to Traffic flow modeling on road networks using Hamilton-Jacobi equations

Hamilton-Jacobi approach for second order traffic flow models
Hamilton-Jacobi approach for second order traffic flow modelsHamilton-Jacobi approach for second order traffic flow models
Hamilton-Jacobi approach for second order traffic flow modelsGuillaume Costeseque
 
A Strategic Model For Dynamic Traffic Assignment
A Strategic Model For Dynamic Traffic AssignmentA Strategic Model For Dynamic Traffic Assignment
A Strategic Model For Dynamic Traffic AssignmentKelly Taylor
 
Projection methods for stochastic structural dynamics
Projection methods for stochastic structural dynamicsProjection methods for stochastic structural dynamics
Projection methods for stochastic structural dynamicsUniversity of Glasgow
 
Prpagation of Error Bounds Across reduction interfaces
Prpagation of Error Bounds Across reduction interfacesPrpagation of Error Bounds Across reduction interfaces
Prpagation of Error Bounds Across reduction interfacesMohammad
 
Turning Krimp into a Triclustering Technique on Sets of Attribute-Condition P...
Turning Krimp into a Triclustering Technique on Sets of Attribute-Condition P...Turning Krimp into a Triclustering Technique on Sets of Attribute-Condition P...
Turning Krimp into a Triclustering Technique on Sets of Attribute-Condition P...Dmitrii Ignatov
 
Probabilistic Modelling with Information Filtering Networks
Probabilistic Modelling with Information Filtering NetworksProbabilistic Modelling with Information Filtering Networks
Probabilistic Modelling with Information Filtering NetworksTomaso Aste
 
Numerical approach for Hamilton-Jacobi equations on a network: application to...
Numerical approach for Hamilton-Jacobi equations on a network: application to...Numerical approach for Hamilton-Jacobi equations on a network: application to...
Numerical approach for Hamilton-Jacobi equations on a network: application to...Guillaume Costeseque
 
Generalized Low Rank Models
Generalized Low Rank ModelsGeneralized Low Rank Models
Generalized Low Rank ModelsSri Ambati
 
Workload-aware materialization for efficient variable elimination on Bayesian...
Workload-aware materialization for efficient variable elimination on Bayesian...Workload-aware materialization for efficient variable elimination on Bayesian...
Workload-aware materialization for efficient variable elimination on Bayesian...Cigdem Aslay
 
Determining QoS of WS-BPEL Compositions
Determining QoS of WS-BPEL CompositionsDetermining QoS of WS-BPEL Compositions
Determining QoS of WS-BPEL CompositionsDebdoot Mukherjee
 
Machine Learning in Actuarial Science & Insurance
Machine Learning in Actuarial Science & InsuranceMachine Learning in Actuarial Science & Insurance
Machine Learning in Actuarial Science & InsuranceArthur Charpentier
 
Learning to discover monte carlo algorithm on spin ice manifold
Learning to discover monte carlo algorithm on spin ice manifoldLearning to discover monte carlo algorithm on spin ice manifold
Learning to discover monte carlo algorithm on spin ice manifoldKai-Wen Zhao
 
Network and risk spillovers: a multivariate GARCH perspective
Network and risk spillovers: a multivariate GARCH perspectiveNetwork and risk spillovers: a multivariate GARCH perspective
Network and risk spillovers: a multivariate GARCH perspectiveSYRTO Project
 

Similar to Traffic flow modeling on road networks using Hamilton-Jacobi equations (20)

Hamilton-Jacobi approach for second order traffic flow models
Hamilton-Jacobi approach for second order traffic flow modelsHamilton-Jacobi approach for second order traffic flow models
Hamilton-Jacobi approach for second order traffic flow models
 
A Strategic Model For Dynamic Traffic Assignment
A Strategic Model For Dynamic Traffic AssignmentA Strategic Model For Dynamic Traffic Assignment
A Strategic Model For Dynamic Traffic Assignment
 
Projection methods for stochastic structural dynamics
Projection methods for stochastic structural dynamicsProjection methods for stochastic structural dynamics
Projection methods for stochastic structural dynamics
 
Damiano Pasetto
Damiano PasettoDamiano Pasetto
Damiano Pasetto
 
Prpagation of Error Bounds Across reduction interfaces
Prpagation of Error Bounds Across reduction interfacesPrpagation of Error Bounds Across reduction interfaces
Prpagation of Error Bounds Across reduction interfaces
 
AbdoSummerANS_mod3
AbdoSummerANS_mod3AbdoSummerANS_mod3
AbdoSummerANS_mod3
 
R Language Introduction
R Language IntroductionR Language Introduction
R Language Introduction
 
Turning Krimp into a Triclustering Technique on Sets of Attribute-Condition P...
Turning Krimp into a Triclustering Technique on Sets of Attribute-Condition P...Turning Krimp into a Triclustering Technique on Sets of Attribute-Condition P...
Turning Krimp into a Triclustering Technique on Sets of Attribute-Condition P...
 
2019 GDRR: Blockchain Data Analytics - Dissecting Blockchain Price Analytics...
2019 GDRR: Blockchain Data Analytics  - Dissecting Blockchain Price Analytics...2019 GDRR: Blockchain Data Analytics  - Dissecting Blockchain Price Analytics...
2019 GDRR: Blockchain Data Analytics - Dissecting Blockchain Price Analytics...
 
Probabilistic Modelling with Information Filtering Networks
Probabilistic Modelling with Information Filtering NetworksProbabilistic Modelling with Information Filtering Networks
Probabilistic Modelling with Information Filtering Networks
 
QMC: Undergraduate Workshop, Introduction to Monte Carlo Methods with 'R' Sof...
QMC: Undergraduate Workshop, Introduction to Monte Carlo Methods with 'R' Sof...QMC: Undergraduate Workshop, Introduction to Monte Carlo Methods with 'R' Sof...
QMC: Undergraduate Workshop, Introduction to Monte Carlo Methods with 'R' Sof...
 
Numerical approach for Hamilton-Jacobi equations on a network: application to...
Numerical approach for Hamilton-Jacobi equations on a network: application to...Numerical approach for Hamilton-Jacobi equations on a network: application to...
Numerical approach for Hamilton-Jacobi equations on a network: application to...
 
Generalized Low Rank Models
Generalized Low Rank ModelsGeneralized Low Rank Models
Generalized Low Rank Models
 
Workload-aware materialization for efficient variable elimination on Bayesian...
Workload-aware materialization for efficient variable elimination on Bayesian...Workload-aware materialization for efficient variable elimination on Bayesian...
Workload-aware materialization for efficient variable elimination on Bayesian...
 
Determining QoS of WS-BPEL Compositions
Determining QoS of WS-BPEL CompositionsDetermining QoS of WS-BPEL Compositions
Determining QoS of WS-BPEL Compositions
 
Program on Mathematical and Statistical Methods for Climate and the Earth Sys...
Program on Mathematical and Statistical Methods for Climate and the Earth Sys...Program on Mathematical and Statistical Methods for Climate and the Earth Sys...
Program on Mathematical and Statistical Methods for Climate and the Earth Sys...
 
Machine Learning in Actuarial Science & Insurance
Machine Learning in Actuarial Science & InsuranceMachine Learning in Actuarial Science & Insurance
Machine Learning in Actuarial Science & Insurance
 
Learning to discover monte carlo algorithm on spin ice manifold
Learning to discover monte carlo algorithm on spin ice manifoldLearning to discover monte carlo algorithm on spin ice manifold
Learning to discover monte carlo algorithm on spin ice manifold
 
Phd Defense 2007
Phd Defense 2007Phd Defense 2007
Phd Defense 2007
 
Network and risk spillovers: a multivariate GARCH perspective
Network and risk spillovers: a multivariate GARCH perspectiveNetwork and risk spillovers: a multivariate GARCH perspective
Network and risk spillovers: a multivariate GARCH perspective
 

More from Guillaume Costeseque

Analyse des données du Registre de preuve de covoiturage à l'échelle régional...
Analyse des données du Registre de preuve de covoiturage à l'échelle régional...Analyse des données du Registre de preuve de covoiturage à l'échelle régional...
Analyse des données du Registre de preuve de covoiturage à l'échelle régional...Guillaume Costeseque
 
Nouvelles mobilités, nouveaux usages, évolutions des marchés
Nouvelles mobilités, nouveaux usages, évolutions des marchésNouvelles mobilités, nouveaux usages, évolutions des marchés
Nouvelles mobilités, nouveaux usages, évolutions des marchésGuillaume Costeseque
 
Schéma numérique basé sur une équation d'Hamilton-Jacobi : modélisation des i...
Schéma numérique basé sur une équation d'Hamilton-Jacobi : modélisation des i...Schéma numérique basé sur une équation d'Hamilton-Jacobi : modélisation des i...
Schéma numérique basé sur une équation d'Hamilton-Jacobi : modélisation des i...Guillaume Costeseque
 
A multi-objective optimization framework for a second order traffic flow mode...
A multi-objective optimization framework for a second order traffic flow mode...A multi-objective optimization framework for a second order traffic flow mode...
A multi-objective optimization framework for a second order traffic flow mode...Guillaume Costeseque
 
Evaluation d'une navette autonome à Nantes 2019
Evaluation d'une navette autonome à Nantes 2019Evaluation d'une navette autonome à Nantes 2019
Evaluation d'une navette autonome à Nantes 2019Guillaume Costeseque
 
TramOpt: plateforme logicielle pour l'optimisation du trafic routier
TramOpt: plateforme logicielle pour l'optimisation du trafic routierTramOpt: plateforme logicielle pour l'optimisation du trafic routier
TramOpt: plateforme logicielle pour l'optimisation du trafic routierGuillaume Costeseque
 
A new solver for the ARZ traffic flow model on a junction
A new solver for the ARZ traffic flow model on a junctionA new solver for the ARZ traffic flow model on a junction
A new solver for the ARZ traffic flow model on a junctionGuillaume Costeseque
 
Some recent developments in the traffic flow variational formulation
Some recent developments in the traffic flow variational formulationSome recent developments in the traffic flow variational formulation
Some recent developments in the traffic flow variational formulationGuillaume Costeseque
 
Representation formula for traffic flow estimation on a network
Representation formula for traffic flow estimation on a networkRepresentation formula for traffic flow estimation on a network
Representation formula for traffic flow estimation on a networkGuillaume Costeseque
 
Intersection modeling using a convergent scheme based on Hamilton-Jacobi equa...
Intersection modeling using a convergent scheme based on Hamilton-Jacobi equa...Intersection modeling using a convergent scheme based on Hamilton-Jacobi equa...
Intersection modeling using a convergent scheme based on Hamilton-Jacobi equa...Guillaume Costeseque
 
Hamilton-Jacobi equations and Lax-Hopf formulae for traffic flow modeling
Hamilton-Jacobi equations and Lax-Hopf formulae for traffic flow modelingHamilton-Jacobi equations and Lax-Hopf formulae for traffic flow modeling
Hamilton-Jacobi equations and Lax-Hopf formulae for traffic flow modelingGuillaume Costeseque
 
Hamilton-Jacobi equation on networks: generalized Lax-Hopf formula
Hamilton-Jacobi equation on networks: generalized Lax-Hopf formulaHamilton-Jacobi equation on networks: generalized Lax-Hopf formula
Hamilton-Jacobi equation on networks: generalized Lax-Hopf formulaGuillaume Costeseque
 
Road junction modeling using a scheme based on Hamilton-Jacobi equations
Road junction modeling using a scheme based on Hamilton-Jacobi equationsRoad junction modeling using a scheme based on Hamilton-Jacobi equations
Road junction modeling using a scheme based on Hamilton-Jacobi equationsGuillaume Costeseque
 
Mesoscopic multiclass traffic flow modeling on multi-lane sections
Mesoscopic multiclass traffic flow modeling on multi-lane sectionsMesoscopic multiclass traffic flow modeling on multi-lane sections
Mesoscopic multiclass traffic flow modeling on multi-lane sectionsGuillaume Costeseque
 
The moving bottleneck problem: a Hamilton-Jacobi approach
The moving bottleneck problem: a Hamilton-Jacobi approachThe moving bottleneck problem: a Hamilton-Jacobi approach
The moving bottleneck problem: a Hamilton-Jacobi approachGuillaume Costeseque
 
The impact of source terms in the variational representation of traffic flow
The impact of source terms in the variational representation of traffic flowThe impact of source terms in the variational representation of traffic flow
The impact of source terms in the variational representation of traffic flowGuillaume Costeseque
 
Numerical approach for Hamilton-Jacobi equations on a network: application to...
Numerical approach for Hamilton-Jacobi equations on a network: application to...Numerical approach for Hamilton-Jacobi equations on a network: application to...
Numerical approach for Hamilton-Jacobi equations on a network: application to...Guillaume Costeseque
 
Dynamic road traffic modeling: some elements
Dynamic road traffic modeling: some elementsDynamic road traffic modeling: some elements
Dynamic road traffic modeling: some elementsGuillaume Costeseque
 

More from Guillaume Costeseque (20)

Analyse des données du Registre de preuve de covoiturage à l'échelle régional...
Analyse des données du Registre de preuve de covoiturage à l'échelle régional...Analyse des données du Registre de preuve de covoiturage à l'échelle régional...
Analyse des données du Registre de preuve de covoiturage à l'échelle régional...
 
Nouvelles mobilités, nouveaux usages, évolutions des marchés
Nouvelles mobilités, nouveaux usages, évolutions des marchésNouvelles mobilités, nouveaux usages, évolutions des marchés
Nouvelles mobilités, nouveaux usages, évolutions des marchés
 
Cours its-ecn-2021
Cours its-ecn-2021Cours its-ecn-2021
Cours its-ecn-2021
 
Schéma numérique basé sur une équation d'Hamilton-Jacobi : modélisation des i...
Schéma numérique basé sur une équation d'Hamilton-Jacobi : modélisation des i...Schéma numérique basé sur une équation d'Hamilton-Jacobi : modélisation des i...
Schéma numérique basé sur une équation d'Hamilton-Jacobi : modélisation des i...
 
Cours its-ecn-2020
Cours its-ecn-2020Cours its-ecn-2020
Cours its-ecn-2020
 
A multi-objective optimization framework for a second order traffic flow mode...
A multi-objective optimization framework for a second order traffic flow mode...A multi-objective optimization framework for a second order traffic flow mode...
A multi-objective optimization framework for a second order traffic flow mode...
 
Evaluation d'une navette autonome à Nantes 2019
Evaluation d'une navette autonome à Nantes 2019Evaluation d'une navette autonome à Nantes 2019
Evaluation d'une navette autonome à Nantes 2019
 
TramOpt: plateforme logicielle pour l'optimisation du trafic routier
TramOpt: plateforme logicielle pour l'optimisation du trafic routierTramOpt: plateforme logicielle pour l'optimisation du trafic routier
TramOpt: plateforme logicielle pour l'optimisation du trafic routier
 
A new solver for the ARZ traffic flow model on a junction
A new solver for the ARZ traffic flow model on a junctionA new solver for the ARZ traffic flow model on a junction
A new solver for the ARZ traffic flow model on a junction
 
Some recent developments in the traffic flow variational formulation
Some recent developments in the traffic flow variational formulationSome recent developments in the traffic flow variational formulation
Some recent developments in the traffic flow variational formulation
 
Representation formula for traffic flow estimation on a network
Representation formula for traffic flow estimation on a networkRepresentation formula for traffic flow estimation on a network
Representation formula for traffic flow estimation on a network
 
Intersection modeling using a convergent scheme based on Hamilton-Jacobi equa...
Intersection modeling using a convergent scheme based on Hamilton-Jacobi equa...Intersection modeling using a convergent scheme based on Hamilton-Jacobi equa...
Intersection modeling using a convergent scheme based on Hamilton-Jacobi equa...
 
Hamilton-Jacobi equations and Lax-Hopf formulae for traffic flow modeling
Hamilton-Jacobi equations and Lax-Hopf formulae for traffic flow modelingHamilton-Jacobi equations and Lax-Hopf formulae for traffic flow modeling
Hamilton-Jacobi equations and Lax-Hopf formulae for traffic flow modeling
 
Hamilton-Jacobi equation on networks: generalized Lax-Hopf formula
Hamilton-Jacobi equation on networks: generalized Lax-Hopf formulaHamilton-Jacobi equation on networks: generalized Lax-Hopf formula
Hamilton-Jacobi equation on networks: generalized Lax-Hopf formula
 
Road junction modeling using a scheme based on Hamilton-Jacobi equations
Road junction modeling using a scheme based on Hamilton-Jacobi equationsRoad junction modeling using a scheme based on Hamilton-Jacobi equations
Road junction modeling using a scheme based on Hamilton-Jacobi equations
 
Mesoscopic multiclass traffic flow modeling on multi-lane sections
Mesoscopic multiclass traffic flow modeling on multi-lane sectionsMesoscopic multiclass traffic flow modeling on multi-lane sections
Mesoscopic multiclass traffic flow modeling on multi-lane sections
 
The moving bottleneck problem: a Hamilton-Jacobi approach
The moving bottleneck problem: a Hamilton-Jacobi approachThe moving bottleneck problem: a Hamilton-Jacobi approach
The moving bottleneck problem: a Hamilton-Jacobi approach
 
The impact of source terms in the variational representation of traffic flow
The impact of source terms in the variational representation of traffic flowThe impact of source terms in the variational representation of traffic flow
The impact of source terms in the variational representation of traffic flow
 
Numerical approach for Hamilton-Jacobi equations on a network: application to...
Numerical approach for Hamilton-Jacobi equations on a network: application to...Numerical approach for Hamilton-Jacobi equations on a network: application to...
Numerical approach for Hamilton-Jacobi equations on a network: application to...
 
Dynamic road traffic modeling: some elements
Dynamic road traffic modeling: some elementsDynamic road traffic modeling: some elements
Dynamic road traffic modeling: some elements
 

Recently uploaded

Katarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School CourseKatarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School Coursebim.edu.pl
 
Crushers to screens in aggregate production
Crushers to screens in aggregate productionCrushers to screens in aggregate production
Crushers to screens in aggregate productionChinnuNinan
 
Class 1 | NFPA 72 | Overview Fire Alarm System
Class 1 | NFPA 72 | Overview Fire Alarm SystemClass 1 | NFPA 72 | Overview Fire Alarm System
Class 1 | NFPA 72 | Overview Fire Alarm Systemirfanmechengr
 
"Exploring the Essential Functions and Design Considerations of Spillways in ...
"Exploring the Essential Functions and Design Considerations of Spillways in ..."Exploring the Essential Functions and Design Considerations of Spillways in ...
"Exploring the Essential Functions and Design Considerations of Spillways in ...Erbil Polytechnic University
 
Earthing details of Electrical Substation
Earthing details of Electrical SubstationEarthing details of Electrical Substation
Earthing details of Electrical Substationstephanwindworld
 
Configuration of IoT devices - Systems managament
Configuration of IoT devices - Systems managamentConfiguration of IoT devices - Systems managament
Configuration of IoT devices - Systems managamentBharaniDharan195623
 
DM Pillar Training Manual.ppt will be useful in deploying TPM in project
DM Pillar Training Manual.ppt will be useful in deploying TPM in projectDM Pillar Training Manual.ppt will be useful in deploying TPM in project
DM Pillar Training Manual.ppt will be useful in deploying TPM in projectssuserb6619e
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...VICTOR MAESTRE RAMIREZ
 
IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024Mark Billinghurst
 
Instrumentation, measurement and control of bio process parameters ( Temperat...
Instrumentation, measurement and control of bio process parameters ( Temperat...Instrumentation, measurement and control of bio process parameters ( Temperat...
Instrumentation, measurement and control of bio process parameters ( Temperat...121011101441
 
Input Output Management in Operating System
Input Output Management in Operating SystemInput Output Management in Operating System
Input Output Management in Operating SystemRashmi Bhat
 
welding defects observed during the welding
welding defects observed during the weldingwelding defects observed during the welding
welding defects observed during the weldingMuhammadUzairLiaqat
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort servicejennyeacort
 
Mine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxMine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxRomil Mishra
 
Arduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptArduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptSAURABHKUMAR892774
 
11. Properties of Liquid Fuels in Energy Engineering.pdf
11. Properties of Liquid Fuels in Energy Engineering.pdf11. Properties of Liquid Fuels in Energy Engineering.pdf
11. Properties of Liquid Fuels in Energy Engineering.pdfHafizMudaserAhmad
 
Crystal Structure analysis and detailed information pptx
Crystal Structure analysis and detailed information pptxCrystal Structure analysis and detailed information pptx
Crystal Structure analysis and detailed information pptxachiever3003
 
Engineering Drawing section of solid
Engineering Drawing     section of solidEngineering Drawing     section of solid
Engineering Drawing section of solidnamansinghjarodiya
 
Work Experience-Dalton Park.pptxfvvvvvvv
Work Experience-Dalton Park.pptxfvvvvvvvWork Experience-Dalton Park.pptxfvvvvvvv
Work Experience-Dalton Park.pptxfvvvvvvvLewisJB
 

Recently uploaded (20)

Katarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School CourseKatarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School Course
 
Crushers to screens in aggregate production
Crushers to screens in aggregate productionCrushers to screens in aggregate production
Crushers to screens in aggregate production
 
Class 1 | NFPA 72 | Overview Fire Alarm System
Class 1 | NFPA 72 | Overview Fire Alarm SystemClass 1 | NFPA 72 | Overview Fire Alarm System
Class 1 | NFPA 72 | Overview Fire Alarm System
 
"Exploring the Essential Functions and Design Considerations of Spillways in ...
"Exploring the Essential Functions and Design Considerations of Spillways in ..."Exploring the Essential Functions and Design Considerations of Spillways in ...
"Exploring the Essential Functions and Design Considerations of Spillways in ...
 
Earthing details of Electrical Substation
Earthing details of Electrical SubstationEarthing details of Electrical Substation
Earthing details of Electrical Substation
 
Configuration of IoT devices - Systems managament
Configuration of IoT devices - Systems managamentConfiguration of IoT devices - Systems managament
Configuration of IoT devices - Systems managament
 
DM Pillar Training Manual.ppt will be useful in deploying TPM in project
DM Pillar Training Manual.ppt will be useful in deploying TPM in projectDM Pillar Training Manual.ppt will be useful in deploying TPM in project
DM Pillar Training Manual.ppt will be useful in deploying TPM in project
 
Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...Software and Systems Engineering Standards: Verification and Validation of Sy...
Software and Systems Engineering Standards: Verification and Validation of Sy...
 
young call girls in Green Park🔝 9953056974 🔝 escort Service
young call girls in Green Park🔝 9953056974 🔝 escort Serviceyoung call girls in Green Park🔝 9953056974 🔝 escort Service
young call girls in Green Park🔝 9953056974 🔝 escort Service
 
IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024
 
Instrumentation, measurement and control of bio process parameters ( Temperat...
Instrumentation, measurement and control of bio process parameters ( Temperat...Instrumentation, measurement and control of bio process parameters ( Temperat...
Instrumentation, measurement and control of bio process parameters ( Temperat...
 
Input Output Management in Operating System
Input Output Management in Operating SystemInput Output Management in Operating System
Input Output Management in Operating System
 
welding defects observed during the welding
welding defects observed during the weldingwelding defects observed during the welding
welding defects observed during the welding
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
 
Mine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxMine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptx
 
Arduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.pptArduino_CSE ece ppt for working and principal of arduino.ppt
Arduino_CSE ece ppt for working and principal of arduino.ppt
 
11. Properties of Liquid Fuels in Energy Engineering.pdf
11. Properties of Liquid Fuels in Energy Engineering.pdf11. Properties of Liquid Fuels in Energy Engineering.pdf
11. Properties of Liquid Fuels in Energy Engineering.pdf
 
Crystal Structure analysis and detailed information pptx
Crystal Structure analysis and detailed information pptxCrystal Structure analysis and detailed information pptx
Crystal Structure analysis and detailed information pptx
 
Engineering Drawing section of solid
Engineering Drawing     section of solidEngineering Drawing     section of solid
Engineering Drawing section of solid
 
Work Experience-Dalton Park.pptxfvvvvvvv
Work Experience-Dalton Park.pptxfvvvvvvvWork Experience-Dalton Park.pptxfvvvvvvv
Work Experience-Dalton Park.pptxfvvvvvvv
 

Traffic flow modeling on road networks using Hamilton-Jacobi equations

  • 1. Traffic Flow Modeling on Road Networks Using Hamilton-Jacobi Equations Guillaume Costeseque Inria Sophia-Antipolis M´editerran´ee ITS seminar, UC Berkeley October 09, 2015 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 1 / 79
  • 2. Motivation Traffic flows on a network [Caltrans, Oct. 7, 2015] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 2 / 79
  • 3. Motivation Traffic flows on a network [Caltrans, Oct. 7, 2015] Road network ≡ graph made of edges and vertices G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 2 / 79
  • 4. Motivation Breakthrough in traffic monitoring Traffic monitoring “old”: loop detectors at fixed locations (Eulerian) “new”: GPS devices moving within the traffic (Lagrangian) Data assimilation of Floating Car Data [Mobile Millenium, 2008] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 3 / 79
  • 5. Motivation Outline 1 Introduction to traffic 2 Micro to macro in traffic models 3 Variational principle applied to GSOM models 4 HJ equations on a junction 5 Conclusions and perspectives G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 4 / 79
  • 6. Introduction to traffic Outline 1 Introduction to traffic 2 Micro to macro in traffic models 3 Variational principle applied to GSOM models 4 HJ equations on a junction 5 Conclusions and perspectives G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 5 / 79
  • 7. Introduction to traffic Macroscopic models Convention for vehicle labeling N x t Flow G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 6 / 79
  • 8. Introduction to traffic Macroscopic models Three representations of traffic flow Moskowitz’ surface Flow x t N x See also [Makigami et al, 1971], [Laval and Leclercq, 2013] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 7 / 79
  • 9. Introduction to traffic Macroscopic models Notations: macroscopic N(t, x) vehicle label at (t, x) the flow Q(t, x) = lim ∆t→0 N(t + ∆t, x) − N(t, x) ∆t , x N(x, t ± ∆t) the density ρ(t, x) = lim ∆x→0 N(t, x) − N(t, x + ∆x) ∆x , x ∆x N(x ± ∆x, t) the stream speed (mean spatial speed) V (t, x). G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 8 / 79
  • 10. Introduction to traffic Macroscopic models Macroscopic models Hydrodynamics analogy Two main categories: first and second order models Two common equations:    ∂tρ(t, x) + ∂x Q(t, x) = 0 conservation equation Q(t, x) = ρ(t, x)V (t, x) definition of flow speed (1) x x + ∆x ρ(x, t)∆x Q(x, t)∆t Q(x + ∆x, t)∆t G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 9 / 79
  • 11. Introduction to traffic Focus on LWR model First order: the LWR model LWR model [Lighthill and Whitham, 1955], [Richards, 1956] Scalar one dimensional conservation law ∂tρ(t, x) + ∂x F (ρ(t, x)) = 0 (2) with F : ρ(t, x) → Q(t, x) =: Fx (ρ(t, x)) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 10 / 79
  • 12. Introduction to traffic Focus on LWR model Overview: conservation laws (CL) / Hamilton-Jacobi (HJ) Eulerian Lagrangian t − x t − n CL Variable Density ρ Spacing r Equation ∂tρ + ∂x F(ρ) = 0 ∂tr + ∂nV (r) = 0 HJ Variable Label N Position X N(t, x) = +∞ x ρ(t, ξ)dξ X(t, n) = +∞ n r(t, η)dη Equation ∂tN + H (∂x N) = 0 ∂tX + V (∂nX) = 0 Hamiltonian H(p) = −F(−p) V(p) = −V (−p) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 11 / 79
  • 13. Introduction to traffic Focus on LWR model Fundamental diagram (FD) Flow-density fundamental diagram F Empirical function with ρmax the maximal or jam density, ρc the critical density Flux is increasing for ρ ≤ ρc: free-flow phase Flux is decreasing for ρ ≥ ρc: congestion phase ρmax Density, ρ ρmax Density, ρ 0 Flow, F 0 Flow, F 0 ρmax Flow, F Density, ρ [Garavello and Piccoli, 2006] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 12 / 79
  • 14. Introduction to traffic Second order models Motivation for higher order models Experimental evidences fundamental diagram: multi-valued in congested case [S. Fan, U. Illinois], NGSIM dataset G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 13 / 79
  • 15. Introduction to traffic Second order models Motivation for higher order models Experimental evidences fundamental diagram: multi-valued in congested case phenomena not accounted for: bounded acceleration, capacity drop... Need for models able to integrate measurements of different traffic quantities (acceleration, fuel consumption, noise) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 14 / 79
  • 16. Introduction to traffic Second order models GSOM family [Lebacque, Mammar, Haj-Salem 2007] Generic Second Order Models (GSOM) family    ∂tρ + ∂x (ρv) = 0 Conservation of vehicles, ∂t(ρI) + ∂x (ρvI) = ρϕ(I) Dynamics of the driver attribute I, v = I(ρ, I) Fundamental diagram, (3) Specific driver attribute I the driver aggressiveness, the driver origin/destination or path, the vehicle class, ... Flow-density fundamental diagram F : (ρ, I) → ρI(ρ, I). G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 15 / 79
  • 17. Introduction to traffic Second order models GSOM family [Lebacque, Mammar, Haj-Salem 2007] Generic Second Order Models (GSOM) family    ∂tρ + ∂x (ρv) = 0 Conservation of vehicles, ∂tI + v∂x I = ϕ(I) Dynamics of the driver attribute I, v = I(ρ, I) Fundamental diagram, (3) Specific driver attribute I the driver aggressiveness, the driver origin/destination or path, the vehicle class, ... Flow-density fundamental diagram F : (ρ, I) → ρI(ρ, I). G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 15 / 79
  • 18. Introduction to traffic Second order models GSOM family [Lebacque, Mammar, Haj-Salem 2007] Generic Second Order Models (GSOM) family    ∂tρ + ∂x (ρv) = 0 Conservation of vehicles, ∂tI + v∂x I = 0 Dynamics of the driver attribute I, v = I(ρ, I) Fundamental diagram, (3) Specific driver attribute I the driver aggressiveness, the driver origin/destination or path, the vehicle class, ... Flow-density fundamental diagram F : (ρ, I) → ρI(ρ, I). G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 15 / 79
  • 19. Micro to macro in traffic models Outline 1 Introduction to traffic 2 Micro to macro in traffic models 3 Variational principle applied to GSOM models 4 HJ equations on a junction 5 Conclusions and perspectives G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 16 / 79
  • 20. Micro to macro in traffic models Homogenization Setting Speed Time (i − 1)Space x Spacing Headway t (i) t → xi (t) trajectory of vehicle i i = discrete position index (i ∈ Z) n = continuous (Lagrangian) variable n = iε and t = εs ε > 0 a scale factor G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 17 / 79
  • 21. Micro to macro in traffic models Homogenization Setting Speed Time (i − 1)Space x Spacing Headway t (i) t → xi (t) trajectory of vehicle i i = discrete position index (i ∈ Z) n = continuous (Lagrangian) variable n = iε and t = εs ε > 0 a scale factor Proposition (Rescaled positions) Define xi (s) = 1 ε Xε (εs, iε) ⇐⇒ Xε (t, n) = εx⌊n ε ⌋ t ε G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 17 / 79
  • 22. Micro to macro in traffic models Homogenization General result Let consider the simplest microscopic model; ˙xi (t) = F (xi−1(t) − xi (t)) (4) the LWR macroscopic model (HJ equation in Lagrangian): ∂tX0 = F(−∂nX0 ) (5) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 18 / 79
  • 23. Micro to macro in traffic models Homogenization General result Let consider the simplest microscopic model; ˙xi (t) = F (xi−1(t) − xi (t)) (4) the LWR macroscopic model (HJ equation in Lagrangian): ∂tX0 = F(−∂nX0 ) (5) Theorem ((Monneau) Convergence to the viscosity solution) If Xε(t, n) := εx⌊n ε ⌋ t ε with (xi )i∈Z solution of (4) and X0 the unique solution of HJ (5), then under suitable assumptions, |Xε − X0 |L∞(K) −→ ε→0 0, ∀K compact set. G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 18 / 79
  • 24. Micro to macro in traffic models Multi-anticipative traffic Toy model Vehicles consider m ≥ 1 leaders First order multi-anticipative model ˙xi (t + τ) = max  0, Vmax − m j=1 f (xi−j(t) − xi (t))   (6) f speed-spacing function non-negative non-increasing G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 19 / 79
  • 25. Micro to macro in traffic models Multi-anticipative traffic Homogenization Proposition ((Monneau) Convergence) Assume m ≥ 1 fixed. If τ is small enough, if Xε(t, n) := εx⌊n ε ⌋ t ε with (xi )i∈Z solution of (6) and if X0(n, t) solves ∂tX0 = F −∂nX0 , m (7) with F(r, m) = max  0, Vmax − m j=1 f (jr)   , then under suitable assumptions, |Xε − X0 |L∞(K) −→ ε→0 0, ∀K compact set. G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 20 / 79
  • 26. Micro to macro in traffic models Multi-anticipative traffic Multi-anticipatory macroscopic model χj the fraction of j-anticipatory vehicles traffic flow ≡ mixture of traffic of j-anticipatory vehicles χ = (χj )j=1,...,m , with 0 ≤ χj ≤ 1 and m j=1 χj = 1 GSOM model with driver attribute I = χ    ∂tρ + ∂x (ρv) = 0, ∂t(ρχ) + ∂x (ρχv) = 0, v := m j=1 χj F(1/ρ, j) = W (1/ρ, χ). (8) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 21 / 79
  • 27. Micro to macro in traffic models Numerical schemes Numerical resolution Godunov scheme in Eulerian t − x with (∆t, ∆xk) steps ⇒ CFL condition Variational formulation and dynamic programming techniques [2] Particle methods in the Lagrangian framework t − n    xt+1 n = xt n + ∆tW xt n−1 − xt n ∆n , χt n χt+1 n = χt n (9) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 22 / 79
  • 28. Micro to macro in traffic models Numerical schemes Numerical example 0 5 10 15 20 25 30 35 40 0 5 10 15 20 25 Spacing r (m) Speed−spacing diagrams Speedv(m/s) 1 2 3 4 5 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 23 / 79
  • 29. Micro to macro in traffic models Numerical schemes Numerical example: (χj)j G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 24 / 79
  • 30. Micro to macro in traffic models Numerical schemes Numerical example: Lagrangian trajectories G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 25 / 79
  • 31. Micro to macro in traffic models Numerical schemes Numerical example: Eulerian trajectories G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 26 / 79
  • 32. Variational principle applied to GSOM models Outline 1 Introduction to traffic 2 Micro to macro in traffic models 3 Variational principle applied to GSOM models 4 HJ equations on a junction 5 Conclusions and perspectives G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 27 / 79
  • 33. Variational principle applied to GSOM models LWR model LWR in Eulerian (t, x) Cumulative vehicles count (CVC) or Moskowitz surface N(t, x) Q = ∂tN and ρ = −∂x N If density ρ satisfies the scalar (LWR) conservation law ∂tρ + ∂x F(ρ) = 0 Then N satisfies the first order Hamilton-Jacobi equation ∂tN − F(−∂x N) = 0 (10) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 28 / 79
  • 34. Variational principle applied to GSOM models LWR model LWR in Eulerian (t, x) Legendre-Fenchel transform with F concave (relative capacity) M(q) = sup ρ [F(ρ) − ρq] M(q) u w Density ρ q q Flow F w u q Transform M −wρmax G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 29 / 79
  • 35. Variational principle applied to GSOM models LWR model LWR in Eulerian (t, x) (continued) Lax-Hopf formula (representation formula) [Daganzo, 2006] N(T, xT ) = min u(.),(t0,x0) T t0 M(u(τ))dτ + N(t0, x0), ˙X = u u ∈ U X(t0) = x0, X(T) = xT (t0, x0) ∈ J (11) Time Space J (T, xT )˙X(τ) (t0, x0) Viability theory [Claudel and Bayen, 2010] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 30 / 79
  • 36. Variational principle applied to GSOM models LWR model LWR in Eulerian (t, x) (Historical note) Dynamic programming [Daganzo, 2006] for triangular FD (u and w free and congested speeds) Flow, F w u 0 ρmax Density, ρ u x w t Time Space (t, x) Minimum principle [Newell, 1993] N(t, x) = min N t − x − xu u , xu , N t − x − xw w , xw + ρmax(xw − x) , (12) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 31 / 79
  • 37. Variational principle applied to GSOM models LWR model LWR in Lagrangian (n, t) Consider X(t, n) the location of vehicle n at time t ≥ 0 v = ∂tX and r = −∂nX If the spacing r := 1/ρ satisfies the LWR model (Lagrangian coord.) ∂tr + ∂nV(r) = 0 Then X satisfies the first order Hamilton-Jacobi equation ∂tX − V(−∂nX) = 0. (13) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 32 / 79
  • 38. Variational principle applied to GSOM models LWR model LWR in Lagrangian (n, t) (continued) Dynamic programming for triangular FD 1/ρcrit Speed, V u −wρmax Spacing, r 1/ρmax −wρmax n t (t, n) Time Label Minimum principle ⇒ car following model [Newell, 2002] X(t, n) = min X(t0, n) + u(t − t0), X(t0, n + wρmax (t − t0)) + w(t − t0) . (14) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 33 / 79
  • 39. Variational principle applied to GSOM models GSOM family GSOM in Lagrangian (n, t) From [Lebacque and Khoshyaran, 2013], GSOM in Lagrangian    ∂tr + ∂N v = 0 Conservation of vehicles, ∂tI = 0 Dynamics of I, v = W(N, r, t) := V(r, I(N, t)) Fundamental diagram. (15) Position X(N, t) := t −∞ v(N, τ)dτ satisfies the HJ equation ∂tX − W(N, −∂N X, t) = 0, (16) And I(N, t) solves the ODE ∂tI(N, t) = 0, I(N, 0) = i0(N), for any N. G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 34 / 79
  • 40. Variational principle applied to GSOM models GSOM family GSOM in Lagrangian (n, t) (continued) Legendre-Fenchel transform of W according to r M(N, c, t) = sup r∈R {W(N, r, t) − cr} M(N, p, t) pq W(N, q, t) W(N, r, t) q r p p u c Transform M G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 35 / 79
  • 41. Variational principle applied to GSOM models GSOM family GSOM in Lagrangian (n, t) (continued) Lax-Hopf formula X(NT , T) = min u(.),(N0,t0) T t0 M(N, u, t)dt + c(N0, t0), ˙N = u u ∈ U N(t0) = N0, N(T) = NT (N0, t0) ∈ K (17) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 36 / 79
  • 42. Variational principle applied to GSOM models GSOM family GSOM in Lagrangian (n, t) (continued) Optimal trajectories = characteristics ˙N = ∂r W(N, r, t), ˙r = −∂N W(N, r, t), (18) System of ODEs to solve Difficulty: not straight lines in the general case G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 37 / 79
  • 43. Variational principle applied to GSOM models Methodology General ideas First key element: Lax-Hopf formula Computations only for the characteristics X(NT , T) = min (N0,r0,t0) T t0 M(N, ∂r W(N, r, t), t)dt + c(N0, r0, t0), ˙N(t) = ∂r W(N, r, t) ˙r(t) = −∂N W(N, r, t) N(t0) = N0, r(t0) = r0, N(T) = NT (N0, r0, t0) ∈ K (19) K := Dom(c) is the set of initial/boundary values G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 38 / 79
  • 44. Variational principle applied to GSOM models Methodology General ideas (continued) Second key element: inf-morphism prop. [Aubin et al, 2011] Consider a union of sets (initial and boundary conditions) K = l Kl , then the global minimum is X(NT , T) = min l Xl (NT , T), (20) with Xl partial solution to sub-problem Kl . G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 39 / 79
  • 45. Variational principle applied to GSOM models Numerical example Fundamental Diagram and Driver Attribute 0 20 40 60 80 100 120 140 160 180 200 0 500 1000 1500 2000 2500 3000 3500 Density ρ (veh/km) FlowF(veh/h) Fundamental diagram F(ρ,I) 0 5 10 15 20 25 30 35 40 45 50 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5 Label N Initial conditions I(N,t 0 ) DriverattributeI 0 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 40 / 79
  • 46. Variational principle applied to GSOM models Numerical example Initial and Boundaries Conditions 0 5 10 15 20 25 30 35 40 45 50 5 10 15 20 25 30 35 40 45 50 Label N Initial conditions r(N,t 0 ) Spacingr0 (m) 0 5 10 15 20 25 30 35 40 45 50 −1400 −1200 −1000 −800 −600 −400 −200 0 Label N PositionX(m) Initial positions X(N,t 0 ) 0 20 40 60 80 100 120 12 14 16 18 20 22 24 26 28 30 Time t (s) Spacing r(N 0 ,t) Spacingr 0 (m.s −1 ) 0 20 40 60 80 100 120 0 500 1000 1500 2000 2500 Time t (s) PositionX0 (m) Position X(N 0 ,t) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 41 / 79
  • 47. Variational principle applied to GSOM models Numerical example Numerical result (Initial cond. + first traj.) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 42 / 79
  • 48. Variational principle applied to GSOM models Numerical example Numerical result (Initial cond. + first traj.) 0 20 40 60 80 100 120 −1500 −1000 −500 0 500 1000 1500 2000 2500 Location(m) Time (s) Vehicles trajectories G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 43 / 79
  • 49. Variational principle applied to GSOM models Numerical example Numerical result (Initial cond.+ 3 traj.) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 44 / 79
  • 50. Variational principle applied to GSOM models Numerical example Numerical result (Initial cond. + 3 traj.) 0 20 40 60 80 100 120 −1500 −1000 −500 0 500 1000 1500 2000 2500 Location(m) Time (s) Vehicles trajectories G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 45 / 79
  • 51. Variational principle applied to GSOM models Numerical example Numerical result (Initial cond. + 3 traj. + Eulerian data) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 46 / 79
  • 52. HJ equations on a junction Outline 1 Introduction to traffic 2 Micro to macro in traffic models 3 Variational principle applied to GSOM models 4 HJ equations on a junction 5 Conclusions and perspectives G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 47 / 79
  • 53. HJ equations on a junction Motivation Classical approaches: Macroscopic modeling on (homogeneous) sections Coupling conditions at (pointwise) junction For instance, consider    ∂tρ + ∂x Q(ρ) = 0, scalar conservation law, ρ(., t = 0) = ρ0(.), initial conditions, ψ(ρ(x = 0− , t) upstream , ρ(x = 0+ , t) downstream ) = 0, coupling condition. (21) See Garavello, Piccoli [3], Lebacque, Khoshyaran [6] and Bressan et al. [1] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 48 / 79
  • 54. HJ equations on a junction HJ junction model Star-shaped junction JN J1 J2 branch Jα x x 0 x x G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 49 / 79
  • 55. HJ equations on a junction HJ junction model Junction model Proposition (Junction model [IMZ, ’13]) That leads to the following junction model (see [5])    ∂tuα + Hα (∂x uα) = 0, x > 0, α = 1, . . . , N uα = uβ =: u, x = 0, ∂tu + H ∂x u1, . . . , ∂x uN = 0, x = 0 (22) with initial condition uα(0, x) = uα 0 (x) and H ∂x u1 , . . . , ∂x uN = max α=1,...,N H− α (∂x uα ) from optimal control . G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 50 / 79
  • 56. HJ equations on a junction HJ junction model Basic assumptions For all α = 1, . . . , N, (A0) The initial condition uα 0 is Lipschitz continuous. (A1) The Hamiltonians Hα are C1(R) and convex such that: p H− α (p) H+ α (p) pα 0 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 51 / 79
  • 57. HJ equations on a junction Numerical scheme Presentation of the scheme Proposition (Numerical Scheme) Let us consider the discrete space and time derivatives: pα,n i := Uα,n i+1 − Uα,n i ∆x and (DtU)α,n i := Uα,n+1 i − Uα,n i ∆t Then we have the following numerical scheme:    (DtU)α,n i + max{H+ α (pα,n i−1), H− α (pα,n i )} = 0, i ≥ 1 Un 0 := Uα,n 0 , i = 0, α = 1, ..., N (DtU)n 0 + max α=1,...,N H− α (pα,n 0 ) = 0, i = 0 (23) With the initial condition Uα,0 i := uα 0 (i∆x). ∆x and ∆t = space and time steps satisfying a CFL condition G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 52 / 79
  • 58. HJ equations on a junction Mathematical results Stronger CFL condition −m0 pα p Hα(p) pα As for any α = 1, . . . , N, we have (gradient estimates) pα ≤ pα,n i ≤ pα for all i, n ≥ 0 Then the CFL condition becomes: ∆x ∆t ≥ sup α=1,...,N pα∈[pα ,pα] |H′ α(pα)| (24) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 53 / 79
  • 59. HJ equations on a junction Mathematical results Existence and uniqueness Theorem (Existence and uniqueness [IMZ, ’13]) Under (A0)-(A1), there exists a unique viscosity solution u of (22) on the junction, satisfying for some constant CT > 0 |u(t, y) − u0(y)| ≤ CT for all (t, y) ∈ JT . Moreover the function u is Lipschitz continuous with respect to (t, y). G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 54 / 79
  • 60. HJ equations on a junction Mathematical results Convergence Theorem (Convergence from discrete to continuous [CML, ’13]) Assume that (A0)-(A1) and the CFL condition (24) are satisfied. Then the numerical solution converges uniformly to u the unique viscosity solution of the junction model (22) when ε := (∆t, ∆x) → 0 lim sup ε→0 sup (n∆t,i∆x)∈K |uα (n∆t, i∆x) − Uα,n i | = 0 Proof G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 55 / 79
  • 61. HJ equations on a junction Traffic interpretation Setting J1 JNI JNI +1 JNI +NO x < 0 x = 0 x > 0 Jβ γβ Jλ γλ NI incoming and NO outgoing roads G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 56 / 79
  • 62. HJ equations on a junction Traffic interpretation Links with “classical” approach Definition (Discrete car density) The discrete vehicle density ρα,n i with n ≥ 0 and i ∈ Z is given by: ρα,n i :=    γαpα,n |i|−1 for α = 1, ..., NI , i ≤ −1 −γαpα,n i for α = NI + 1, ..., NI + NO, i ≥ 0 (25) J1 JNI JNI +1 JNI +NO x < 0 x > 0 −2 −1 2 1 0 −2 −2 −1 −1 1 1 2 2 Jβ Jλ ρλ,n 1 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 57 / 79
  • 63. HJ equations on a junction Traffic interpretation Traffic interpretation Proposition (Scheme for vehicles densities) The scheme deduced from (23) for the discrete densities is given by: ∆x ∆t {ρα,n+1 i − ρα,n i } =    Fα(ρα,n i−1, ρα,n i ) − Fα(ρα,n i , ρα,n i+1) for i = 0, −1 Fα 0 (ρ·,n 0 ) − Fα(ρα,n i , ρα,n i+1) for i = 0 Fα(ρα,n i−1, ρα,n i ) − Fα 0 (ρ·,n 0 ) for i = −1 With    Fα(ρα,n i−1, ρα,n i ) := min Qα D(ρα,n i−1), Qα S (ρα,n i ) Fα 0 (ρ·,n 0 ) := γα min min β≤NI 1 γβ Qβ D(ρβ,n 0 ), min λ>NI 1 γλ Qλ S (ρλ,n 0 ) incoming outgoing ρλ,n 0ρβ,n −1ρβ,n −2 ρλ,n 1 x x = 0 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 58 / 79
  • 64. HJ equations on a junction Traffic interpretation Supply and demand functions Remark It recovers the seminal Godunov scheme with passing flow = minimum between upstream demand QD and downstream supply QS. Density ρ ρcrit ρmax Supply QS Qmax Density ρ ρcrit ρmax Flow Q Qmax Density ρ ρcrit Demand QD Qmax From [Lebacque ’93, ’96] and [Daganzo ’95] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 59 / 79
  • 65. HJ equations on a junction Numerical simulation Example of a Diverge An off-ramp: J1 ρ1 J2 ρ2 ρ3 J3 with    γe = 1, γl = 0.75, γr = 0.25 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 60 / 79
  • 66. HJ equations on a junction Numerical simulation Fundamental Diagrams 0 50 100 150 200 250 300 350 0 500 1000 1500 2000 2500 3000 3500 4000 (ρ c ,f max ) (ρ c ,f max ) Density (veh/km) Flow(veh/h) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 61 / 79
  • 67. HJ equations on a junction Numerical simulation Initial conditions (t=0s) −200 −150 −100 −50 0 0 10 20 30 40 50 60 70 Road n° 1 (t= 0s) Position (m) Density(veh/km) 0 50 100 150 200 0 10 20 30 40 50 60 70 Road n° 2 (t= 0s) Position (m) Density(veh/km) 0 50 100 150 200 0 10 20 30 40 50 60 70 Road n° 3 (t= 0s) Position (m) Density(veh/km) G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 62 / 79
  • 68. HJ equations on a junction Numerical simulation Numerical solution: densities G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 63 / 79
  • 69. HJ equations on a junction Numerical simulation Numerical solution: Hamilton-Jacobi G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 64 / 79
  • 70. HJ equations on a junction Numerical simulation Trajectories 1 2 3 4 56 7 78 8 9 9 10 10 11 11 12 12 13 13 Trajectories on road n° 1 Position (m) Time(s) −200 −150 −100 −50 0 0 5 10 15 0 0 1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8 9 9 10 10 11 12 Trajectories on road n° 2 Position (m) Time(s) 0 50 100 150 200 0 5 10 15 0 0 1 1 2 2 3 3 4 4 5 56 6 7 7 8 8 9 10 11 12 Trajectories on road n° 3 Position (m) Time(s) 0 50 100 150 200 0 5 10 15 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 65 / 79
  • 71. HJ equations on a junction Recent developments New junction model Proposition (Junction model [IM, ’14]) From [4], we have    ∂tuα + Hα (∂x uα) = 0, x > 0, α = 1, . . . , N uα = uβ =: u, x = 0, ∂tu + H ∂x u1, . . . , ∂x uN = 0, x = 0 (26) with initial condition uα(0, x) = uα 0 (x) and H ∂x u1 , . . . , ∂x uN = max flux limiter L , max α=1,...,N H− α (∂x uα ) minimum between demand and supply . G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 66 / 79
  • 72. HJ equations on a junction Recent developments Weaker assumptions on the Hamiltonians For all α = 1, . . . , N, (A0) The initial condition uα 0 is Lipschitz continuous. (A1) The Hamiltonians Hα are continuous and quasi-convex i.e. there exists points pα 0 such that    Hα is non-increasing on (−∞, pα 0 ], Hα is non-decreasing on [pα 0 , +∞). G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 67 / 79
  • 73. HJ equations on a junction Recent developments Homogenization on a network Proposition (Homogenization on a periodic network [IM’14]) Assume (A0)-(A1). Consider a periodic network. If uε ∈ Rd satisfies HJ equation on network, then uε converges uniformly towards u0 when ε → 0, with u0 ∈ Rd solution of ∂tu0 + H Du0 = 0, t > 0, x ∈ Rd (27) See [Imbert, Monneau ’14] [4] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 68 / 79
  • 74. HJ equations on a junction Recent developments Numerical homogenization on a network Numerical scheme adapted to the cell problem (d = 2) Traffic Traffic eH γH eV γH γV γV i = 0 i = N 2 i = − N 2 G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 69 / 79
  • 75. HJ equations on a junction Recent developments First example Proposition (Effective Hamiltonian for fixed coefficients [IM’14]) If (γH , γV ) are fixed, then the (Hamiltonian) effective Hamiltonian H is given by H (∂x uH , ∂x uV ) = max L, max i={H,V } H (∂x ui ) , (traffic flow) effective flow Q is given by F(ρH , ρV ) = min −L, F(ρH) γH , F(ρV ) γV . G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 70 / 79
  • 76. HJ equations on a junction Recent developments First example Numerics: assume F(ρ) = 4ρ(1 − ρ) and L = −1.5, G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 71 / 79
  • 77. HJ equations on a junction Recent developments Second example Two consecutive traffic signals on a 1D road flow l LL x1 x2xE E xS S Homogenization theory by [Galise, Imbert, Monneau, ’14] G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 72 / 79
  • 78. HJ equations on a junction Recent developments Second example Effective flux limiter −L (numerics only) 0 5 10 15 20 25 30 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 Offset (s) Fluxlimiter l=0 m l=5 m l=10 m l=20 m G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 73 / 79
  • 79. Conclusions and perspectives Outline 1 Introduction to traffic 2 Micro to macro in traffic models 3 Variational principle applied to GSOM models 4 HJ equations on a junction 5 Conclusions and perspectives G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 74 / 79
  • 80. Conclusions and perspectives Personal conclusions Advantages Drawbacks Micro-macro link Limited time delay Homogeneous Explicit solutions Concavity of the FD link Data assimilation Exactness (2nd order) Multilane Uniqueness of the solution Fixed proportions Junction Homogenization result Multilane G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 75 / 79
  • 81. Conclusions and perspectives Perspectives Some open questions: Micro-macro: higher time delay? Confront the results with real data (micro datasets) Explicit Lax-Hopf formula for time/space dependent Hamiltonians? G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 76 / 79
  • 82. References Some references I A. Bressan, S. Canic, M. Garavello, M. Herty, and B. Piccoli, Flows on networks: recent results and perspectives, EMS Surveys in Mathematical Sciences, (2014). G. Costeseque and J.-P. Lebacque, A variational formulation for higher order macroscopic traffic flow models: numerical investigation, Transp. Res. Part B: Methodological, (2014). M. Garavello and B. Piccoli, Traffic flow on networks, American institute of mathematical sciences Springfield, MO, USA, 2006. C. Imbert and R. Monneau, Level-set convex Hamilton–Jacobi equations on networks, (2014). C. Imbert, R. Monneau, and H. Zidani, A Hamilton–Jacobi approach to junction problems and application to traffic flows, ESAIM: Control, Optimisation and Calculus of Variations, 19 (2013), pp. 129–166. G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 77 / 79
  • 83. References Some references II J.-P. Lebacque and M. M. Khoshyaran, First-order macroscopic traffic flow models: Intersection modeling, network modeling, in Transportation and Traffic Theory. Flow, Dynamics and Human Interaction. 16th International Symposium on Transportation and Traffic Theory, 2005. G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 78 / 79
  • 84. References Thanks for your attention Any question? guillaume.costeseque@inria.fr G. Costeseque (Inria) HJ on networks Berkeley, Oct. 09 2015 79 / 79