Vorlesung: 2.01.300 Hybride Systeme - Details

Vorlesung: 2.01.300 Hybride Systeme - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 2.01.300 Hybride Systeme
Untertitel inf300
Veranstaltungsnummer 2.01.300
Semester SoSe2023
Aktuelle Anzahl der Teilnehmenden 12
erwartete Teilnehmendenanzahl 15
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Dienstag, 11.04.2023 14:15 - 15:45, Ort: V03 0-M017
Art/Form V+Ü
Lehrsprache deutsch
Sonstiges Sollte zwecks flexiblen Übergangs zwischen VL und Übung zusammen mit der Übung in zwei zweistündige Slots gefasst werden; bitte nicht eine Stunde einzeln allozieren.

Räume und Zeiten

V03 0-M017
Dienstag: 14:15 - 15:45, wöchentlich (14x)
V04 1-146
Freitag: 08:15 - 09:45, wöchentlich (13x)

Modulzuordnungen

Kommentar/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.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.