Vorlesung Modellierung des dynamischen Verhaltens von Systemen

Dozent/in: Prof. Dr.-Ing. Helena Szczerbicka
Übungsleiter: Dipl.-Inform. Rainer Barton
Raum: 3702-031 (NB01 Hörsaal)

Beschreibung

Studierenden kennen Modellierungskonzepte zur systematischen Beschreibung von komplexen dynamischen Systemen im Überblick. Sie können selbständig Probleme in kalkülgerechte Darstellungen übertragen. Sie kennen aus der Vorlesung die wichtigsten Ansätze/Kalküle/Methoden, die sie aufeinander aufbauend gelernt haben.

Inhalte

1. Einführung in die Modellierung, Prozess der Modellierung.
2. Grundlagen: Mengenthoerie, Algebra, Graphen
3. Modelle von Strukturen: UML Structural Modeling Diagrams
4. Modellierung von Zeit und Zufall.
5. Modellierung des dynamischen Verhaltens von sequentiellen und parallelen Abläufen.
6. Modelle der Dynamik: Automaten, Zellulare Automaten, Markov Chains, Petri Nets, Prozess Algebras, actor models, fault trees, UML Behavioral Modeling Diagrams.

Literaturempfehlungen

• Modellierung, Grundlagen und formale Methoden, 2005, Kastens/Büning.
• Queueing Networks and Markov Chains, 2006, Bolch et. all.
• Stochastic Petri Nets, 1996, Falko Bause, Pieter Kritzinger.

Termine

• Vorlesung: Dienstags, 13:00 Uhr bis 14:30 Uhr
  (Schneiderberg 32, Raum: 3702-031 - NB01 Hörsaal, ACHTUNG Raumänderung!!)

• Tutorien:
  Fr. wöchentlich 13:30 Uhr - 15:00 Uhr (F435)
  Fr. wöchentlich 12:00 Uhr - 13:30 Uhr (F435)
  Do. wöchentlich 16:00 Uhr - 17:30 Uhr (Raum 010, MZ 2, Gebäude 3408: Mehrzweckgebäude)
  Mo. wöchentlich 16:30 Uhr - 18:00 Uhr (F435)
  Mo. wöchentlich 15:00 Uhr - 16:30 Uhr (F435)

Veranstaltung

Datum	Zeit	Raum	Anmerkungen

Hinweis

Diese Veranstaltung wird über das System Stud.IP organisiert. Bitte beachten Sie das sie hierfür einen Stud.IP-Account benötigen und eingeloggt sein müssen. Nur so kann die Seite direkt aufgerufen werden.

• Link zur Vorlesung bei Stud.IP
• Link zur Übung bei Stud.IP