build based on d6bcbe7

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-11T23:22:14","documenter_version":"1.7.0"}}
+{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-12T15:41:26","documenter_version":"1.7.0"}}

dev/developers/git/index.html

@@ -15,4 +15,4 @@
 changes on master
 =======
 changes on your branch
-&gt;&gt;&gt;&gt;&gt;&gt;&gt; mybranch</code></pre><p>and choose the changes that should be kept. Then you should <code>git add</code> the conflicting files, run <code>git rebase --continue</code>. See <a href="https://docs.github.com/en/github/using-git/resolving-merge-conflicts-after-a-git-rebase">here</a> for more information on this. In case you have may conflicting commits, the rebase can be tedious, you will even have to resolve conflicts for some changes in some earlier commit even if you reverted these changes in a later commit. To avoid this issue, it is recommended to first squash your commits into a single one. To do that, use</p><pre><code class="language-sh hljs">$ git rebase -i master</code></pre><p>and replace <code>pick</code> by <code>s</code> for all commits except the top one and then follow the instructions, see <a href="https://git-scm.com/book/en/v2/Git-Tools-Rewriting-History">here</a> for more details.</p><h2 id="Switch-branches"><a class="docs-heading-anchor" href="#Switch-branches">Switch branches</a><a id="Switch-branches-1"></a><a class="docs-heading-anchor-permalink" href="#Switch-branches" title="Permalink"></a></h2><p>To switch to the branch <code>mybranch</code>, do the following.</p><h3 id="VSCode-7"><a class="docs-heading-anchor" href="#VSCode-7">VSCode</a><a class="docs-heading-anchor-permalink" href="#VSCode-7" title="Permalink"></a></h3><p>On the bottom left, you should see a sort of &quot;Y&quot; symbol with empty circles at the three leaves. On the right, you see the current branch. Click on it and then write or select <code>mybranch</code>.</p><h3 id="Git-bash-7"><a class="docs-heading-anchor" href="#Git-bash-7">Git bash</a><a class="docs-heading-anchor-permalink" href="#Git-bash-7" title="Permalink"></a></h3><p>First <a href="../setup/#Start-Git-bash">Start Git bash</a>.</p><pre><code class="language-sh hljs">$ git checkout mybranch</code></pre><h2 id="Format-your-code"><a class="docs-heading-anchor" href="#Format-your-code">Format your code</a><a id="Format-your-code-1"></a><a class="docs-heading-anchor-permalink" href="#Format-your-code" title="Permalink"></a></h2><p>To format your code, run the following in your Julia REPL. Make sure you have added <a href="https://github.com/domluna/JuliaFormatter.jl">JuliaFormatter.jl</a> before. </p><pre><code class="language-julia hljs">julia&gt; using JuliaFormatter; format(&quot;.&quot;)</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../setup/">« Set up</a><a class="docs-footer-nextpage" href="../../bibliography/">Bibliography »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Monday 11 November 2024 23:21">Monday 11 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+&gt;&gt;&gt;&gt;&gt;&gt;&gt; mybranch</code></pre><p>and choose the changes that should be kept. Then you should <code>git add</code> the conflicting files, run <code>git rebase --continue</code>. See <a href="https://docs.github.com/en/github/using-git/resolving-merge-conflicts-after-a-git-rebase">here</a> for more information on this. In case you have may conflicting commits, the rebase can be tedious, you will even have to resolve conflicts for some changes in some earlier commit even if you reverted these changes in a later commit. To avoid this issue, it is recommended to first squash your commits into a single one. To do that, use</p><pre><code class="language-sh hljs">$ git rebase -i master</code></pre><p>and replace <code>pick</code> by <code>s</code> for all commits except the top one and then follow the instructions, see <a href="https://git-scm.com/book/en/v2/Git-Tools-Rewriting-History">here</a> for more details.</p><h2 id="Switch-branches"><a class="docs-heading-anchor" href="#Switch-branches">Switch branches</a><a id="Switch-branches-1"></a><a class="docs-heading-anchor-permalink" href="#Switch-branches" title="Permalink"></a></h2><p>To switch to the branch <code>mybranch</code>, do the following.</p><h3 id="VSCode-7"><a class="docs-heading-anchor" href="#VSCode-7">VSCode</a><a class="docs-heading-anchor-permalink" href="#VSCode-7" title="Permalink"></a></h3><p>On the bottom left, you should see a sort of &quot;Y&quot; symbol with empty circles at the three leaves. On the right, you see the current branch. Click on it and then write or select <code>mybranch</code>.</p><h3 id="Git-bash-7"><a class="docs-heading-anchor" href="#Git-bash-7">Git bash</a><a class="docs-heading-anchor-permalink" href="#Git-bash-7" title="Permalink"></a></h3><p>First <a href="../setup/#Start-Git-bash">Start Git bash</a>.</p><pre><code class="language-sh hljs">$ git checkout mybranch</code></pre><h2 id="Format-your-code"><a class="docs-heading-anchor" href="#Format-your-code">Format your code</a><a id="Format-your-code-1"></a><a class="docs-heading-anchor-permalink" href="#Format-your-code" title="Permalink"></a></h2><p>To format your code, run the following in your Julia REPL. Make sure you have added <a href="https://github.com/domluna/JuliaFormatter.jl">JuliaFormatter.jl</a> before. </p><pre><code class="language-julia hljs">julia&gt; using JuliaFormatter; format(&quot;.&quot;)</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../setup/">« Set up</a><a class="docs-footer-nextpage" href="../../bibliography/">Bibliography »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Tuesday 12 November 2024 15:40">Tuesday 12 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/developers/setup/index.html

@@ -16,4 +16,4 @@
  23 # for example in EXAMPLES_UTILS
  24 #     literate_actions(joinpath(EXAMPLES_UTILS_DIR, example), OUTPUT_DIR)
  25 # end
- 26 # literate_actions(joinpath(@__DIR__, &quot;src&quot;, &quot;Getting Started.jl&quot;), OUTPUT_DIR)</code></pre><p>This will speed up building the documentation quite a lot.</p><p>Now, build the documentation with:</p><pre><code class="language-julia hljs">julia&gt; include(&quot;docs/make.jl&quot;)</code></pre><p>To view it, open the file <code>docs/build/index.html</code> with your web browser.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../reference/Utils/">« Utils</a><a class="docs-footer-nextpage" href="../git/">Git »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Monday 11 November 2024 23:21">Monday 11 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+ 26 # literate_actions(joinpath(@__DIR__, &quot;src&quot;, &quot;Getting Started.jl&quot;), OUTPUT_DIR)</code></pre><p>This will speed up building the documentation quite a lot.</p><p>Now, build the documentation with:</p><pre><code class="language-julia hljs">julia&gt; include(&quot;docs/make.jl&quot;)</code></pre><p>To view it, open the file <code>docs/build/index.html</code> with your web browser.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../reference/Utils/">« Utils</a><a class="docs-footer-nextpage" href="../git/">Git »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Tuesday 12 November 2024 15:40">Tuesday 12 November 2024</span>. Using Julia version 1.11.1.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/examples/solvers/single pendulum reach.jl

@@ -9,26 +9,22 @@ using Test     #src
 #
 # The dynamics of the pendulum are given by:
 # ```math
-# \dot{x_1} = x_2
-# ```
-# ```math
-# \dot{x_2} = -\frac{g}{l} \sin(x_1) + u
+# \begin{align}
+# \dot{x}_1 & = x_2\\
+# \dot{x}_2 & = -\frac{g}{l} \sin(x_1) + u
+# \end{align}
 # ```
 #
 # Considering this as a reachability problem, we will use it to showcase the capabilities of the Uniform grid abstraction solving typical problem in Dionysos.
 # The initial and target sets are defined as intervals in the state space.
 #
 # ```math
-# x_{1,\text{initial}} = \frac{5.0 × pi}{180.0}[-1.0, 1.0]
-# ```
-# ```math
-# x_{2,\text{initial}} = 0.5 × [-1.0, 1.0]
-# ```
-# ```math
-# x_{1,\text{target}} = pi + \frac{5.0 × pi}{180.0}[-1.0, 1.0]
-# ```
-# ```math
-# x_{2,\text{target}} = [-1.0, 1.0]
+# \begin{align}
+# x_{1,\text{initial}} & = \frac{5.0 × \pi}{180.0}[-1.0, 1.0]\\
+# x_{2,\text{initial}} & = 0.5 × [-1.0, 1.0]\\
+# x_{1,\text{target}} & = \pi + \frac{5.0 × \pi}{180.0}[-1.0, 1.0]\\
+# x_{2,\text{target}} & = [-1.0, 1.0]
+# \end{align}
 # ```
 
 # First, let us import [StaticArrays](https://github.com/JuliaArrays/StaticArrays.jl) and [Plots](https://github.com/JuliaPlots/Plots.jl).
@@ -40,22 +36,27 @@ using Dionysos, JuMP
 # Define the problem using JuMP
 # We first create a JuMP model:
 model = Model(Dionysos.Optimizer)
+nothing #hide
 
 # Define the discretization step
 hx = 0.05
 l = 1.0
 g = 9.81
+nothing #hide
 
 # Define the state variables: x1(t), x2(t)
 x_low, x_upp = [-π, -10.0], [π + pi, 10.0]
 @variable(model, x_low[i] <= x[i = 1:2] <= x_upp[i])
+nothing #hide
 
-# Define the control variables: u1(t), u2(t)
+# Define the control variables: ``u_1(t)``, ``u_2(t)``
 @variable(model, -3.0 <= u <= 3.0)
+nothing #hide
 
 # Define the dynamics
 @constraint(model, ∂(x[1]) == x[2])
 @constraint(model, ∂(x[2]) == -(g / l) * sin(x[1]) + u)
+nothing #hide
 
 # Define the initial and target sets
 x1_initial, x2_initial = (5.0 * pi / 180.0) .* [-1, 1], 0.5 .* [-1, 1]
@@ -66,6 +67,7 @@ x1_target, x2_target = pi .+ (5.0 * pi / 180.0) .* [-1, 1], 1.0 .* [-1, 1]
 
 @constraint(model, final(x[1]) in MOI.Interval(x1_target...))
 @constraint(model, final(x[2]) in MOI.Interval(x2_target...))
+nothing #hide
 
 # ### Definition of the abstraction
 
@@ -98,6 +100,7 @@ abstract_controller = get_attribute(model, "abstract_controller");
 concrete_controller = get_attribute(model, "concrete_controller")
 concrete_problem = get_attribute(model, "concrete_problem");
 concrete_system = concrete_problem.system
+nothing #hide
 
 # ### Trajectory display
 nstep = 100