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

News

23.07.2021

Deadline Extension

Dear students,

we have decided to extend both the soft and the hard deadline by one week. Hence, you can submit your draft until August 14 and your final summary until August 28.

Feel free to contact us if this introduces new complications or if you have any... Read more

Dear students,

we have decided to extend both the soft and the hard deadline by one week. Hence, you can submit your draft until August 14 and your final summary until August 28.

Feel free to contact us if this introduces new complications or if you have any questions.

Have a great time!
Max on behalf of the MonCPS Team

09.06.2021

Submission Reading Group Summary

Dear students,

We hope you all have fun with the reading group summary. 
On your personal status page you will find a submission closing in a little less than 10h.  Make sure to upload your pdf in time.  One submission per group will suffice.

Keep in mind... Read more

Dear students,

We hope you all have fun with the reading group summary. 
On your personal status page you will find a submission closing in a little less than 10h.  Make sure to upload your pdf in time.  One submission per group will suffice.

Keep in mind that each section should either be marked as joint work or by whom it was written.

Have a splendid afternoon
Your MonCPS Team

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