Advanced Seminar CPS
General Information:
- Advanced Seminar (wissenschaftliches Seminar) in English
- 5 ECTS-Credits
- One written scientific report and one oral presentation (15min)
Dates:
- 25th of April, 2019: Kickoff meeting
- 5th of July, 2019: Report hand-in deadline
- 11th of July, 2019: Presentations
Topics:
Each topic can be chosen only once by a student:
- Stability analysis of aperiodic control systems pdf (unavailable)
- Self-triggered control in cyber-physical systems pdf (unavailable)
- Controller synthesis for discrete-time switching systems pdf (available)
- Safety Verification Using Barrier Functions for Interconnected Control Systems pdf (unavailable)
- Infinite Abstractions for Time-Dependent Switched Systems pdf (available)
- Compositional Safety Synthesis For Interconnected System Based On Set-Invariance pdf (unavailable)
- Analysis on security and privacy properties in Cyber-Physical Control Systems pdf (unavailable)
- Tools and Testbeds for the Development of Control Software for Autonomous Vehicles pdf (unavailable)
- Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems pdf (available)
- Entropy: control system stabilization and invariance pdf (available)
- Robot motion planning under high level specifications pdf (available)
- Capturing the Non-convexity with Mixed Integer Linear Programming(MILP) pdf (available)
- Bridging Across the Formal Methods and Machine Learning pdf (available)
- Approximating the feasible region for a set of equalities and inequalities using a relaxation technique pdf (available)
- Verification and synthesis of systems using barrier certificates pdf (available)