Merge pull request #117 from JuliaReach/schillic/hs

Prefix `Hybridsystems.` to avoid warnings

src/models/automatic_lane_change_system/automatic_lane_change_system.jl

@@ -150,7 +150,7 @@ function acc_model()
     resets = [R0, R1, R2, R3, R4, R5]
 
     ## hybrid system
-    S = HybridSystem(HA, modes, resets, fill(AutonomousSwitching(), 6))
+    S = HybridSystems.HybridSystem(HA, modes, resets, fill(AutonomousSwitching(), 6))
 
     return S
 end

src/models/bouncing_ball_nonlinear/bouncing_ball_nonlinear.jl

@@ -44,7 +44,7 @@ function bouncingBallNonlinear_model()
     Rβ = ConstrainedIdentityMap(2, G)
 
     ## hybrid system
-    S = HybridSystem(HA, [m1, m2], [Rα, Rβ], fill(AutonomousSwitching(), 2))
+    S = HybridSystems.HybridSystem(HA, [m1, m2], [Rα, Rβ], fill(AutonomousSwitching(), 2))
 
     return S
 end

src/models/cardiac_cell/cardiac_cell.jl

@@ -47,7 +47,7 @@ function cardiac_cell_hybrid()
     trans2 = ConstrainedResetMap(n, guard, reset)
     resetmaps = [trans1, trans2]
 
-    return HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
+    return HybridSystems.HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
 end
 
 function model(X0)

src/models/clocked_thermostat/clocked_thermostat.jl

@@ -41,7 +41,7 @@ function thermostat_hybrid′()
     trans2 = ConstrainedIdentityMap(1, guard)
     resetmaps = [trans1, trans2]
 
-    return HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
+    return HybridSystems.HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
 end
 
 function model(X0)

src/models/filtered_oscillator/filtered_oscillator.jl

@@ -108,7 +108,7 @@ function filtered_oscillator_hybrid(n0, one_loop_iteration)
     ## switchings
     s = [HybridSystems.AutonomousSwitching()]
 
-    return HybridSystem(a, m, r, s)
+    return HybridSystems.HybridSystem(a, m, r, s)
 end
 
 function model(X0; n0::Int=4, one_loop_iteration::Bool=false)

src/models/navigation_system/navigation_system.jl

@@ -95,7 +95,7 @@ function navigation_system_hybrid()
     trans8 = ConstrainedIdentityMap(4, guard)
     resetmaps = [trans1, trans2, trans3, trans4, trans5, trans6, trans7, trans8]
 
-    return HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
+    return HybridSystems.HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
 end
 
 function model(X0)

src/models/powertrain_control/powertrain_control.jl

@@ -85,7 +85,7 @@ function powertrain_control_hybrid()
     trans1 = ConstrainedResetMap(n, guard, reset)
     resetmaps = [trans1]
 
-    return HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
+    return HybridSystems.HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
 end
 
 function model(X0)

src/models/spiking_neuron/spiking_neuron.jl

@@ -26,7 +26,7 @@ function spikingNeuron_model()
     R11 = ConstrainedAffineMap(A, b, G)  # x1 := -65, x2 := x2 + 8
 
     ## hybrid system
-    S = HybridSystem(HA, [m1], [R11], [AutonomousSwitching()])
+    S = HybridSystems.HybridSystem(HA, [m1], [R11], [AutonomousSwitching()])
 
     return S
 end

src/models/thermostat/thermostat.jl

@@ -37,7 +37,7 @@ function thermostat_hybrid()
     trans2 = ConstrainedIdentityMap(1, guard)
     resetmaps = [trans1, trans2]
 
-    return HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
+    return HybridSystems.HybridSystem(automaton, modes, resetmaps, [AutonomousSwitching()])
 end
 
 function model(X0)