Merge pull request #609 from JuliaReach/schillic/fix

Fix overapproximate(::TMRS, ::Zonotope, ::AbstractFloat)
JuliaReach · Mar 5, 2022 · ddd9b9f · ddd9b9f · schillic · Mar 5, 2022
2 parents 624d22f + 75dab78
commit ddd9b9f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "ReachabilityAnalysis"
 uuid = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
-version = "0.16.4"
+version = "0.16.5"
 
 [deps]
 CommonSolve = "38540f10-b2f7-11e9-35d8-d573e4eb0ff2"

diff --git a/src/ReachSets/TaylorModelReachSet.jl b/src/ReachSets/TaylorModelReachSet.jl
@@ -331,7 +331,7 @@ function overapproximate(R::TaylorModelReachSet{N}, ::Type{<:Zonotope}, t::Abstr
 
     X = set(R)
     tn = t - tstart(R)  # normalize time (to TM-internal time)
-    tn = tn ∩ domain(R)  # intersection handles round-off errors
+    tn = interval(tn) ∩ domain(R)  # intersection handles round-off errors
     X_Δt = evaluate(X, tn)
     n = dim(R)
     X̂ = [TaylorModelN(X_Δt[j], zeroI, zeroBox(n), symBox(n)) for j in 1:n]