Built site for gh-pages

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

Hide file tree

Showing 65 changed files with 85,450 additions and 8,362 deletions.
diff --git a/.nojekyll b/.nojekyll
@@ -1 +1 @@
-4354d9f9
+c7f1012d
diff --git a/classes_PWA 11.html b/classes_PWA 11.html
diff --git a/classes_references 13.html b/classes_references 13.html
diff --git a/classes_reset 9.html b/classes_reset 9.html
diff --git a/classes_reset.html b/classes_reset.html
diff --git a/classes_software 16.html b/classes_software 16.html
diff --git a/classes_switched 12.html b/classes_switched 12.html
diff --git a/classes_switched.html b/classes_switched.html
diff --git a/complementarity_constraints 13.html b/complementarity_constraints 13.html
diff --git a/complementarity_references 17.html b/complementarity_references 17.html
diff --git a/complementarity_simulations 10.html b/complementarity_simulations 10.html
diff --git a/complementarity_simulations.html b/complementarity_simulations.html
diff --git a/complementarity_software 10.html b/complementarity_software 10.html
diff --git a/complementarity_systems 9.html b/complementarity_systems 9.html
diff --git a/des 9.html b/des 9.html
diff --git a/des_automata 16.html b/des_automata 16.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) = [1, 2, 1, 4]
-output(dtr) = [0, 1, 1, 1]
-(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>
+<pre><code>x_initial = rand(0:k, n) = [1, 1, 0, 3]
+output(dtr) = [0, 0, 1, 1]
+(update!(dtr), output(dtr)) = ([1, 1, 1, 0], [0, 0, 0, 1])
+(update!(dtr), output(dtr)) = ([1, 1, 1, 1], [1, 0, 0, 0])
+(update!(dtr), output(dtr)) = ([2, 1, 1, 1], [0, 1, 0, 0])
+(update!(dtr), output(dtr)) = ([2, 2, 1, 1], [0, 0, 1, 0])
+(update!(dtr), output(dtr)) = ([2, 2, 2, 1], [0, 0, 0, 1])</code></pre>
 </div>
 <div class="cell-output cell-output-display" data-execution_count="1">
-<pre><code>([3, 3, 3, 2], [0, 0, 0, 1])</code></pre>
+<pre><code>([2, 2, 2, 1], [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 9.html b/des_references 9.html
diff --git a/des_software 7.html b/des_software 7.html
diff --git a/hybrid_automata 19.html b/hybrid_automata 19.html
diff --git a/hybrid_automata_references 9.html b/hybrid_automata_references 9.html
diff --git a/hybrid_automata_software 17.html b/hybrid_automata_software 17.html
diff --git a/hybrid_equations 12.html b/hybrid_equations 12.html
diff --git a/hybrid_equations.html b/hybrid_equations.html
diff --git a/hybrid_equations_references 17.html b/hybrid_equations_references 17.html
diff --git a/hybrid_equations_software 10.html b/hybrid_equations_software 10.html
diff --git a/index 11.html b/index 11.html
diff --git a/intro 10.html b/intro 10.html
diff --git a/intro_outline 18.html b/intro_outline 18.html
diff --git a/intro_references 10.html b/intro_references 10.html
diff --git a/max_plus_algebra 10.html b/max_plus_algebra 10.html
diff --git a/max_plus_algebra.html b/max_plus_algebra.html
diff --git a/max_plus_references 9.html b/max_plus_references 9.html
diff --git a/max_plus_software 9.html b/max_plus_software 9.html
diff --git a/max_plus_systems 12.html b/max_plus_systems 12.html
diff --git a/mld_DHA 17.html b/mld_DHA 17.html
diff --git a/mld_intro 17.html b/mld_intro 17.html
diff --git a/mld_references 9.html b/mld_references 9.html
diff --git a/mld_why 15.html b/mld_why 15.html
diff --git a/mpc_mld_explicit 16.html b/mpc_mld_explicit 16.html
diff --git a/mpc_mld_online 10.html b/mpc_mld_online 10.html
diff --git a/mpc_mld_references 17.html b/mpc_mld_references 17.html
diff --git a/mpc_mld_software 17.html b/mpc_mld_software 17.html
diff --git a/petri_nets 8.html b/petri_nets 8.html
diff --git a/petri_nets_references 17.html b/petri_nets_references 17.html
diff --git a/petri_nets_software 12.html b/petri_nets_software 12.html
diff --git a/petri_nets_timed 17.html b/petri_nets_timed 17.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-12-01T15:03:16.724Z</lastmod>
+    <lastmod>2024-12-02T10:25:44.967Z</lastmod>
   </url>
   <url>
     <loc>https://hurak.github.io/hys/classes_PWA.html</loc>

diff --git a/solution_concepts 11.html b/solution_concepts 11.html
diff --git a/solution_references 10.html b/solution_references 10.html
diff --git a/solution_types 9.html b/solution_types 9.html
diff --git a/stability_concepts 12.html b/stability_concepts 12.html
diff --git a/stability_recap 17.html b/stability_recap 17.html
diff --git a/stability_references 5.html b/stability_references 5.html
diff --git a/stability_software 10.html b/stability_software 10.html
diff --git a/stability_via_common_lyapunov_function 10.html b/stability_via_common_lyapunov_function 10.html
diff --git a/stability_via_multiple_lyapunov_function 18.html b/stability_via_multiple_lyapunov_function 18.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: 237…093)
+   │  └─ 2×2 real variable (id: 165…541)
    ⋮</code></pre>
 </div>
 </div>

diff --git a/verification_barrier 10.html b/verification_barrier 10.html
diff --git a/verification_barrier.html b/verification_barrier.html
diff --git a/verification_intro 15.html b/verification_intro 15.html
diff --git a/verification_reachability 10.html b/verification_reachability 10.html
diff --git a/verification_references 17.html b/verification_references 17.html
diff --git a/verification_temporal_logics 9.html b/verification_temporal_logics 9.html