Computational Foundations of Cyber Physical Systems

Resources

  • Sensors and Actuators (from Lee and Seshia's Book)
  • Interfacing Sensors and Actuators (from Lee and Seshia's Book)
  • ADC, DAC (from Lee and Seshia's Book)
  • Slide-4 (RISC)
  • Slide-5 (CAN)
  • Slide-6 (Scheduling)
  • Slide-7 (Basic control-1)
  • Slide-8 (Basic control-2)
  • Pole placement based control design (by Emam Fathy, lecture 11)
  • Sampled system, LQR Design, Kalman Filter
  • Timed Automata (incomplete slides)
  • Controller scheduling (incomplete slides)
  • Formal Techniques (slide1)
  • Formal Techniques (slide2)
  • Formal Techniques (slide3)
  • Intelligent HVAC control
  • Secure Control and Scheduling (slide1)
  • Secure Control and Scheduling (slide2)