How to solve infinite horizon problem under Makovian policy graph in SDDP.jl?

Can the infinite horizon problem instance be solved under a Markovian Policy graph using SDDP.jl?

Yes.

See Create a general policy graph · SDDP.jl for instructions on how to create an arbitrary graph. I would start with a SDDP.MarkovianGraph and then add the cyclic edges.

Here’s the code for the model in https://doi.org/10.1002/net.21932: