Ereignisdiskrete Systeme (DES)5 ECTS
(englische Bezeichnung: Discrete Event Systems)

Lehrveranstaltungen:

• • Ereignisdiskrete Systeme
    (Vorlesung, 2 SWS, Thomas Moor, Mi, 14:15 - 15:45, 04.023; Die Lehrveranstaltung ist als Präsenzveranstaltung geplant. Interessierte Teilnehmer melden sich bitte über StudOn an, dort werden wir Sie auch über etwaige Termin/Modus-Änderungen informieren.)
  • Übungen zu Ereignisdiskrete Systeme
    (Übung, 2 SWS, Yiheng Tang, Mi, 16:15 - 17:45, 04.023; Die Lehrveranstaltung ist als Präsenzveranstaltung geplant. Interessierte Teilnehmer melden sich bitte über StudOn an, dort werden wir Sie auch über etwaige Termin/Modus-Änderungen informieren.)

Empfohlene Voraussetzungen:

Es wird empfohlen, eines der folgenden UnivIS-Module zu absolvieren, bevor dieses UnivIS-Modul belegt wird:

• Regelungstechnik A (Grundlagen) (RT A) (WS 2017/2018)

• Einführung in die Regelungstechnik (ERT) (WS 2017/2018)
  

Inhalt:

Formale Sprachen als Modelle ereignisdiskreter Dynamik

• reguläre Ausdrücke, endliche Automaten, Nerode-Äquivalenz
  

• natürliche Projektion, synchrone Komposition, Konfliktfreiheit.
  

Entwurf ereignisdiskreter Regler:

• Sicherheitsspezifikation, Konfliktfreiheit
  

• supremale steuerbare Teilsprache, Fixpunktiterationen
  

• Normalität, Regelung unter eingeschränkter Beobachtbarkeit.
  

Anwendungsstudie:

• Modellbildung eines einfachen technischen Prozesses
  

• Spezifikation/Entwurf/Simulation am Anwendungsbeispiel

Lernziele und Kompetenzen:

Teilnehmer dieser Veranstaltung

• erklären, illustrieren und validieren die vorgestellten Grundlagen formaler Sprachen,
  

• entwickeln einfache Ergänzungen zu den vorgestellten Grundlagen formaler Sprachen,
  

• erklären und illustrieren die vorgestellten Entwurfsverfahren,
  

• überprüfen die vorgestellten Entwurfsverfahren hinsichtlich einzelner Lösungseigenschaften,
  

• entwickeln ereignisdiskrete Modelle einfacher technischer Prozesse, einschließlich formaler Spezifikationen,
  

• wählen im Kontext einfacher technischer Prozesse geeignete Entwurfsverfahren aus und wenden diese kritisch an,
  

• bewerten ihre Regelkreise im Simulationsexperiment.
  

Literatur:

Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, Kluwer, 1999

Organisatorisches:

Erlaubte Hilfsmittel bei Prüfungen: eigene handschriftliche Zusammenfassung.

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Berufspädagogik Technik (Master of Education)
   (Po-Vers. 2020w | TechFak | Berufspädagogik Technik (Master of Education) | Gesamtkonto | Wahlpflichtmodule Fachwissenschaft | Ereignisdiskrete Systeme)

Studien-/Prüfungsleistungen:

Vorlesung und Übung Ereignisdiskrete Systeme_ (Prüfungsnummer: 24301)

Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet, 5 ECTS

Anteil an der Berechnung der Modulnote: 100.0 %

Erstablegung: SS 2022, 1. Wdh.: WS 2022/2023

1. Prüfer:

Thomas Moor

Termin: 10.10.2022
Termin: 10.10.2022