build based on f9b0046

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.0","generation_timestamp":"2024-01-12T15:46:17","documenter_version":"1.2.1"}}
+{"documenter":{"julia_version":"1.10.0","generation_timestamp":"2024-01-12T21:26:36","documenter_version":"1.2.1"}}

dev/generated_examples/Brusselator/index.html

@@ -32,4 +32,4 @@
 
 plot!(sol_1; vars=(1, 2), lw=0.2, color=:red, lab="r = 0.1", alpha=0.4)
 
-plot!(sol_01; vars=(1, 2), lw=0.2, color=:blue, lab=&quot;r = 0.01&quot;)</code></pre><img src="06c7de4e.png" alt="Example block output"/><p>The volume at time <span>$T = 9.0$</span> can be obtained by evaluating the flowpipe and computing the volume of the hyperrectangular overapproximation:</p><pre><code class="language-julia hljs">vol_01 = volume(set(overapproximate(sol_01(9.0), Hyperrectangle)))</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">1.7054828078460202e-5</code></pre><pre><code class="language-julia hljs">vol_1 = volume(set(overapproximate(sol_1(9.0), Hyperrectangle)))</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">0.0009159502603777963</code></pre><h2 id="References"><a class="docs-heading-anchor" href="#References">References</a><a id="References-1"></a><a class="docs-heading-anchor-permalink" href="#References" title="Permalink"></a></h2><section class="footnotes is-size-7"><ul><li class="footnote" id="footnote-CAS13"><a class="tag is-link" href="#citeref-CAS13">CAS13</a>X. Chen, E. Abraham, S. Sankaranarayanan. <em>Flow</em>: An Analyzer for Non-Linear Hybrid Systems.* In Proceedings of the 25th International Conference on Computer Aided Verification (CAV’13). Volume 8044 of LNCS, pages 258-263, Springer, 2013.</li><li class="footnote" id="footnote-GCLASG20"><a class="tag is-link" href="#citeref-GCLASG20">GCLASG20</a>S. Gruenbacher, J. Cyranka, M. Lechner, Md. Ariful Islam,, Scott A. Smolka, R. Grosu <em>Lagrangian Reachtubes: The Next Generation</em>. arXiv: 2012.07458</li></ul></section></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../ProductionDestruction/">« Production-Destruction</a><a class="docs-footer-nextpage" href="../Quadrotor/">Quadrotor »</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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Friday 12 January 2024 15:46">Friday 12 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+plot!(sol_01; vars=(1, 2), lw=0.2, color=:blue, lab=&quot;r = 0.01&quot;)</code></pre><img src="06c7de4e.png" alt="Example block output"/><p>The volume at time <span>$T = 9.0$</span> can be obtained by evaluating the flowpipe and computing the volume of the hyperrectangular overapproximation:</p><pre><code class="language-julia hljs">vol_01 = volume(set(overapproximate(sol_01(9.0), Hyperrectangle)))</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">1.7054828078460202e-5</code></pre><pre><code class="language-julia hljs">vol_1 = volume(set(overapproximate(sol_1(9.0), Hyperrectangle)))</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">0.0009159502603777963</code></pre><h2 id="References"><a class="docs-heading-anchor" href="#References">References</a><a id="References-1"></a><a class="docs-heading-anchor-permalink" href="#References" title="Permalink"></a></h2><section class="footnotes is-size-7"><ul><li class="footnote" id="footnote-CAS13"><a class="tag is-link" href="#citeref-CAS13">CAS13</a>X. Chen, E. Abraham, S. Sankaranarayanan. <em>Flow</em>: An Analyzer for Non-Linear Hybrid Systems.* In Proceedings of the 25th International Conference on Computer Aided Verification (CAV’13). Volume 8044 of LNCS, pages 258-263, Springer, 2013.</li><li class="footnote" id="footnote-GCLASG20"><a class="tag is-link" href="#citeref-GCLASG20">GCLASG20</a>S. Gruenbacher, J. Cyranka, M. Lechner, Md. Ariful Islam,, Scott A. Smolka, R. Grosu <em>Lagrangian Reachtubes: The Next Generation</em>. arXiv: 2012.07458</li></ul></section></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../ProductionDestruction/">« Production-Destruction</a><a class="docs-footer-nextpage" href="../Quadrotor/">Quadrotor »</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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Friday 12 January 2024 21:26">Friday 12 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/generated_examples/Building/index.html

