Skip to content

Commit 6fb396d

Browse files
authored
Merge pull request #756 from JuliaReach/mforets-patch-6
Update GLGM06 for the homogeneous case
2 parents 49fa088 + 781be16 commit 6fb396d

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

  • src/ReachSets/ContinuousPost/GLGM06

src/ReachSets/ContinuousPost/GLGM06/reach.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,12 +10,12 @@ function reach_homog!(R::Vector{ReachSet{Zonotope{Float64}}},
1010
max_order::Int)
1111
# initial reach set
1212
t0, t1 = zero(δ), δ
13-
R[1] = ReachSet(Ω0, t0, t1)
13+
Ω0red = reduce_order(Ω0, max_order)
14+
R[1] = ReachSet(Ω0red, t0, t1)
1415

1516
k = 2
1617
while k <= N
1718
Rₖ = linear_map(Φ, set(R[k-1]))
18-
Rₖ = reduce_order(Rₖ, max_order)
1919
t0 = t1
2020
t1 += δ
2121
R[k] = ReachSet(Rₖ, t0, t1)

0 commit comments

Comments
 (0)