Skip to content
/ hys Public

Hybrid systems – lecture notes for a graduate course B(E)3M35HYS at CTU in Prague, Czechia

2 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

hurak/hys

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

31 Commits
classes_figures
classes_figures
 
 
complementarity_figures
complementarity_figures
 
 
des_figures
des_figures
 
 
hybrid_automata_figures
hybrid_automata_figures
 
 
hybrid_equations_figures
hybrid_equations_figures
 
 
intro_figures
intro_figures
 
 
max_plus_figures
max_plus_figures
 
 
mld_figures
mld_figures
 
 
petri_nets_figures
petri_nets_figures
 
 
solution_figures
solution_figures
 
 
stability_figures
stability_figures
 
 
.gitignore
.gitignore
 
 
Project.toml
Project.toml
 
 
README.md
README.md
 
 
_quarto.yml
_quarto.yml
 
 
classes_PWA.qmd
classes_PWA.qmd
 
 
classes_references.qmd
classes_references.qmd
 
 
classes_reset.qmd
classes_reset.qmd
 
 
classes_software.qmd
classes_software.qmd
 
 
classes_switched.qmd
classes_switched.qmd
 
 
complementarity_constraints.qmd
complementarity_constraints.qmd
 
 
complementarity_references.qmd
complementarity_references.qmd
 
 
complementarity_simulations.qmd
complementarity_simulations.qmd
 
 
complementarity_software.qmd
complementarity_software.qmd
 
 
complementarity_systems.qmd
complementarity_systems.qmd
 
 
des.qmd
des.qmd
 
 
des_automata.qmd
des_automata.qmd
 
 
des_references.qmd
des_references.qmd
 
 
des_software.qmd
des_software.qmd
 
 
hybrid_automata.qmd
hybrid_automata.qmd
 
 
hybrid_automata_references.qmd
hybrid_automata_references.qmd
 
 
hybrid_automata_software.qmd
hybrid_automata_software.qmd
 
 
hybrid_equations.qmd
hybrid_equations.qmd
 
 
hybrid_equations_references.qmd
hybrid_equations_references.qmd
 
 
hybrid_equations_software.qmd
hybrid_equations_software.qmd
 
 
ieee-control-systems.csl
ieee-control-systems.csl
 
 
index.qmd
index.qmd
 
 
intro.qmd
intro.qmd
 
 
intro_outline.qmd
intro_outline.qmd
 
 
intro_references.qmd
intro_references.qmd
 
 
max_plus_algebra.qmd
max_plus_algebra.qmd
 
 
max_plus_references.qmd
max_plus_references.qmd
 
 
max_plus_software.qmd
max_plus_software.qmd
 
 
max_plus_systems.qmd
max_plus_systems.qmd
 
 
mld_DHA.qmd
mld_DHA.qmd
 
 
mld_intro.qmd
mld_intro.qmd
 
 
mld_references.qmd
mld_references.qmd
 
 
mld_software.qmd
mld_software.qmd
 
 
mld_why.qmd
mld_why.qmd
 
 
mpc_mld_explicit.qmd
mpc_mld_explicit.qmd
 
 
mpc_mld_online.qmd
mpc_mld_online.qmd
 
 
mpc_mld_references.qmd
mpc_mld_references.qmd
 
 
mpc_mld_software.qmd
mpc_mld_software.qmd
 
 
petri_nets.qmd
petri_nets.qmd
 
 
petri_nets_references.qmd
petri_nets_references.qmd
 
 
petri_nets_software.qmd
petri_nets_software.qmd
 
 
petri_nets_timed.qmd
petri_nets_timed.qmd
 
 
ref_LMI.bib
ref_LMI.bib
 
 
ref_ODE.bib
ref_ODE.bib
 
 
ref_PLC.bib
ref_PLC.bib
 
 
ref_PWA.bib
ref_PWA.bib
 
 
ref_PWA_approx.bib
ref_PWA_approx.bib
 
 
ref_QSS.bib
ref_QSS.bib
 
 
ref_bilevel.bib
ref_bilevel.bib
 
 
ref_complementarity.bib
ref_complementarity.bib
 
 
ref_des.bib
ref_des.bib
 
 
ref_equilibrium.bib
ref_equilibrium.bib
 
 
ref_hybrid.bib
ref_hybrid.bib
 
 
ref_integer_and_mixed_integer.bib
ref_integer_and_mixed_integer.bib
 
 
ref_max_plus.bib
ref_max_plus.bib
 
 
ref_modelica.bib
ref_modelica.bib
 
 
ref_mpc.bib
ref_mpc.bib
 
 
ref_petri_nets.bib
ref_petri_nets.bib
 
 
ref_polynomial.bib
ref_polynomial.bib
 
 
ref_reset.bib
ref_reset.bib
 
 
ref_stability.bib
ref_stability.bib
 
 
ref_temporal.bib
ref_temporal.bib
 
 
ref_verification.bib
ref_verification.bib
 
 
solution_concepts.qmd
solution_concepts.qmd
 
 
solution_references.qmd
solution_references.qmd
 
 
solution_types.qmd
solution_types.qmd
 
 
stability_concepts.qmd
stability_concepts.qmd
 
 
stability_recap.qmd
stability_recap.qmd
 
 
stability_references.qmd
stability_references.qmd
 
 
stability_software.qmd
stability_software.qmd
 
 
stability_via_common_lyapunov_function.qmd
stability_via_common_lyapunov_function.qmd
 
 
stability_via_multiple_lyapunov_function.qmd
stability_via_multiple_lyapunov_function.qmd
 
 
styles.css
styles.css
 
 
verification_barrier.qmd
verification_barrier.qmd
 
 
verification_intro.qmd
verification_intro.qmd
 
 
verification_reachability.qmd
verification_reachability.qmd
 
 
verification_references.qmd
verification_references.qmd
 
 
verification_temporal_logics.qmd
verification_temporal_logics.qmd
 
 

Repository files navigation

Hybrid Systems (B3M35HYS/BE3M35HYS)

A repository of source files (Quarto Markdown files) for online lecture notes for the graduate course Hybrid Systems (official description of the Czech version B3M35HYS / and the English version BE3M35HYS) at Czech Technical University in Prague, Czechia. The rendered web page for these lecture notes is at https://hurak.github.io/hys.

About

Hybrid systems – lecture notes for a graduate course B(E)3M35HYS at CTU in Prague, Czechia

Resources

Readme
Activity

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages