Major overhaul and addition.

Author: hurak

.gitignore

@@ -2,3 +2,5 @@
 /_site/
 /.vscode/
 .DS_Store
+Manifest.toml
+*.ipe.autosave.ipe

Project.toml

@@ -0,0 +1,20 @@
+[deps]
+CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60"
+CairoMakie = "13f3f980-e62b-5c42-98c6-ff1f3baf88f0"
+DifferentialEquations = "0c46a032-eb83-5123-abaf-570d42b7fbaa"
+Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
+DynamicPolynomials = "7c1d4256-1411-5781-91ec-d7bc3513ac07"
+HiGHS = "87dc4568-4c63-4d18-b0c0-bb2238e4078b"
+HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820"
+ImplicitPlots = "55ecb840-b828-11e9-1645-43f4a9f9ace7"
+Ipopt = "b6b21f68-93f8-5de0-b562-5493be1d77c9"
+JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
+LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
+MosekTools = "1ec41992-ff65-5c91-ac43-2df89e9693a4"
+PiecewiseAffineApprox = "029c5f1c-0dc4-4551-8b87-a10b73fe3713"
+Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
+Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
+ReachabilityAnalysis = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
+SCS = "c946c3f1-0d1f-5ce8-9dea-7daa1f7e2d13"
+SumOfSquares = "4b9e565b-77fc-50a5-a571-1244f986bda1"
+TypedPolynomials = "afbbf031-7a57-5f58-a1b9-b774a0fad08d"

_quarto.yml

@@ -11,70 +11,84 @@ website:
     contents:
       - section: "0. Introduction"
         contents:
-          - introduction.qmd
-          - references_intro.qmd
+          - intro.qmd
+          - intro_outline.qmd
+          - intro_references.qmd
       - section: "1. Discrete-event systems: Automata"
         contents:
-          - discrete_event_systems.qmd
-          - automata.qmd  
-          - references_automata.qmd
+          - des.qmd
+          - des_automata.qmd  
+          - des_software.qmd
+          - des_references.qmd
       - section: "2. Discrete-event systems: Petri nets"  
         contents:  
           - petri_nets.qmd  
-          - references_petri_nets.qmd
+          - petri_nets_timed.qmd 
+          - petri_nets_software.qmd 
+          - petri_nets_references.qmd
       - section: "3. Discrete-event systems: Max-plus systems"  
         contents:
+          - max_plus_algebra.qmd
           - max_plus_systems.qmd  
-          - references_max_plus.qmd
+          - max_plus_software.qmd
+          - max_plus_references.qmd
       - section: "4. Hybrid systems: Hybrid automata"
         contents:
           - hybrid_automata.qmd
-          - references_hybrid_automata.qmd
+          - hybrid_automata_software.qmd
+          - hybrid_automata_references.qmd
       - section: "5. Hybrid systems: Hybrid equations"
         contents:
           - hybrid_equations.qmd
-          - references_hybrid_equations.qmd
+          - hybrid_equations_software.qmd
+          - hybrid_equations_references.qmd
       - section: "6. Some classes of hybrid systems"
         contents:
-          - reset_systems.qmd
-          - switched_systems.qmd
-          - piecewise_affine_systems.qmd
-          - references_reset_switched_piecewise.qmd
+          - classes_reset.qmd
+          - classes_switched.qmd
+          - classes_PWA.qmd
+          - classes_software.qmd
+          - classes_references.qmd
       - section: "7. Solution"
         contents:
           - solution_concepts.qmd
-          - solution_conditions.qmd
-          - references_solution.qmd
+          - solution_types.qmd
+          - solution_references.qmd
       - section: "8. Stability"
         contents:
-          - stability_of_hybrid_systems.qmd
+          - stability_recap.qmd
+          - stability_concepts.qmd
           - stability_via_common_lyapunov_function.qmd
           - stability_via_multiple_lyapunov_function.qmd
-          - references_stability.qmd
+          - stability_software.qmd
+          - stability_references.qmd
       - section: "9. Complementarity systems"
         contents:
           - complementarity_constraints.qmd
           - complementarity_systems.qmd
-          - simulation_using_complementarity_constraints.qmd
-          - references_complementarity.qmd
+          - complementarity_simulations.qmd
+          - complementarity_software.qmd
+          - complementarity_references.qmd
       - section: "10. Mixed logical dynamical (MLD) systems"
         contents:
-          - why_mld.qmd
-          - discrete_hybrid_automata.qmd
-          - mixed_logical_dynamical_systems.qmd
-          - references_mld.qmd
+          - mld_why.qmd
+          - mld_DHA.qmd
+          - mld_intro.qmd
+          - mld_software.qmd
+          - mld_references.qmd
       - section: "11. Model predictive control (MPC) for MLD systems"
         contents:
-          - online_mpc_for_mld_systems.qmd
-          - explicit_mpc_for_mld_systems.qmd
-          - references_mpc.qmd
+          - mpc_mld_online.qmd
+          - mpc_mld_explicit.qmd
+          - mpc_mld_software.qmd
+          - mpc_mld_references.qmd
       - section: "12. Formal verification"
         contents:
-          - what_is_verification.qmd
-          - reachability.qmd
-          - barrier_function.qmd
-          - temporal_logics.qmd
-          - references_verification.qmd
+          - verification_intro.qmd
+          - verification_reachability.qmd
+          - verification_barrier.qmd
+          - verification_temporal_logics.qmd
+          - verification_references.qmd
   back-to-top-navigation: true
 
 format: