Advanced Seminar CPS

General Information:

  • Advanced Seminar (wissenschaftliches Seminar) in English
  • 5 ECTS-Credits
  • One written scientific report and one oral presentation (10min) 

Dates:

  • 19th of April, 2018: Kickoff meeting
  • 28th of June, 2018: Report hand-in deadline
  • 5th of July, 2018: Presentations
  • 12th of July, 2018: Presentations 

Topics:

Each topic can be chosen only once by a student:

  • Aperiodic Sampling in Resource-Aware Control pdf (not available)
  • Compositional Construction of Finite Markov Decision Processes for Networks of Discrete-Time Stochastic Control Systems pdf
  • Compositional Controller Synthesis for Networks of Discrete-Time Stochastic Control Systems via Finite Abstractions pdf (not available)
  • Compositional Synthesis of Finite Abstractions for Interconnected Control Systems pdf
  • Deriving Relaxed Dissipativity-Type Conditions for Compositional Synthesis of Symbolic Models for Networks of Systems pdf (not available)
  • Efficient Data Structures for Next-Generation CPS Tools pdf (not available)
  • Formal Methods for Control of Traffic Flow pdf (not available)
  • High Performance Computing for Complex CPS pdf (not available)
  • Model Reduction of Interconnected Systems and its Application to Power Networks pdf
  • Robot Motion Planning under High Level Specifications pdf
  • Scheduling for CPS pdf
  • Stability Analysis of Switched Systems pdf
  • Verification and Synthesis of Systems using Barrier Certificates pdf