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

Lehrveranstaltungen:

• • Ereignisdiskrete Systeme
    (Vorlesung, 2 SWS, Thomas Moor, Fr, 14:15 - 15:45, R4.15; Die Vorlesung beginnt am Fr, 13.04.2018.)
  • Übungen zu Ereignisdiskrete Systeme
    (Übung, 2 SWS, Yiheng Tang, Di, 8:15 - 9:45, R4.11; Die Übung beginnt am Di, 17.04.2018.)

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:

1. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2010 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | Bachelorprüfung | Technische Wahlmodule | 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 2018, 1. Wdh.: WS 2018/2019

1. Prüfer:

Thomas Moor

Termin: 08.10.2018, 11:00 Uhr, Ort: K 1 TechF
Termin: 14.02.2019, 14:15 Uhr, Ort: R 4.11
Termin: 07.10.2019, 11:00 Uhr, Ort: H 8 TechF
Termin: 13.02.2020, 14:00 Uhr, Ort: LS