Merge pull request #2888 from JuliaReach/schillic-patch-1

New version of IntervalMatrices

Author: schillic

Project.toml

@@ -30,7 +30,7 @@ GLPKMathProgInterface = "0.4, 0.5"
 GR = "0"
 IntervalArithmetic = "0.15, 0.16, 0.17, 0.18, 0.19"
 IntervalConstraintProgramming = "0.9, 0.10, 0.11, 0.12"
-IntervalMatrices = "0.2, 0.3, 0.4, 0.5, 0.6"
+IntervalMatrices = "0.8"
 Javis = "0.5"
 JuMP = "0.21"
 Makie = "0.9, 0.10, 0.11, 0.12"

src/Approximations/overapproximate.jl

@@ -1050,7 +1050,7 @@ end # load_taylormodels_overapproximation
 function load_intervalmatrices_overapproximation()
 return quote
 
-using .IntervalMatrices: AbstractIntervalMatrix, split
+using .IntervalMatrices: AbstractIntervalMatrix, midpoint_radius
 
 # temporary patch for IntervalArithmetic#317
 function convert(::Type{IntervalMatrices.Interval{T}},
@@ -1096,7 +1096,7 @@ uncertain parameters and inputs. CDC 2007.
 function overapproximate(lm::LinearMap{N, <:AbstractZonotope, NM,
                                        <:AbstractIntervalMatrix{NM}},
                          ::Type{<:Zonotope}) where {N, NM}
-    Mc, Ms = split(lm.M)
+    Mc, Ms = midpoint_radius(lm.M)
     Z = lm.X
     c = Mc * center(Z)
     n = dim(lm)