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)