Step-by-step example¶
This page gives a short introduction to the interface of this package. It explains the resolution with SDDP of a classical example: the management of a dam over one year with random inflow.
Use case¶
In the following, \(x_t\) will denote the state and \(u_t\) the control at time \(t\). We will consider a dam, whose dynamic is:
At time \(t\), we have a random inflow \(w_t\) and we choose to turbine a quantity \(u_t\) of water.
The turbined water is used to produce electricity, which is being sold at a price \(c_t\). At time \(t\) we gain:
We want to minimize the following criterion:
We will assume that both states and controls are bounded:
Problem definition in Julia¶
We will consider 52 time steps as we want to find optimal value functions for one year:
N_STAGES = 52
and we consider the following initial position:
X0 = [50]
Note that X0 is a vector.
Dynamic¶
We write the dynamic (which return a vector):
function dynamic(t, x, u, xi)
return [x[1] + u[1] - xi[1]]
end
Cost¶
we store evolution of costs \(c_t\) in an array COSTS, and we define the cost function (which return a float):
function cost_t(t, x, u, w)
return COSTS[t] * u[1]
end
Noises¶
Noises are defined in an array of Noiselaw. This type defines a discrete probability.
For instance, if we want to define a uniform probability with size \(N= 10\), such that:
we write:
N = 10
proba = 1/N*ones(N) # uniform probabilities
xi_support = collect(linspace(1,N,N))
xi_law = NoiseLaw(xi_support, proba)
Thus, we could define a different probability laws for each time \(t\). Here, we suppose that the probability is constant over time, so we could build the following vector:
xi_laws = NoiseLaw[xi_law for t in 1:N_STAGES-1]
Problem definition¶
As our problem is purely linear, we instantiate:
spmodel = LinearDynamicLinearCostSPmodel(N_STAGES,u_bounds,X0,cost_t,dynamic,xi_laws)
Solver¶
We define a SDDP solver for our problem.
First, we need to use a LP solver:
using Clp
SOLVER = ClpSolver()
Clp is automatically installed during package installation. To install different solvers on your machine, refer to the JuMP documentation.
Once the solver installed, we define SDDP algorithm parameters:
forwardpassnumber = 2 # number of forward pass
sensibility = 0. # admissible gap between upper and lower bound
max_iter = 20 # maximum number of iterations
paramSDDP = SDDPparameters(SOLVER, forwardpassnumber, sensibility, max_iter)
Now, we solve the problem by computing Bellman values:
V, pbs = solve_SDDP(spmodel, paramSDDP, 10) # display information every 10 iterations
V
is an array storing the value functions, and pbs
a vector of JuMP.Model storing each value functions as a linear problem.
We have an exact lower bound given by V
with the function:
lb_sddp = StochDynamicProgramming.get_lower_bound(spmodel, paramSDDP, V)
Find optimal controls¶
Once Bellman functions are computed, we can control our system over assessments scenarios, without assuming knowledge of the future.
We build 1000 scenarios according to the laws stored in xi_laws
:
scenarios = StochDynamicProgramming.simulate_scenarios(xi_laws,1000)
We compute 1000 simulations of the system over these scenarios:
costsddp, stocks = forward_simulations(spmodel, paramSDDP, V, pbs, scenarios)
costsddp
returns the costs for each scenario, and stocks
the evolution of each stock along time, for each scenario.