We are happy to announce a new IAS course for the Summer Semester 2021 - Modeling and Analysis of Automation Systems (MAAS).
Design and analysis of modern automation systems require powerful models that are able to cover the complexity of industrial cyber-physical components. MAAS will guide you from basic to advanced system models and demonstrate their features and applications. We will start with elements of set theory, graph theory, and boolean algebra. So you will be able to make sense out of the expressions like
After that, we will talk about discrete system models such as state machines and automata. We will learn how to analyze parallel and concurrent systems with Petri nets and process algebra. We will discuss the principles of model checking and temporal logic. The second part of the course is devoted to stochastic models, including Bayesian network, Markov chains, queueing networks, and stochastic Petri nets. Finally, we will cover timing analysis with timed Petri nets and timed Automata.
Three pillars of MAAS are (i) examples, (ii) mathematics, and (iii) software. MAAS will help you get familiar with essential mathematical concepts that help design and analyze complex software and hardware. Yet, this course goes far beyond mathematics. In the lectures, we will learn about the advantages and disadvantages of the models, available software tools and libraries, and even some history behind. In the exercises, we will go deeper into the underlying math. We will code some of these models and analytical algorithms in Python. All slides, videos, and Jupyter notebooks will be available in the ILIAS. Similar to other courses, MAAS will be held online this year.