|
Ereignisdiskrete Systeme (DES)
- Dozent/in
- Prof. Dr.-Ing. Thomas Moor
- Angaben
- Vorlesung
Präsenz 2 SWS
nur Fachstudium, für FAU Scientia Gaststudierende zugelassen, Sprache Deutsch
Zeit und Ort: Mi 14:15 - 15:45, 04.023; Bemerkung zu Zeit und Ort: 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.
- 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:
- 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: 45
www: https://www.studon.fau.de/crs4421624.html
- Zugeordnete Lehrveranstaltungen
- UE ([präsenz]):Übungen zu Ereignisdiskrete Systeme
-
Dozent/in: Yiheng Tang, M.Sc.
Zeit und Ort: Mi 16:15 - 17:45, 04.023; Bemerkung zu Zeit und Ort: 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. www: https://www.studon.fau.de/crs4421624.html
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2022:
- Ereignisdiskrete Systeme (DES)
- Institution: Chair of Automatic Control (Prof. Dr.-Ing. Graichen)
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|