|
Ereignisdiskrete Systeme (DES)5 ECTS (englische Bezeichnung: Discrete Event Systems)
Modulverantwortliche/r: Thomas Moor Lehrende:
Thomas Moor
Start semester: |
SS 2016 | Duration: |
1 semester | Cycle: |
jährlich (SS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Language: |
Deutsch |
Lectures:
-
-
Ereignisdiskrete Systeme
(Vorlesung, 2 SWS, Thomas Moor, Thu, 16:15 - 17:45, R4.11; Die Vorlesung beginnt am 14.04.2016.)
-
Übungen zu Ereignisdiskrete Systeme
(Übung, 2 SWS, Xiaoying Bai, Tue, 8:15 - 9:45, R4.11; Die Übung beginnt am 19.04.2016.)
Empfohlene Voraussetzungen:
It is recommended to finish the following modules before starting this module:
Regelungstechnik A (Grundlagen) (WS 2015/2016)
Einführung in die Regelungstechnik (WS 2015/2016)
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:
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:
Findet nur im Sommersemester statt.
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:
- 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 2016, 1. Wdh.: WS 2016/2017
- Termin: 12.10.2016, 08:00 Uhr, Ort: H 9 TechF
Termin: 19.04.2017
Termin: 12.10.2017, 11:30 Uhr, Ort: H 8 TechF
Termin: 04.04.2018, 14:00 Uhr, Ort: SR R 4.11
|
|
|