News

Final Grades are Online

Written on 27.10.21 by Maximilian Schwenger

Hey everyone,

you can find your final grades on your personal status page now. If you have any question or want to receive feedback for your summary, feel free to contact us.

Thanks again for participating in this seminar.  We hope, you learned a lot and had some fun, we surely did! 

All the… Read more

Hey everyone,

you can find your final grades on your personal status page now. If you have any question or want to receive feedback for your summary, feel free to contact us.

Thanks again for participating in this seminar.  We hope, you learned a lot and had some fun, we surely did! 

All the best,
your Monitoring of Cyber-Physical Systems Team
 

PS: We currently have a surplus of exciting Bachelor/Master/HiWi topics, if interested, let us know.

Reminder

Written on 23.08.21 by Jan Baumeister

Dear Students,

 

The summary deadline draws nearer, so this is a great chance for a final reminder regarding the page limit of 5-7 pages, not including references. Besides the page limit, we have some other requirements that are listed here.

 

Have a great week!

Jan on behalf of the… Read more

Dear Students,

 

The summary deadline draws nearer, so this is a great chance for a final reminder regarding the page limit of 5-7 pages, not including references. Besides the page limit, we have some other requirements that are listed here.

 

Have a great week!

Jan on behalf of the MonCPS Team

Soft Deadline Feedback

Written on 20.08.21 by Jan Baumeister

Dear students,

we finished reviewing your drafts; you can find the feedback in the cms on your personal status page. 

Feel free to contact us if you have any problems seeing it. 

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

Deadline Extension

Written on 23.07.21 by Maximilian Schwenger

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… 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

Submission Reading Group Summary

Written on 09.06.21 by Maximilian Schwenger

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… 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

Reading Group Assignment

Written on 15.04.21 by Jan Baumeister

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. 

Registration is open

Written on 12.04.21 by Bernd Finkbeiner

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”.

Show all

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.