Lehrangebot

Suche


Hinweis:

Prof. Roppenecker geht Ende WS 18/19 in Ruhestand.
Seine Grundlagenvorlesungen werden von anderen Dozenten weitergefüht werden;
seine Vertiefungsvorlesungen entfallen möglicherweise bzw. werden durch andere Lehrveranstaltungen ersetzt werden

Ereignisdiskrete Systeme (DES)

Dozent/in
Prof. Dr.-Ing. Thomas Moor

Angaben
Vorlesung, 2 SWS
nur Fachstudium, für Gasthörer zugelassen, Sprache Deutsch
Zeit und Ort: Mo 16:15 - 17:45, 0.151-115; Bemerkung zu Zeit und Ort: Die Vorlesung beginnt am Mo, 24.04.2017.

Studienfächer / Studienrichtungen
WPF ME-BA-MG1 5-6 (ECTS-Credits: 5)
WF CE-MA-TA-RT ab 1 (ECTS-Credits: 5)
WF CE-BA-TW ab 4 (ECTS-Credits: 5)
WPF EEI-BA-AUT 5-6 (ECTS-Credits: 5)
WF EEI-MA ab 1 (ECTS-Credits: 5)
WPF EEI-MA-AUT ab 1 (ECTS-Credits: 5)
WF EEI-BA ab 6 (ECTS-Credits: 5)
WPF ME-MA-MG1 1-3 (ECTS-Credits: 5)
WPF BPT-MA-E 1-3 (ECTS-Credits: 5)

Voraussetzungen / Organisatorisches
Findet nur im SS statt.
Erlaubte Hilfsmittel bei Prüfungen: Vorlesungsmitschrift + eigene Zusammenfassung.

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

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

ECTS-Informationen:
Title:
Discrete Event Systems

Contents
A discrete event system (DES) is a dynamical system in which relevant signals take their values within a discrete (finite) signal space. DESs can be used to model typical manufacturing systems, programmable logic controllers (PLCs) and interconnections thereof. Hence, an important application area addresses the control of complex manufacturing systems. Further examples for DESs are logical circuits and computer soft- or hardware in general. Naturally, the standard questions from continuous control theory are still highly relevant when plant and controller are DESs. The advertised course introduces selected techniques for: the specification of a desired closed-loop behaviour; the verification of a specified behaviour for a given closed-loop system; and, finally, methods for the systematic design of controllers that, when interconnected to the plant, enforce a specified closed-loop behaviour. Indeed, the latter problem can be seen as the core from classical control theory. However, for DESs the solutions are quite different.

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

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 35

Zugeordnete Lehrveranstaltungen
UE: Übungen zu Ereignisdiskrete Systeme
Dozent/in: M.Sc. Xiaoying Bai
Zeit und Ort: Fr 12:15 - 13:45, 0.151-115; Bemerkung zu Zeit und Ort: Die Übung beginnt am Fr, 28.04.2017.