Monitoring of Cyber-Physical Systems Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger

News

15.04.2021

Reading Group Assignment

We uploaded the reading group assignment! Tomorrow, you will get a mail from your advisor with further information. As a reminder: You can find the corresponding papers to your reading group in the materials tab. 

12.04.2021

Registration is open

The registration is open! Please register until Wednesday. The kick-off meeting is this week on Wednesday, April 14, at 10:15am, please find the zoom link at “Information -> Zoom Meeting”.

 

Monitoring of Cyber-Physical Systems

A cyber-physical system is a digital component that controls a physical object such as an autonomous car, a nuclear power plant, or a medical implant. Cyber-physical systems are hard to design correctly; they are also difficult to test or verify. In this seminar, we will study dynamic analysis methods, where a monitoring component observes the behavior of the system and determines whether it is in a safe or unsafe state. If a problem is detected, the monitor raises an alarm and prompts the system to initiate a mitigation protocol. We will take a look at state-of-the-art runtime monitoring techniques for cyber-physical systems and discuss recent developments in this field.

The seminar will have two phases. In the first phase, small groups of participants will read up on some subarea of the seminar and give an overview presentation. In the second phase, we will have individual presentations on recent papers.

Structure

This course spans over the summer semester, starting with a kick-off meeting on April 14, 10am. The last meeting will be on July 21 and the final deadline is on August 21.

After the kick-off meeting, you will be assigned a reading group covering one of the following topics:

  • Logic-based Monitoring
  • Quantitative Monitoring
  • Integration and Case Studies

There is one advisor per reading group.  Your advisor is your main point of contact throughout both phases of the seminar. 

After the reading group phase, the individual group phase begins. We will have six regular meetings on Wednesday at 10am with two talks each. Your individual paper is assigned to you two weeks before your individual talk.  Refer to the timetable for all important dates.

Grading

Your grade depends on your reading group and individual presentations and summaries, as well as your participation in discussions.

Registration

Please only register if you were selected over the centralized seminar distribution system!



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators