Navigation

Hybride Systeme

Kontakt

Leitung

Prof. Dr. M. Fränzle
Raum: D119/120 (OFFIS)
Tel.: +49-441-9722 566

Sekretariat

Kathrin Kuper
Raum: D121 (OFFIS)
Tel.: +49-441-9722 501
Fax: +49-441-9722 502

Diese Veranstaltung wird im Sommersemester 2020 angeboten. Die Anmeldung erfolgt über das .

Semester: Sommersemester 2020

2.01.300 Hybride Systeme -  


Veranstaltungstermine

  • Dienstag: 12:00 - 14:00, wöchentlich (14.04.2020 - 14.07.2020)
  • Freitag: 08:00 - 10:00, wöchentlich (17.04.2020 - 17.07.2020)

Lehrende

Studienbereiche

  • Studium generale / Gasthörstudium

empfohlenes Fachsemester
--

Für Gasthörende / Studium generale geöffnet:
Ja

Hinweise zum Inhalt der Veranstaltung für Gasthörende
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.

Webmasterqhfu (hs-webmbbjryaster@ijunfoqurmatikrdl.uni5ji-ol0xdenb7purgqn.dw7esdb) (Stand: 21.08.2020)