Built site for gh-pages

hurak · Oct 21, 2024 · 7f2982b · 7f2982b
1 parent 29b3a66
commit 7f2982b
Show file tree

Hide file tree

Showing 33 changed files with 43,214 additions and 8,354 deletions.
diff --git a/.nojekyll b/.nojekyll
@@ -1 +1 @@
-dfdcb4d5
+3444948f
diff --git a/classes_reset.html b/classes_reset.html
diff --git a/classes_software 5.html b/classes_software 5.html
diff --git a/classes_switched.html b/classes_switched.html
diff --git a/complementarity_references 5.html b/complementarity_references 5.html
diff --git a/complementarity_simulations.html b/complementarity_simulations.html
diff --git a/des_automata 5.html b/des_automata 5.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) = [3, 1, 0, 3]
-output(dtr) = [1, 1, 1, 1]
-(update!(dtr), output(dtr)) = ([0, 3, 1, 0], [1, 1, 1, 1])
-(update!(dtr), output(dtr)) = ([1, 0, 3, 1], [1, 1, 1, 1])
-(update!(dtr), output(dtr)) = ([2, 1, 0, 3], [0, 1, 1, 1])
-(update!(dtr), output(dtr)) = ([2, 2, 1, 0], [0, 0, 1, 1])
-(update!(dtr), output(dtr)) = ([2, 2, 2, 1], [0, 0, 0, 1])</code></pre>
+<pre><code>x_initial = rand(0:k, n) = [1, 1, 4, 1]
+output(dtr) = [1, 0, 1, 1]
+(update!(dtr), output(dtr)) = ([2, 1, 1, 4], [0, 1, 0, 1])
+(update!(dtr), output(dtr)) = ([2, 2, 1, 1], [0, 0, 1, 0])
+(update!(dtr), output(dtr)) = ([2, 2, 2, 1], [0, 0, 0, 1])
+(update!(dtr), output(dtr)) = ([2, 2, 2, 2], [1, 0, 0, 0])
+(update!(dtr), output(dtr)) = ([3, 2, 2, 2], [0, 1, 0, 0])</code></pre>
 </div>
 <div class="cell-output cell-output-display" data-execution_count="1">
-<pre><code>([2, 2, 2, 1], [0, 0, 0, 1])</code></pre>
+<pre><code>([3, 2, 2, 2], [0, 1, 0, 0])</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/hybrid_automata 6.html b/hybrid_automata 6.html
diff --git a/hybrid_automata_figures/rimless_wheel_automaton.png b/hybrid_automata_figures/rimless_wheel_automaton.png
diff --git a/hybrid_automata_figures/rimless_wheel_automaton_single_location.png b/hybrid_automata_figures/rimless_wheel_automaton_single_location.png
diff --git a/hybrid_automata_software 5.html b/hybrid_automata_software 5.html
diff --git a/hybrid_equations 6.html b/hybrid_equations 6.html
diff --git a/hybrid_equations.html b/hybrid_equations.html
diff --git a/hybrid_equations_references 4.html b/hybrid_equations_references 4.html
diff --git a/intro_outline 5.html b/intro_outline 5.html
diff --git a/max_plus_algebra 4.html b/max_plus_algebra 4.html
diff --git a/max_plus_algebra.html b/max_plus_algebra.html
diff --git a/mld_DHA 5.html b/mld_DHA 5.html
diff --git a/mld_intro 5.html b/mld_intro 5.html
diff --git a/mld_why 5.html b/mld_why 5.html
diff --git a/mpc_mld_explicit 5.html b/mpc_mld_explicit 5.html
diff --git a/mpc_mld_references 5.html b/mpc_mld_references 5.html
diff --git a/mpc_mld_software 5.html b/mpc_mld_software 5.html
diff --git a/petri_nets_references 5.html b/petri_nets_references 5.html
diff --git a/petri_nets_timed 5.html b/petri_nets_timed 5.html
diff --git a/search.json b/search.json
diff --git a/sitemap.xml b/sitemap.xml
@@ -134,7 +134,7 @@
   </url>
   <url>
     <loc>https://hurak.github.io/hys/hybrid_equations.html</loc>
-    <lastmod>2024-10-20T08:00:48.774Z</lastmod>
+    <lastmod>2024-10-20T08:12:24.581Z</lastmod>
   </url>
   <url>
     <loc>https://hurak.github.io/hys/des_references.html</loc>

diff --git a/stability_recap 5.html b/stability_recap 5.html
diff --git a/stability_via_multiple_lyapunov_function 5.html b/stability_via_multiple_lyapunov_function 5.html
diff --git a/verification_barrier.html b/verification_barrier.html
diff --git a/verification_intro 5.html b/verification_intro 5.html
diff --git a/verification_references 5.html b/verification_references 5.html