Refactoring of the Uniformgrid (#397)

* improve naming * clarifying discretization * refactoring abstraction building * fixing retro-compatible bug * adding docstrings * jformat
dionysos-dev · Jan 2, 2025 · b0f7cd9 · b0f7cd9
1 parent bbf5324
commit b0f7cd9
Show file tree

Hide file tree

Showing 3 changed files with 264 additions and 95 deletions.
diff --git a/docs/src/examples/solvers/DC-DC converter.jl b/docs/src/examples/solvers/DC-DC converter.jl
@@ -108,6 +108,7 @@ optimizer = MOI.instantiate(AB.UniformGridAbstraction.Optimizer)
 MOI.set(optimizer, MOI.RawOptimizerAttribute("concrete_problem"), concrete_problem)
 MOI.set(optimizer, MOI.RawOptimizerAttribute("state_grid"), state_grid)
 MOI.set(optimizer, MOI.RawOptimizerAttribute("input_grid"), input_grid)
+MOI.set(optimizer, MOI.RawOptimizerAttribute("jacobian_bound"), DCDC.jacobian_bound())
 MOI.set(
     optimizer,
     MOI.RawOptimizerAttribute("approx_mode"),

diff --git a/docs/src/reference/Optim.md b/docs/src/reference/Optim.md
@@ -17,3 +17,28 @@ Dionysos.Optim.BemporadMorari.Optimizer
 Dionysos.Optim.BranchAndBound.Optimizer
 ```
 
+## Solvers details
+
+### Uniform Grid Abstraction
+
+```@docs
+Dionysos.Optim.Abstraction.UniformGridAbstraction._get_domain_list
+Dionysos.Optim.Abstraction.UniformGridAbstraction._discretize_continuous_system
+Dionysos.Optim.Abstraction.UniformGridAbstraction._validate_continuous_model
+Dionysos.Optim.Abstraction.UniformGridAbstraction.solve_concrete_problem
+Dionysos.Optim.Abstraction.UniformGridAbstraction.build_abstraction
+Dionysos.Optim.Abstraction.UniformGridAbstraction.compute_controller_reach!
+Dionysos.Optim.Abstraction.UniformGridAbstraction._compute_num_targets_unreachable
+Dionysos.Optim.Abstraction.UniformGridAbstraction._discrete_system
+Dionysos.Optim.Abstraction.UniformGridAbstraction.compute_controller_safe!
+Dionysos.Optim.Abstraction.UniformGridAbstraction._maybe_discretized_system
+Dionysos.Optim.Abstraction.UniformGridAbstraction.solve_abstract_problem
+Dionysos.Optim.Abstraction.UniformGridAbstraction._data
+Dionysos.Optim.Abstraction.UniformGridAbstraction._validate_discrete_model
+Dionysos.Optim.Abstraction.UniformGridAbstraction._compute_controller_reach!
+Dionysos.Optim.Abstraction.UniformGridAbstraction.build_abstract_problem
+Dionysos.Optim.Abstraction.UniformGridAbstraction._validate_model
+Dionysos.Optim.Abstraction.UniformGridAbstraction._corresponding_abstract_points
+Dionysos.Optim.Abstraction.UniformGridAbstraction._compute_pairstable
+```
+