Vorlesung: Hauptseminar Informatik - Details

Vorlesung: Hauptseminar Informatik - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Hauptseminar Informatik
Untertitel Models of computation for cyber-physical systems
Semester SoSe 15
Aktuelle Anzahl der Teilnehmenden 7
Heimat-Einrichtung Institut für Softwaresysteme (E-16)
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Donnerstag, 02.04.2015 15:00 - 16:00

Räume und Zeiten

Keine Raumangabe
Donnerstag, 02.04.2015 15:00 - 16:00
(E 4.042)
Mittwoch, 06.05.2015, Dienstag, 19.05.2015, Donnerstag, 04.06.2015 08:00 - 12:30

Kommentar/Beschreibung

This seminar gives students an overview of major models of computation for cyber-physical systems. Working in pairs on research papers, students study the theoretical underpinnings as well the practical workings, present a summary in class, and prepare a short write-up. Topics include:
  • Timed models
    • Discrete-time models
    • Feedback loops
  • Untimed models
    • Finite state machines
    • Kahn process networks
    • Synchronous data-flow models
    • Petri nets
    • Communicating sequential processes (CSP)
    • Calculus of communicating systems (CSS)
Enrollment is limited. If the number of interested students exceeds the number of seats, seats are assigned first-come, first-serve, based on the date at which you registered for the seminar in Stud.IP.

Language: all papers and all material is in English. Speakers present in English

Attendance: participants are expected to attend. Exceptions may be arranged only in exceptional circumstances (hence the name) and if you contact the teacher two days in advance. The first meeting takes place in the first week of the semester. Time and place is announced in Stud.IP. Topics will be assigned by the first-come, first-serve principle: you pick topics (and, if so desired, your team-mate) in the order in which you registered in Stud.IP. Since the topics and papers vary in their style, it is important that you take a look upfront and have an idea of your preferences. Introductory literature:

Jantsch, Axel, and Ingo Sander. "Models of computation and languages for embedded system design." IEE Proceedings-Computers and Digital Techniques 152.2 (2005): 114-129.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch Migration 128 13:45:31 03.09.2014
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.