search

rayomaz / BarrierBellman

Constructing a piecewise barrier
0 stars 0 forks source link

Method for AdditiveGaussianLinearSystem for SOS #54

Closed rayomaz closed 1 year ago

rayomaz commented 1 year ago

When running linear_sos.jl, error message:

LoadError: MethodError: no method matching synthesize_barrier(::SumOfSquaresAlgorithm, ::AdditiveGaussianLinearSystem{Float64, 1}, ::Hyperrectangle{Float64, Vector{Float64}, Vector{Float64}}, ::∅)

I indeed do not observe a synthesize_barrier() of type AdditiveGaussianLinearSystem in sum_of_squares_barrier.jl

rayomaz commented 1 year ago

Removed system type to allow for AdditiveGaussianLinearSystem. Issue fixed