Ereignisdiskrete Systeme (DES)
- Lecturer
- Prof. Dr.-Ing. Thomas Moor
- Details
- Vorlesung
Präsenz 2 cred.h
nur Fachstudium, für FAU Scientia Gaststudierende zugelassen, Sprache Deutsch
Time and place: Wed 14:15 - 15:45, 04.023; comments on time and place: 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.
- Fields of study
- 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)
- Prerequisites / Organisational information
- Findet nur im SS statt.
Erlaubte Hilfsmittel bei Prüfungen: Vorlesungsmitschrift + eigene Zusammenfassung.
- Contents
- 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:
- Recommended literature
- Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, Kluwer, 1999
- ECTS information:
- 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
- Additional information
- Expected participants: 45
www: https://www.studon.fau.de/crs4421624.html
- Assigned lectures
- UE ([präsenz]):Übungen zu Ereignisdiskrete Systeme
-
Lecturer: Yiheng Tang, M.Sc.
Time and place: Wed 16:15 - 17:45, 04.023; comments on time and place: 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)
- Department: Chair of Automatic Control (Prof. Dr.-Ing. Graichen)
|
|