### B(E)3M35SDU - Discrete Event Systems

The aim of the course is to provide introduction to discrete event systems (DES), their modelling and design. We will focus on supervisory control and diagnostics of DES, model checking and verification. The implementation of industrial control will be shown on the example of PLCs. The knowledge will be practiced in several smaller or bigger tasks resulting in the capability of the students to be able to tackle more complex problems from the requirements specification, model design, verification and implementation.