From 704a0dc7365d7954454f490b6d23f5e522689662 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zden=C4=9Bk=20Hur=C3=A1k?= Date: Fri, 20 Dec 2024 23:12:52 +0100 Subject: [PATCH] Built site for gh-pages --- .nojekyll | 2 +- classes_PWA.html | 12 +- classes_references.html | 12 +- classes_reset.html | 148 +- classes_software.html | 12 +- classes_switched.html | 70 +- complementarity_constraints.html | 12 +- complementarity_references.html | 18 +- complementarity_simulations.html | 2172 +-- .../fig-state-portrait-output-2.svg | 798 + complementarity_software.html | 12 +- complementarity_systems.html | 12 +- des.html | 12 +- des_automata.html | 28 +- des_references.html | 12 +- des_software.html | 12 +- hybrid_automata 29.html | 1630 ++ hybrid_automata.html | 12 +- hybrid_automata_references.html | 12 +- hybrid_automata_software.html | 12 +- hybrid_equations.html | 166 +- hybrid_equations_references.html | 12 +- hybrid_equations_software.html | 12 +- index.html | 12 +- intro.html | 12 +- intro_outline.html | 12 +- intro_references.html | 12 +- max_plus_algebra.html | 13082 ++++++++-------- max_plus_references.html | 12 +- max_plus_software.html | 12 +- max_plus_systems.html | 12 +- mld_DHA.html | 80 +- mld_intro.html | 20 +- mld_logic_vs_inequalities.html | 1443 ++ mld_mld_and_pwa.html | 1231 ++ mld_references.html | 16 +- mld_software.html | 22 +- mld_why.html | 4 +- mpc_mld_explicit.html | 152 +- mpc_mld_online.html | 12 +- mpc_mld_references.html | 12 +- mpc_mld_software 28.html | 1065 ++ mpc_mld_software.html | 12 +- petri_nets.html | 12 +- petri_nets_references.html | 12 +- petri_nets_software.html | 12 +- petri_nets_timed.html | 12 +- search.json | 2439 ++- sitemap.xml | 150 +- solution_concepts.html | 12 +- solution_references.html | 12 +- solution_types.html | 12 +- stability_concepts.html | 12 +- stability_recap 27.html | 1269 ++ stability_recap.html | 12 +- stability_references.html | 12 +- stability_software.html | 12 +- stability_via_common_lyapunov_function.html | 12 +- stability_via_multiple_lyapunov_function.html | 14 +- verification_barrier.html | 2784 ++-- verification_intro.html | 12 +- verification_reachability.html | 12 +- verification_references 28.html | 1142 ++ verification_references.html | 12 +- verification_software.html | 12 +- verification_temporal_logics.html | 12 +- 66 files changed, 19498 insertions(+), 10939 deletions(-) create mode 100644 complementarity_simulations_files/figure-html/fig-state-portrait-output-2.svg create mode 100644 hybrid_automata 29.html create mode 100644 mld_logic_vs_inequalities.html create mode 100644 mld_mld_and_pwa.html create mode 100644 mpc_mld_software 28.html create mode 100644 stability_recap 27.html create mode 100644 verification_references 28.html diff --git a/.nojekyll b/.nojekyll index a300849..c075504 100644 --- a/.nojekyll +++ b/.nojekyll @@ -1 +1 @@ -d25208dc \ No newline at end of file +9416e392 \ No newline at end of file diff --git a/classes_PWA.html b/classes_PWA.html index c98ebd5..00052b4 100644 --- a/classes_PWA.html +++ b/classes_PWA.html @@ -511,20 +511,20 @@