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.