#import "lib.typ": *

#show: project.with(
    title: "HYS or KYS",
    author: "lyzynec",
)

#week(name: [Discrete-event systems: (finite) state automata as a model of discrete-event systems])[#include "01/main.typ"]

#week(name: [Petri nets and their use for modelling, analysis and control of
discrete--event systems])[#include "02/main.typ"]

#week(name: [(max,+) algebra and its use for modelling, analysis and control of
(some) discrete-event systems])[#include "03/main.typ"]

#week(name: [Hybrid automata as the key modeling framework for hybrid
systems])[#include "04/main.typ"]

#week(name: [Hybrid equations as an alternative modeling framework for hybrid
systems])[#include "05/main.typ"]

#week(name: [Subclasses of hybrid systems: Reset (control) systems,
Switched/switching dynamical systems, Piecewise Affine (PWA) Systems.
Definitions and conditions of existence and uniqueness of a solution]
)[#include "06/main.typ"]

