Built site for gh-pages

hurak · Dec 2, 2024 · badeea2 · badeea2
1 parent b9942e4
commit badeea2
Show file tree

Hide file tree

Showing 38 changed files with 51,313 additions and 8,377 deletions.
diff --git a/.nojekyll b/.nojekyll
@@ -1 +1 @@
-42b43e5e
+4354d9f9
diff --git a/classes_PWA 10.html b/classes_PWA 10.html
diff --git a/classes_reset.html b/classes_reset.html
diff --git a/classes_switched 11.html b/classes_switched 11.html
diff --git a/classes_switched.html b/classes_switched.html
diff --git a/complementarity_simulations 9.html b/complementarity_simulations 9.html
diff --git a/complementarity_simulations.html b/complementarity_simulations.html
diff --git a/complementarity_software 9.html b/complementarity_software 9.html
diff --git a/des 8.html b/des 8.html
diff --git a/des_automata.html b/des_automata.html
@@ -2131,16 +2131,16 @@ <h3 class="anchored" data-anchor-id="mealy-machine">Mealy machine</h3>
 <span id="cb3-11"><a href="#cb3-11" aria-hidden="true" tabindex="-1"></a><span class="pp">@show</span> <span class="fu">update!</span>(dtr), <span class="fu">output</span>(dtr)</span></code><button title="Copy to Clipboard" class="code-copy-button"><i class="bi"></i></button></pre></div>
 </details>
 <div class="cell-output cell-output-stdout">
-<pre><code>x_initial = rand(0:k, n) = [4, 2, 0, 3]
+<pre><code>x_initial = rand(0:k, n) = [1, 2, 1, 4]
 output(dtr) = [0, 1, 1, 1]
-(update!(dtr), output(dtr)) = ([4, 4, 2, 0], [0, 0, 1, 1])
-(update!(dtr), output(dtr)) = ([4, 4, 4, 2], [0, 0, 0, 1])
-(update!(dtr), output(dtr)) = ([4, 4, 4, 4], [1, 0, 0, 0])
-(update!(dtr), output(dtr)) = ([1, 4, 4, 4], [0, 1, 0, 0])
-(update!(dtr), output(dtr)) = ([1, 1, 4, 4], [0, 0, 1, 0])</code></pre>
+(update!(dtr), output(dtr)) = ([1, 1, 2, 1], [1, 0, 1, 1])
+(update!(dtr), output(dtr)) = ([2, 1, 1, 2], [1, 1, 0, 1])
+(update!(dtr), output(dtr)) = ([3, 2, 1, 1], [0, 1, 1, 0])
+(update!(dtr), output(dtr)) = ([3, 3, 2, 1], [0, 0, 1, 1])
+(update!(dtr), output(dtr)) = ([3, 3, 3, 2], [0, 0, 0, 1])</code></pre>
 </div>
 <div class="cell-output cell-output-display" data-execution_count="1">
-<pre><code>([1, 1, 4, 4], [0, 0, 1, 0])</code></pre>
+<pre><code>([3, 3, 3, 2], [0, 0, 0, 1])</code></pre>
 </div>
 </div>
 <p>We can see that although initially the there can be more tokens, after a few iterations the algorithm achieves the goal of having just one token in the ring.</p>

diff --git a/des_references 8.html b/des_references 8.html
diff --git a/des_software 6.html b/des_software 6.html
diff --git a/hybrid_automata 18.html b/hybrid_automata 18.html
diff --git a/hybrid_automata_references 8.html b/hybrid_automata_references 8.html
diff --git a/hybrid_equations 11.html b/hybrid_equations 11.html
diff --git a/hybrid_equations.html b/hybrid_equations.html
diff --git a/hybrid_equations_references 16.html b/hybrid_equations_references 16.html
diff --git a/hybrid_equations_software 9.html b/hybrid_equations_software 9.html
diff --git a/intro 9.html b/intro 9.html
diff --git a/intro_outline 17.html b/intro_outline 17.html
diff --git a/max_plus_algebra 9.html b/max_plus_algebra 9.html
diff --git a/max_plus_algebra.html b/max_plus_algebra.html
diff --git a/max_plus_references 8.html b/max_plus_references 8.html
diff --git a/max_plus_software 8.html b/max_plus_software 8.html
diff --git a/petri_nets 7.html b/petri_nets 7.html
diff --git a/search.json b/search.json
diff --git a/sitemap.xml b/sitemap.xml
@@ -126,7 +126,7 @@
   </url>
   <url>
     <loc>https://hurak.github.io/hys/complementarity_simulations.html</loc>
-    <lastmod>2024-11-27T14:04:06.084Z</lastmod>
+    <lastmod>2024-12-01T15:03:16.724Z</lastmod>
   </url>
   <url>
     <loc>https://hurak.github.io/hys/classes_PWA.html</loc>

diff --git a/solution_concepts 10.html b/solution_concepts 10.html
diff --git a/solution_references 9.html b/solution_references 9.html
diff --git a/solution_types 8.html b/solution_types 8.html
diff --git a/stability_references 4.html b/stability_references 4.html
diff --git a/stability_via_common_lyapunov_function 9.html b/stability_via_common_lyapunov_function 9.html
diff --git a/stability_via_multiple_lyapunov_function 17.html b/stability_via_multiple_lyapunov_function 17.html
diff --git a/stability_via_multiple_lyapunov_function.html b/stability_via_multiple_lyapunov_function.html
@@ -784,7 +784,7 @@ <h1 class="title">Stability via multiple Lyapunov functions</h1>
    │     └─ Convex.NegateAtom (affine; real)
    │        └─ …
    ├─ PSD constraint (convex)
-   │  └─ 2×2 real variable (id: 181…944)
+   │  └─ 2×2 real variable (id: 237…093)
    ⋮</code></pre>
 </div>
 </div>

diff --git a/verification_barrier 9.html b/verification_barrier 9.html
diff --git a/verification_barrier.html b/verification_barrier.html
diff --git a/verification_reachability 9.html b/verification_reachability 9.html
diff --git a/verification_temporal_logics 8.html b/verification_temporal_logics 8.html