add comm

Author: alecarraro

src/Algorithms/HLBS25/reach_homog.jl

@@ -50,7 +50,7 @@ function reach_homog_HLBS25!(F::Vector{ReachSet{N,S}},
                              Δt0::TimeInterval,
                              idg::IDGenerator) where {N,S<:SparsePolynomialZonotope{N},
                                                       MN<:AbstractMatrix{N}}
-    _ = idg
+    _ = idg #remove?
     # initial reach set
     Δt = (zero(N) .. δ) + Δt0
     Z_poly, Z_zono = _split_reduce_spz(Ω0, max_order_poly, max_order_zono, reduction_method)

src/Discretization/CorrectionHullMatrixZonotope.jl

@@ -1,12 +1,14 @@
 module CorrectionHullMatrixZonotopeModule
 
 using LazySets: ExponentialMap, MatrixZonotope, MatrixZonotopeExp,
-                SparsePolynomialZonotope, dim, indexvector, ngens,
-                overapproximate
+                SparsePolynomialZonotope, AbstractZonotope,
+                dim, indexvector, ngens, overapproximate
 using Reexport: @reexport
 using MathematicalSystems: IVP, LinearParametricContinuousSystem,
-                           LinearParametricDiscreteSystem, initial_state,
-                           state_matrix
+                           LinearParametricDiscreteSystem,
+                           ConstrainedLinearControlParametricContinuousSystem,
+                           ConstrainedLinearControlParametricDiscreteSystem,
+                           initial_state, state_matrix
 using ..DiscretizationModule
 using ..ReachabilityAnalysis: IDGenerator, synchronize!, fresh!
 using LinearAlgebra: I, norm