@@ -55,4 +55,4 @@
                             alg=LGG09(; δ=0.01, vars=(25), n=49, approx_model=NoBloating()))
 
 fig = plot(sol_BLDC01_discrete; vars=(0, 25), linecolor=:blue, color=:blue, alpha=0.8, lw=1.0,
-           xlab=&quot;t&quot;, ylab=&quot;x25&quot;)</code></pre><img src="45b0658e.png" alt="Example block output"/><p>Safety properties</p><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">0.004412266117562392</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete) &lt;= 5.1e-3 # BLDC01 - BDS01</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">true</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">0.004412266117562392</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete) &lt;= 4e-3 # BLDC01 - BDU01</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">false</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete(20.0))</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">5.582597411711546e-7</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete(20.0)) &lt;= -0.78e-3 # BLDC01 - BDU02</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">false</code></pre><h2 id="References"><a class="docs-heading-anchor" href="#References">References</a><a id="References-1"></a><a class="docs-heading-anchor-permalink" href="#References" title="Permalink"></a></h2><section class="footnotes is-size-7"><ul><li class="footnote" id="footnote-ASG00"><a class="tag is-link" href="#citeref-ASG00">ASG00</a>Antoulas, Athanasios C., Danny C. Sorensen, and Serkan Gugercin. A survey of model reduction methods for large-scale systems. 2000.</li><li class="footnote" id="footnote-TLT16"><a class="tag is-link" href="#citeref-TLT16">TLT16</a>Tran, Hoang-Dung, Luan Viet Nguyen, and Taylor T. Johnson. <em>Large-scale linear systems from order-reduction (benchmark proposal).</em> 3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Vienna, Austria. 2016.</li></ul></section></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../ISS/">« Structural model</a><a class="docs-footer-nextpage" href="../OpAmp/">Operational amplifier »</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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Friday 12 January 2024 15:46">Friday 12 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+           xlab=&quot;t&quot;, ylab=&quot;x25&quot;)</code></pre><img src="45b0658e.png" alt="Example block output"/><p>Safety properties</p><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">0.004412266117562392</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete) &lt;= 5.1e-3 # BLDC01 - BDS01</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">true</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">0.004412266117562392</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete) &lt;= 4e-3 # BLDC01 - BDU01</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">false</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete(20.0))</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">5.582597411711546e-7</code></pre><pre><code class="language-julia hljs">ρ(x25e, sol_BLDC01_discrete(20.0)) &lt;= -0.78e-3 # BLDC01 - BDU02</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">false</code></pre><h2 id="References"><a class="docs-heading-anchor" href="#References">References</a><a id="References-1"></a><a class="docs-heading-anchor-permalink" href="#References" title="Permalink"></a></h2><section class="footnotes is-size-7"><ul><li class="footnote" id="footnote-ASG00"><a class="tag is-link" href="#citeref-ASG00">ASG00</a>Antoulas, Athanasios C., Danny C. Sorensen, and Serkan Gugercin. A survey of model reduction methods for large-scale systems. 2000.</li><li class="footnote" id="footnote-TLT16"><a class="tag is-link" href="#citeref-TLT16">TLT16</a>Tran, Hoang-Dung, Luan Viet Nguyen, and Taylor T. Johnson. <em>Large-scale linear systems from order-reduction (benchmark proposal).</em> 3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Vienna, Austria. 2016.</li></ul></section></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../ISS/">« Structural model</a><a class="docs-footer-nextpage" href="../OpAmp/">Operational amplifier »</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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Friday 12 January 2024 21:26">Friday 12 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/generated_examples/DuffingOscillator/index.html

@@ -17,4 +17,4 @@
 ω = 1.2
 T = 2 * pi / ω
 X0 = Singleton([1.0, 0.0]) ⊕ BallInf(zeros(2), 0.1)
-prob = @ivp(x&#39; = duffing!(x), x(0) ∈ X0, dim = 2);</code></pre><h2 id="Results"><a class="docs-heading-anchor" href="#Results">Results</a><a id="Results-1"></a><a class="docs-heading-anchor-permalink" href="#Results" title="Permalink"></a></h2><pre><code class="language-julia hljs">sol = solve(prob; tspan=(0.0, 20 * T), alg=TMJets21a());</code></pre><pre><code class="language-julia hljs">fig = plot(sol; vars=(0, 1), xlab=&quot;t&quot;, ylab=&quot;x&quot;, lw=0.2, color=:blue)</code></pre><img src="02f1521c.png" alt="Example block output"/><pre><code class="language-julia hljs">fig = plot(sol; vars=(0, 2), xlab=&quot;t&quot;, ylab=&quot;v&quot;, lw=0.2, color=:blue)</code></pre><img src="b05213ab.png" alt="Example block output"/><pre><code class="language-julia hljs">fig = plot(sol; vars=(1, 2), xlab=&quot;x&quot;, ylab=&quot;v&quot;, lw=0.5, color=:red)</code></pre><img src="7c5e6493.png" alt="Example block output"/></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../man/examples_overview/">« Overview</a><a class="docs-footer-nextpage" href="../LaubLoomis/">Laub-Loomis »</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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Friday 12 January 2024 15:46">Friday 12 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+prob = @ivp(x&#39; = duffing!(x), x(0) ∈ X0, dim = 2);</code></pre><h2 id="Results"><a class="docs-heading-anchor" href="#Results">Results</a><a id="Results-1"></a><a class="docs-heading-anchor-permalink" href="#Results" title="Permalink"></a></h2><pre><code class="language-julia hljs">sol = solve(prob; tspan=(0.0, 20 * T), alg=TMJets21a());</code></pre><pre><code class="language-julia hljs">fig = plot(sol; vars=(0, 1), xlab=&quot;t&quot;, ylab=&quot;x&quot;, lw=0.2, color=:blue)</code></pre><img src="02f1521c.png" alt="Example block output"/><pre><code class="language-julia hljs">fig = plot(sol; vars=(0, 2), xlab=&quot;t&quot;, ylab=&quot;v&quot;, lw=0.2, color=:blue)</code></pre><img src="b05213ab.png" alt="Example block output"/><pre><code class="language-julia hljs">fig = plot(sol; vars=(1, 2), xlab=&quot;x&quot;, ylab=&quot;v&quot;, lw=0.5, color=:red)</code></pre><img src="7c5e6493.png" alt="Example block output"/></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../man/examples_overview/">« Overview</a><a class="docs-footer-nextpage" href="../LaubLoomis/">Laub-Loomis »</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="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Friday 12 January 2024 21:26">Friday 12 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>