• Sample exams:
  • examples of questions for the timed open-book take-home exam
  • sample timed open-book take-home exam 1
  • sample timed open-book take-home exam 2
  • examples of pre-COVID-19 exam questions
  • pre-COVID-19 sample exam 1 (except Question 4 as the corresponding topic of stochastic hybrid systems is not discussed anymore)
  • pre-COVID-19 sample exam 2
  
  
  
• Slides, online lectures, and notes for each of the chapters:
  
  
  • Introduction to the course (April 23, 2024)
    • slides for the overview of the course
    • online lecture: introduction to the course
    • online lecture: examples of hybrid systems
    
    
  • Chapter 1: Introduction (April 23 and 25)
    • slides of Chapter 1
    • online lecture: introduction to hybrid system models
    • online lecture: computational complexity and hybrid automata
    • online lecture: examples of hybrid automata, Zeno behavior
    • online lecture: Zeno behavior (continued)
    
    
  • Chapter 2: Models (Apri 30, May 4 and 7)
    • slides of Chapter 2
    • online lecture: PWA models, intro to MLD models
    • online lecture: MLD, LC, and ELC models
    • online lecture: MMPS models and equivalences
    • online lecture: timed automata and timed Petri nets
    • Note on how to model the corners of the unit square as an ELC condition
    
    
  • Chapter 6: Optimization-based control (May 7 and 21)
    • Note that chapter 6 is treated before the other chapters so that we can start with the practical assignment as soon as possible.
    • slides of Chapter 6
    • Recasting the MLD-MPC problem as an MIQP problem
    • online lecture: MPC for MLD systems
    • online lecture: MPC for MLD and continuous PWA systems
    • online lecture: Optimal control and game-theoretic control
    
    
  • Chapter 3: Dynamics and well-posedness (May 28)
    • slides of Chapter 3
    • online lecture: dynamics and well-posedness
    
    
  • Chapter 4: Stability (May 28 and June 4)
    • slides of Chapter 4
    • online lecture: stability
    • m files for Lecture 4: zip archive
    
    
  • Chapter 5: Switched control (June 4)
    • slides of Chapter 5
    • online lecture: switched control
    
    
  • Chapter 7: Model checking and timed automata (June 6)
    • slides of Chapter 7
    • online lecture: verification
    
    
  
  
• pdf file of the description of the assignment: see Brightspace
  
  
  
• matlab interface script for solving MILPs using cplex:
  • milp_solve_tomlab_cplex.m