Remove leftovers of previous name

Zinoex · Jan 13, 2025 · a7014ab · a7014ab
1 parent 5c14de2
commit a7014ab
Show file tree

Hide file tree

Showing 22 changed files with 63 additions and 63 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -73,6 +73,6 @@ jobs:
         shell: julia --project=docs --color=yes {0}
         run: |
           using Documenter: DocMeta, doctest
-          using IntervalSySCoRe
-          DocMeta.setdocmeta!(IntervalSySCoRe, :DocTestSetup, :(using IntervalSySCoRe); recursive=true)
-          doctest(IntervalSySCoRe)
+          using IntervalMDPAbstractions
+          DocMeta.setdocmeta!(IntervalMDPAbstractions, :DocTestSetup, :(using IntervalMDPAbstractions); recursive=true)
+          doctest(IntervalMDPAbstractions)
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
-# IntervalSySCoRe
+# IntervalMDPAbstractions
 
-[![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://Zinoex.github.io/IntervalSySCoRe.jl/stable/)
-[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://Zinoex.github.io/IntervalSySCoRe.jl/dev/)
-[![Build Status](https://github.com/Zinoex/IntervalSySCoRe.jl/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/Zinoex/IntervalSySCoRe.jl/actions/workflows/CI.yml?query=branch%3Amain)
-[![Coverage](https://codecov.io/gh/Zinoex/IntervalSySCoRe.jl/branch/main/graph/badge.svg)](https://codecov.io/gh/Zinoex/IntervalSySCoRe.jl)
+[![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://Zinoex.github.io/IntervalMDPAbstractions.jl/stable/)
+[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://Zinoex.github.io/IntervalMDPAbstractions.jl/dev/)
+[![Build Status](https://github.com/Zinoex/IntervalMDPAbstractions.jl/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/Zinoex/IntervalMDPAbstractions.jl/actions/workflows/CI.yml?query=branch%3Amain)
+[![Coverage](https://codecov.io/gh/Zinoex/IntervalMDPAbstractions.jl/branch/main/graph/badge.svg)](https://codecov.io/gh/Zinoex/IntervalMDPAbstractions.jl)
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,3 +1,3 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-IntervalSySCoRe = "6214ee8e-79dc-449b-ae00-4c9ff82a02a9"
+IntervalMDPAbstractions = "6214ee8e-79dc-449b-ae00-4c9ff82a02a9"
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,23 +1,23 @@
-using IntervalSySCoRe
+using IntervalMDPAbstractions
 using Documenter
 
 DocMeta.setdocmeta!(
-    IntervalSySCoRe,
+    IntervalMDPAbstractions,
     :DocTestSetup,
-    :(using IntervalSySCoRe);
+    :(using IntervalMDPAbstractions);
     recursive = true,
 )
 
 makedocs(;
-    modules = [IntervalSySCoRe],
+    modules = [IntervalMDPAbstractions],
     authors = "Frederik Baymler Mathiesen",
-    sitename = "IntervalSySCoRe.jl",
+    sitename = "IntervalMDPAbstractions.jl",
     format = Documenter.HTML(;
-        canonical = "https://Zinoex.github.io/IntervalSySCoRe.jl",
+        canonical = "https://Zinoex.github.io/IntervalMDPAbstractions.jl",
         edit_link = "main",
         assets = String[],
     ),
     pages = ["Home" => "index.md"],
 )
 
-deploydocs(; repo = "github.com/Zinoex/IntervalSySCoRe.jl", devbranch = "main")
+deploydocs(; repo = "github.com/Zinoex/IntervalMDPAbstractions.jl", devbranch = "main")
diff --git a/docs/src/index.md b/docs/src/index.md
@@ -1,14 +1,14 @@
 ```@meta
-CurrentModule = IntervalSySCoRe
+CurrentModule = IntervalMDPAbstractions
 ```
 
-# IntervalSySCoRe
+# IntervalMDPAbstractions
 
-Documentation for [IntervalSySCoRe](https://github.com/Zinoex/IntervalSySCoRe.jl).
+Documentation for [IntervalMDPAbstractions](https://github.com/Zinoex/IntervalMDPAbstractions.jl).
 
 ```@index
 ```
 
 ```@autodocs
-Modules = [IntervalSySCoRe]
+Modules = [IntervalMDPAbstractions]
 ```
diff --git a/examples/Project.toml b/examples/Project.toml
@@ -7,7 +7,7 @@ DelimitedFiles = "8bb1440f-4735-579b-a4ab-409b98df4dab"
 Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
 HDF5 = "f67ccb44-e63f-5c2f-98bd-6dc0ccc4ba2f"
 IntervalMDP = "051c988a-e73c-45a4-90ec-875cac0402c7"
-IntervalSySCoRe = "6214ee8e-79dc-449b-ae00-4c9ff82a02a9"
+IntervalMDPAbstractions = "6214ee8e-79dc-449b-ae00-4c9ff82a02a9"
 JLD2 = "033835bb-8acc-5ee8-8aae-3f567f8a3819"
 JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"
 LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"

diff --git a/examples/systems/almost_identity.jl b/examples/systems/almost_identity.jl
@@ -1,5 +1,5 @@
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 
 function almost_identity_sys(num_dims::Int, time_horizon)
@@ -52,7 +52,7 @@ function almost_identity_decoupled(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -81,7 +81,7 @@ function almost_identity_direct(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end

diff --git a/examples/systems/bas_4d.jl b/examples/systems/bas_4d.jl
@@ -1,5 +1,5 @@
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 
 function building_automation_system_4d(time_horizon)
@@ -63,7 +63,7 @@ function building_automation_system_4d_decoupled(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -96,7 +96,7 @@ function building_automation_system_4d_direct(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end

diff --git a/examples/systems/big.jl b/examples/systems/big.jl
@@ -1,5 +1,5 @@
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 
 function big_sys(num_dims::Int, time_horizon)
@@ -49,7 +49,7 @@ function big_decoupled(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -78,7 +78,7 @@ function big_direct(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -127,7 +127,7 @@ function small_direct(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end

diff --git a/examples/systems/car_parking.jl b/examples/systems/car_parking.jl
@@ -1,5 +1,5 @@
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 
 function car_parking_sys(time_horizon)
@@ -53,7 +53,7 @@ function car_parking_decoupled(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -90,7 +90,7 @@ function car_parking_direct(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end

diff --git a/examples/systems/gp_dkl.jl b/examples/systems/gp_dkl.jl
@@ -1,5 +1,5 @@
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 using NPZ
 
@@ -99,7 +99,7 @@ function dubins_car_decoupled(time_horizon = 10; sparse = false)
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -124,7 +124,7 @@ function dubins_car_direct(time_horizon = 10; sparse = true)
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
diff --git a/examples/systems/linear_stochastically_switched.jl b/examples/systems/linear_stochastically_switched.jl
@@ -1,5 +1,5 @@
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 
 function linear_stochastically_switched_sys(time_horizon)
@@ -62,7 +62,7 @@ function linear_stochastically_switched_direct(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -90,7 +90,7 @@ function linear_stochastically_switched_mixture(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end

diff --git a/examples/systems/nndm.jl b/examples/systems/nndm.jl
@@ -4,7 +4,7 @@ const MatlabFile = Union{MAT_v4.Matlabv4File,MAT_v5.Matlabv5File,MAT_HDF5.Matlab
 using HDF5
 
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 function load_dynamics(partitions::MatlabFile)
     # Extract hypercube data
@@ -322,7 +322,7 @@ function action_cartpole_decoupled(time_horizon = 10; sparse = false)
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -350,7 +350,7 @@ function action_cartpole_direct(time_horizon = 10; sparse = false)
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
diff --git a/examples/systems/robot_2d.jl b/examples/systems/robot_2d.jl
@@ -1,18 +1,18 @@
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 """
     InputRobot
 
 Input abstraction ONLY for the 2D robot example.
 """
-struct InputRobot <: IntervalSySCoRe.InputAbstraction
+struct InputRobot <: IntervalMDPAbstractions.InputAbstraction
     input_space::Hyperrectangle
     ranges::NTuple{2,Real}
 end
-IntervalSySCoRe.numinputs(input::InputRobot) = prod(input.ranges)
-IntervalSySCoRe.issetbased(input::InputRobot) = false
-function IntervalSySCoRe.inputs(input::InputRobot)
+IntervalMDPAbstractions.numinputs(input::InputRobot) = prod(input.ranges)
+IntervalMDPAbstractions.issetbased(input::InputRobot) = false
+function IntervalMDPAbstractions.inputs(input::InputRobot)
     l = low(input.input_space)
     h = high(input.input_space)
     ranges = [LinRange(l, h, num_steps) for (l, h, num_steps) in zip(l, h, input.ranges)]
@@ -87,7 +87,7 @@ function robot_2d_decoupled(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -118,7 +118,7 @@ function robot_2d_direct(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end

diff --git a/examples/systems/van_der_pol.jl b/examples/systems/van_der_pol.jl
@@ -1,5 +1,5 @@
 using LinearAlgebra, LazySets, Plots
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 
 function van_der_pol_sys(time_horizon; sampling_time = 0.1)
@@ -48,7 +48,7 @@ function van_der_pol_decoupled(
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -69,7 +69,7 @@ function van_der_pol_direct(time_horizon = 10; state_split = (50, 50), input_spl
 
     upper_bound_spec = Specification(system_property(spec), !satisfaction_mode(spec))
     upper_bound_spec =
-        IntervalSySCoRe.convert_specification(upper_bound_spec, state_abs, target_model)
+        IntervalMDPAbstractions.convert_specification(upper_bound_spec, state_abs, target_model)
 
     return mdp, abstract_spec, upper_bound_spec
 end
@@ -83,8 +83,8 @@ function van_der_pol_plot_nominal()
     U = Hyperrectangle(low = [-1.0], high = [1.0])
     input_abs = InputLinRange(U, 10)
 
-    R = IntervalSySCoRe.regions(state_abs)[837]
-    u = IntervalSySCoRe.inputs(input_abs)[3]
+    R = IntervalMDPAbstractions.regions(state_abs)[837]
+    u = IntervalMDPAbstractions.inputs(input_abs)[3]
 
     Y = nominal(dynamics(sys), R, u)
 

diff --git a/test/Project.toml b/test/Project.toml
@@ -1,6 +1,6 @@
 [deps]
 IntervalMDP = "051c988a-e73c-45a4-90ec-875cac0402c7"
-IntervalSySCoRe = "6214ee8e-79dc-449b-ae00-4c9ff82a02a9"
+IntervalMDPAbstractions = "6214ee8e-79dc-449b-ae00-4c9ff82a02a9"
 LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Revise = "295af30f-e4ad-537b-8983-00126c2a3abe"

diff --git a/test/abstractions/compare_abstractions.jl b/test/abstractions/compare_abstractions.jl
@@ -1,6 +1,6 @@
 using Revise, Test
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 include("example_systems.jl")
 

diff --git a/test/abstractions/decoupled.jl b/test/abstractions/decoupled.jl
@@ -1,6 +1,6 @@
 using Revise, Test
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 include("example_systems.jl")
 

diff --git a/test/abstractions/direct.jl b/test/abstractions/direct.jl
@@ -1,6 +1,6 @@
 using Revise, Test
 using LinearAlgebra, LazySets
-using IntervalMDP, IntervalSySCoRe
+using IntervalMDP, IntervalMDPAbstractions
 
 include("example_systems.jl")
 

diff --git a/test/abstractions/example_systems.jl b/test/abstractions/example_systems.jl
@@ -1,4 +1,4 @@
-using IntervalSySCoRe, LazySets
+using IntervalMDPAbstractions, LazySets
 
 if !@isdefined example_systems_included
     example_systems_included = true

diff --git a/test/dynamics/affine_additive_gaussian.jl b/test/dynamics/affine_additive_gaussian.jl
@@ -1,5 +1,5 @@
 using Revise, Test
-using IntervalSySCoRe, LazySets
+using IntervalMDPAbstractions, LazySets
 
 # System definition
 A = [1.0 0.5; 0.0 1.0]