let intersection of reach sets create a reach set

JuliaReach · Jan 8, 2025 · 6538da6 · 6538da6
1 parent 92b5729
commit 6538da6
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src/ReachSets/AbstractReachSet.jl b/src/ReachSets/AbstractReachSet.jl
@@ -260,7 +260,15 @@ end
 
 function intersection(R::AbstractReachSet, S::AbstractReachSet,
                       method::AbstractIntersectionMethod=FallbackIntersection())
-    return _intersection(set(R), set(S), method)
+    T1 = tspan(R)
+    T2 = tspan(S)
+    T = T1 ∩ T2
+    if isempty(T)
+        throw(ArgumentError("cannot intersect reach sets with disjoint time intervals"))
+    end
+
+    cap = _intersection(set(R), set(S), method)
+    return ReachSet(cap, T)
 end
 
 # fallback methods for reach-sets