Module Import 04IN2018 - Modelling of dynamic systems

Status: (discontinued) Published
Workload6 ECTS = 180 hrs
Credits, Weight6 ECTS, (n.s.)
Language of Instruction German
Semester (n.s.)
Duration1 Sem.
M/E Elective
Courses
Course No. Type Name MA/EL Workload Credits Contact Hours Selfstudy Group Size
04IN2018-1 Lecture Modelling of dynamic systems (n.s.) 3 ECTS = 90 hrs - 2 hrs/week = 30 hrs 60 hrs (n.s.)
04IN2018-2 Exercise Modelling of dynamic systems (n.s.) 3 ECTS = 90 hrs - 2 hrs/week = 30 hrs 60 hrs (n.s.)
Learning Outcomes

Die Studierenden sollen die grundlegende Bedeutung präziser dynamischer Modelle für die Konstruktion von Systemen (Anlagen, Geräten, Robotern, Programmen etc.) erkennen. Sie sollen lernen, technisch-naturwissenschaftliche und betriebliche Prozesse (molekular-biologische Prozesse, Internet-Prozesse, Unternehmens-Prozesse etc.) zu modellieren und die Modelle auszuwerten.

Content

(not specified)

04IN2018-1 - Modelling of dynamic systems
  1. Einführung
    • Modelle, Modellierung, Petri-Netze, Automaten
  2. Formale Analyse-Techniken
    • Invarianten-Technik, Erreichbarkeits-Analyse, Model-Checking
  3. System-Morphismen
    • Abstraktion, Hierarchisierung, Vergröberung, Verfeinerung
  4. Simulation
    • Aktuelle Tools und deren Handhabung, Auswertung von Simulationsergebnissen
  5. Entwicklung von Modellen
    • Modellierung zeitkritischer, probabilistischer und possibilistischer Systeme (Fuzzy Systems)
Teaching Methods

(not specified)

Prerequisites

(not specified)

Examination Methods

je nach Teilnehmerzahl: Klausur oder mündliche Prüfung

Credit Requirements

(not specified)

References

(not specified)

04IN2018-1 - Modelling of dynamic systems

B. Baumgarten, Petri-Netze, 2.Auflage, 1996

R. David, H. Alla, Petri Nets and Grafcet, 1992

Responsible / Organizational Unit
Lautenbach, Kurt / Institute for Computer Science
Additional Information

(not specified)

Last change
Apr 24, 2018 by Frey, Johannes
Last Change Module
Jun 11, 2013 by Frey, Johannes