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

Lehrveranstaltungen:

• • Ereignisdiskrete Systeme
    (Vorlesung, 2 SWS, Thomas Moor, Do, 10:15 - 11:45, 04.023; Die Vorlesung findet zunächst in digitaler Form statt, weitere Informationen werden zu gegebener Zeit auf StudOn bereitgestellt. Interessierte Teilnehmer melden sich bitte über StudOn an und schauen dort zumindest wöchentlich zum genannten Termin nach.)
  • Übungen zu Ereignisdiskrete Systeme
    (Übung, 2 SWS, Yiheng Tang, Fr, 12:15 - 13:45, 04.019; => die Übung findet zunächst in digitaler Form statt, weitere Informationen finden sich auf StudOn.)

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. 123#67#H
   (Po-Vers. 2008 | TechFak | Computational Engineering (Master of Science with Honours) | Gesamtkonto | Wahlpflichtbereich Angewandte Mathematik | Ereignisdiskrete Systeme)
2. 123#67#H
   (Po-Vers. 2008 | TechFak | Computational Engineering (Master of Science with Honours) | Gesamtkonto | Wahlpflichtbereich Technisches Anwendungsfach | Ereignisdiskrete Systeme)
3. Berufspädagogik Technik (Bachelor of Science)
   (Po-Vers. 2011 | TechFak | Berufspädagogik Technik (Bachelor of Science) | Studienrichtung Elektrotechnik und Informationstechnik | Gesamtkonto | Wahlpflichtmodule Fachwissenschaft | Ereignisdiskrete Systeme)
4. Berufspädagogik Technik (Master of Education)
   (Po-Vers. 2010 | TechFak | Berufspädagogik Technik (Master of Education) | Studienrichtung Elektro- und Informationstechnik (Masterprüfungen) | Wahlpflichtmodule Fachwissenschaft | Ereignisdiskrete Systeme)
5. Berufspädagogik Technik (Master of Education)
   (Po-Vers. 2018w | TechFak | Berufspädagogik Technik (Master of Education) | Gesamtkonto | Wahlpflichtmodule Fachwissenschaft | Ereignisdiskrete Systeme)
6. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2007 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Technische Wahlmodule | Ereignisdiskrete Systeme)
7. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2009 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Technische Wahlmodule | Ereignisdiskrete Systeme)
8. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science)
   (Po-Vers. 2010 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Bachelor of Science) | Gesamtkonto | Technische Wahlmodule | Ereignisdiskrete Systeme)
9. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
   (Po-Vers. 2008 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Gesamtkonto | Wahlpflichtbereich Angewandte Mathematik | Ereignisdiskrete Systeme)
10. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
    (Po-Vers. 2008 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Gesamtkonto | Wahlpflichtbereich Technisches Anwendungsfach | Ereignisdiskrete Systeme)
11. Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science): 5-6. Semester
    (Po-Vers. 2007 | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Studienrichtungen (Wahlpflichtmodule) | Studienrichtung Automatisierungstechnik | Vertiefungsmodule Automatisierungstechnik | Ereignisdiskrete Systeme)
12. Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science): 5-6. Semester
    (Po-Vers. 2009 | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Wahlfächer | Technische Wahlfächer (aus dem Angebot der Technischen Fakultät frei wählbar) | Ereignisdiskrete Systeme)
13. Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science): 5-6. Semester
    (Po-Vers. 2009 | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Studienrichtungen | Studienrichtung Automatisierungstechnik | Vertiefungsmodule (Wahlpflichtmodule) Automatisierungstechnik | Ereignisdiskrete Systeme)
14. Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science)
    (Po-Vers. 2017w | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Technische Wahlfächer (aus dem Angebot der Technischen Fakultät frei wählbar) | Ereignisdiskrete Systeme)
15. Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science)
    (Po-Vers. 2017w | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Studienrichtung Automatisierungstechnik | Vertiefungsmodule Automatisierungstechnik | Ereignisdiskrete Systeme)
16. Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science)
    (Po-Vers. 2019w | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Gesamtkonto | Wahlfächer | Technische Wahlfächer (aus dem Angebot der Technischen Fakultät frei wählbar) | Ereignisdiskrete Systeme)
17. Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science)
    (Po-Vers. 2019w | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Bachelor of Science) | Gesamtkonto | Studienrichtung Automatisierungstechnik | Kern- und Vertiefungsmodule Automatisierungstechnik | Vertiefungsmodule Automatisierungstechnik | Ereignisdiskrete Systeme)
18. Elektrotechnik, Elektronik und Informationstechnik (Master of Science): 1-4. Semester
    (Po-Vers. 2010 | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Master of Science) | Studienrichtung Automatisierungstechnik | Vertiefungsmodule Automatisierungstechnik | Ereignisdiskrete Systeme)
19. Elektrotechnik, Elektronik und Informationstechnik (Master of Science)
    (Po-Vers. 2015s | TechFak | Elektrotechnik, Elektronik und Informationstechnik (Master of Science) | Gesamtkonto | Studienrichtung Automatisierungstechnik | Vertiefungsmodule Automatisierungstechnik | Ereignisdiskrete Systeme)
20. Mechatronik (Bachelor of Science): 5-6. Semester
    (Po-Vers. 2007 | TechFak | Mechatronik (Bachelor of Science) | Gesamtkonto | Wahlpflichtmodule (aus Katalog) | Ereignisdiskrete Systeme)
21. Mechatronik (Bachelor of Science): 5-6. Semester
    (Po-Vers. 2009 | TechFak | Mechatronik (Bachelor of Science) | Gesamtkonto | Wahlpflichtmodule | 1 Regelungstechnik | 1 Regelungstechnik | Ereignisdiskrete Systeme)
22. Mechatronik (Master of Science): 1-3. Semester
    (Po-Vers. 2010 | TechFak | Mechatronik (Master of Science) | Gesamtkonto | Wahlpflichtmodule | Katalog | Ereignisdiskrete Systeme)
23. Mechatronik (Master of Science): 1-3. Semester
    (Po-Vers. 2010 | TechFak | Mechatronik (Master of Science) | Gesamtkonto | Vertiefungsrichtungen | Regelungstechnik | Ereignisdiskrete Systeme)
24. Mechatronik (Master of Science)
    (Po-Vers. 2012 | TechFak | Mechatronik (Master of Science) | Gesamtkonto | M1-M2 Vertiefungsrichtungen | 1 Regelungstechnik | 1 Regelungstechnik | Ereignisdiskrete Systeme)
25. Wirtschaftsingenieurwesen (Bachelor of Science)
    (Po-Vers. 2018w | TechFak | Wirtschaftsingenieurwesen (Bachelor of Science) | Studienrichtung Elektrotechnik (Studienbeginn ab 01.10.2018) | Gesamtkonto | Technische Wahlmodule und Hochschulpraktikum | Technische Wahlmodule | Ereignisdiskrete Systeme)
26. Wirtschaftsingenieurwesen (Master of Science)
    (Po-Vers. 2018w | TechFak | Wirtschaftsingenieurwesen (Master of Science) | Masterstudiengang Wirtschaftsingenieurwesen (Studienbeginn ab 01.10.2018) | Gesamtkonto | Studienrichtung Maschinenbau | Technische Wahlmodule und Hochschulpraktikum | Technische Wahlmodule | Ereignisdiskrete Systeme)
27. Wirtschaftsingenieurwesen (Master of Science)
    (Po-Vers. 2018w | TechFak | Wirtschaftsingenieurwesen (Master of Science) | Masterstudiengang Wirtschaftsingenieurwesen (Studienbeginn ab 01.10.2018) | Gesamtkonto | Studienrichtung Elektrotechnik | Technische Wahlmodule und Hochschulpraktikum | 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 2020, 1. Wdh.: WS 2020/2021

1. Prüfer:

Thomas Moor

Termin: 26.10.2020, 11:00 Uhr, Ort: K 1 TechF
Termin: 18.02.2021, 14:00 Uhr, Ort: H 10 TechF
Termin: 11.10.2021, 13:00 Uhr, Ort: H 7 TechF
Termin: 17.02.2022, 14:00 Uhr, Ort: H 9 TechF