E-Learning an den Hamburger Hochschulen
Lecture: Hauptseminar Informatik - Details
You are not logged in.

General information

Subtitle Models of computation for cyber-physical systems
Semester SS 15
Current number of participants 14
Home institute Institut für Softwaresysteme (E-16)
Courses type Lecture in category Teaching
First date Thu , 02.04.2015 15:00 - 16:00

Course location / Course dates

(E 4.042) Wednesday. 06.05., Tuesday. 19.05., Thursday. 04.06. 08:00 - 12:30

Comment/Description

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.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch Migration 128 13:45:31 03.09.2014
The following admission rules apply:
  • Admission locked.