Probabilistic Models: Modeling, Learning and Analysis (Wintersemester 2022/2023)
Lecturer:
Prof. Dr. Holger Giese
(Systemanalyse und Modellierung)
,
Christian Medeiros Adriano
(Systemanalyse und Modellierung)
,
Dr. Maria Maximova
(Systemanalyse und Modellierung)
,
Dr. Sven Schneider
(Systemanalyse und Modellierung)
General Information
- Weekly Hours: 4
- Credits: 6
- Graded:
yes
- Enrolment Deadline: 01.10.2022 - 31.10.2022
- Examination time §9 (4) BAMA-O: 01.02.2023
- Teaching Form: Lecture
- Enrolment Type: Compulsory Elective Module
- Course Language: English
Programs, Module Groups & Modules
- IT-Systems Engineering
- IT-Systems Engineering
- OSIS: Operating Systems & Information Systems Technology
- HPI-OSIS-K Konzepte und Methoden
- OSIS: Operating Systems & Information Systems Technology
- HPI-OSIS-T Techniken und Werkzeuge
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-K Konzepte und Methoden
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-T Techniken und Werkzeuge
- DANA: Data Analytics
- HPI-DANA-K Konzepte und Methoden
- DANA: Data Analytics
- HPI-DANA-T Techniken und Werkzeuge
- DANA: Data Analytics
- HPI-DANA-S Spezialisierung
- DICR: Digitalization of Clinical and Research Processes
- HPI-DICR-C Concepts and Methods
- DICR: Digitalization of Clinical and Research Processes
- HPI-DICR-T Technologies and Tools
- DICR: Digitalization of Clinical and Research Processes
- HPI-DICR-S Specialization
- APAD: Acquisition, Processing and Analysis of Health Data
- HPI-APAD-C Concepts and Methods
- APAD: Acquisition, Processing and Analysis of Health Data
- HPI-APAD-T Technologies and Tools
- APAD: Acquisition, Processing and Analysis of Health Data
- HPI-APAD-S Specialization
- HPI-SSE-C Conceptual Foundations
- MALA: Machine Learning and Analytics
- HPI-MALA-C Concepts and Methods
- MALA: Machine Learning and Analytics
- HPI-MALA-T Technologies and Tools
- MODA: Models and Algorithms
- HPI-MODA-C Concepts and Methods
- MODA: Models and Algorithms
- HPI-MODA-T Technologies and Tools
- MODA: Models and Algorithms
- HPI-MODA-S Specialization
Description
Models play a major role in the development of software and systems. They are, for example, often employed to capture the needs of the users concerning the data (database schemas), behavior (system processes), or both for an envisioned or existing system, or they are used to capturing how the system is or should be structured (e.g., architecture, classes and associations) or behave. However, the classical models employed in software engineering do not support the uncertainty of an envisioned or existing systems that can also have a probabilistic nature -- meaning that certain aspects follow given probabilities or probabilistic distributions.
On the one hand this enables modeling how the system is or should behave including probabilistic aspects. On the other hand, probabilistic models often enable learning from observations, which is often not feasible to the same extent for the classical counterparts. Finally, in many cases the probabilistic nature still permits an analysis of the likely behavior of the systems as predicted by the models.
Therefore, we will study how to represent various probabilistic aspects by building (learning) and analyzing (checking) different probabilistic models. We will cover models like discrete and continuous Markov-Chains, Hidden Markov Models, Markov Decision Processes, Semi-Markov Processes, etc.
Goal: Provide students with the foundations of various modern machine learning methods, for self-surpervised learning, reinforcement learning, and representation learning, as well as for the verification of safety-critical systems like traffic management and self-driving platforms.
Requirements
Basic knowledge of software modeling, as taught in the Modeling I courses or modeling languages and corresponding formalisms.
Literature
The slides for the lecture as well as a list of literature are provided in the internal area.
Learning
The lecture is accompanied by a project that includes introductory exercises.
Examination
Eine mündliche Prüfung am Ende des Semesters.
Um an der mündlichen Prüfung teilnehmen zu können, müssen die Studierenden die Übungen und die Projektarbeit bearbeiten, da diese Teil der mündlichen Prüfungsfragen sind.
Dates
The first lecture will take place on October 18, 2022 (Tuesday) from 09:15-10:45. The lectures will take place in room L-1.02 and remotely via Zoom (credentials)*
We will follow the recurrent schedule of:
- Tuesdays from 09:15-10:45 in room A-1.2
- Wednesdays from 09:15-10:45 in room A-1.2
* In case that you do not have access to GitLab, please email christian.adriano [at] hpi.de
Zurück