Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
Semester:
Sommersemester
2023
2.01.300 Hybride Systeme -
Veranstaltungstermin | Raum
- Dienstag, 11.4.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 14.4.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 18.4.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 21.4.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 25.4.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 28.4.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 2.5.2023 14:15 - 15:45 | V03 0-M017
- Dienstag, 9.5.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 12.5.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 16.5.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 19.5.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 23.5.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 26.5.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 30.5.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 2.6.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 6.6.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 9.6.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 13.6.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 16.6.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 20.6.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 23.6.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 27.6.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 30.6.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 4.7.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 7.7.2023 8:15 - 09:45 | V04 1-146
- Dienstag, 11.7.2023 14:15 - 15:45 | V03 0-M017
- Freitag, 14.7.2023 8:15 - 09:45 | V04 1-146
Beschreibung
Eingebettete Computersysteme stehen in ständiger Interaktion mit ihrer Umgebung, welche oftmals zustands- und zeitkontinuierliche Komponenten enthält. Damit entstehen komplexe Interaktionen zwischen diskreten Berechnungs- und Entscheidungsvorgängen einerseits und kontinuierlichen Prozessen andererseits, welche weder mit den Mitteln der kontinuierlichen noch mit den Mitteln der diskreten Mathematik analysierbar sind. Insofern wird für die Analyse dieser technisch wichtigen Klasse computerbasierter Systeme eine eigenständige Theorie wie auch Entwurfsmethodik benötigt, in die diese VL einführen möchte: Die Theorie der hybrid diskret-kontinuierlichen Systeme.
Die vorlesungsbegleitende Bearbeitung eines Semesterprojekts mit aktuellen Entwurfs- und Verifikationswerkzeugen dient der Vertiefung des Vorlesungsstoffs.
Die vorlesungsbegleitende Bearbeitung eines Semesterprojekts mit aktuellen Entwurfs- und Verifikationswerkzeugen dient der Vertiefung des Vorlesungsstoffs.
Lehrende
SWS
4