News
Final Grades are OnlineWritten 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, PS: We currently have a surplus of exciting Bachelor/Master/HiWi topics, if interested, let us know. |
ReminderWritten 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 FeedbackWritten 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! |
Deadline ExtensionWritten 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! 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! |
Submission Reading Group SummaryWritten on 09.06.21 by Maximilian Schwenger Dear students, We hope you all have fun with the reading group summary. Keep in mind that each section should either be… Read more Dear students, We hope you all have fun with the reading group summary. Keep in mind that each section should either be marked as joint work or by whom it was written. Have a splendid afternoon |
Reading Group AssignmentWritten 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 openWritten 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”. |
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!