build based on 24d9409

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-06-13T10:36:31","documenter_version":"1.4.1"}}
+{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-06-14T12:14:58","documenter_version":"1.4.1"}}

dev/demos/roa_estimation/index.html

@@ -125,7 +125,7 @@
 )</code></pre><p class="math-container">\[ \begin{equation}
 \left[
 \begin{array}{c}
-\mathrm{max}\left( 0, \frac{2 state1 \left( - state1 + state1^{3} \right) \left( 1 + \left( {\varphi}1\left( state1 \right) \right)^{2} + \left( {\varphi}2\left( state1 \right) \right)^{2} \right)}{1 + state1^{2}} + 1 \cdot 10^{-6} state1^{2} + \left( - state1 + state1^{3} \right) \left( 2 {\varphi}1\left( state1 \right) \frac{\mathrm{d} {\varphi}1\left( state1 \right)}{\mathrm{d}state1} + 2 {\varphi}2\left( state1 \right) \frac{\mathrm{d} {\varphi}2\left( state1 \right)}{\mathrm{d}state1} \right) \log\left( 1 + state1^{2} \right) \right) \left( \left( 1 + \left( {\varphi}1\left( state1 \right) \right)^{2} + \left( {\varphi}2\left( state1 \right) \right)^{2} \right) \log\left( 1 + state1^{2} \right) \leq 1 \right) = 0 \\
+\mathrm{max}\left( 0, \frac{2 state1 \left( - state1 + state1^{3} \right) \left( 1 + \left( {\varphi}1\left( state1 \right) \right)^{2} + \left( {\varphi}2\left( state1 \right) \right)^{2} \right)}{1 + state1^{2}} + 1 \cdot 10^{-6} state1^{2} + \left( - state1 + state1^{3} \right) \left( 2 {\varphi}1\left( state1 \right) \frac{\mathrm{d} {\varphi}1\left( state1 \right)}{\mathrm{d}state1} + 2 {\varphi}2\left( state1 \right) \frac{\mathrm{d} {\varphi}2\left( state1 \right)}{\mathrm{d}state1} \right) \log\left( 1 + state1^{2} \right) \right) \left( 1 - \left( 1 + \left( {\varphi}1\left( state1 \right) \right)^{2} + \left( {\varphi}2\left( state1 \right) \right)^{2} \right) \log\left( 1 + state1^{2} \right) \geq 0 \right) = 0 \\
 \end{array}
 \right]
 \end{equation}
@@ -183,4 +183,4 @@
 p_V̇ = vspan!(collect(RoA); label = &quot;Estimated Region of Attraction&quot;, color = :gray, fillstyle = :/);
 p_V̇ = vspan!([-1, 1]; label = &quot;True Region of Attraction&quot;, opacity = 0.2, color = :green);
 
-plt = plot(p_V, p_V̇)</code></pre><img src="36f08f16.svg" alt="Example block output"/></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../damped_SHO/">« Damped Simple Harmonic Oscillator</a><a class="docs-footer-nextpage" href="../policy_search/">Policy Search on the Driven Inverted Pendulum »</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></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.4.1 on <span class="colophon-date" title="Thursday 13 June 2024 10:36">Thursday 13 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+plt = plot(p_V, p_V̇)</code></pre><img src="0bb734d8.svg" alt="Example block output"/></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../damped_SHO/">« Damped Simple Harmonic Oscillator</a><a class="docs-footer-nextpage" href="../policy_search/">Policy Search on the Driven Inverted Pendulum »</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></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.4.1 on <span class="colophon-date" title="Friday 14 June 2024 12:14">Friday 14 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>