Week-1/2/3/4: Dynamical Systems Modeling
- Cyber-Physical Systems (CPS) in the real world
- Dynamical Systems : stability and performance
- Different notions of stability
- Controller Design techniques
- Logic based system specification
- Controller Synthesis as a logic problem
- Tutorials : System modeling, Control design, stability, Z3 solver
|
Week 5/6/7/8: CPS Compute/Communicate/Scheduling
- Real time scheduling theory
- CAN bus scheduling
- Wireless CPS
- Packet drops and their effects on stability/performance
- Delay/Deadline-miss aware control design
- Tutorials : Truetime/Jittertime, CAN tools, WSN-CPS simulation with drops, Example of miss aware control
|
Week 9/10/11/12/13: Safe-AI based and Secure CPS
- Safe Reinforcement learning for CPS
- MPC+Gaussian Process learning for CPS
- Distributed CPS: Cooperative driving
- Attack detection and mitigation in CPS
- Smart Grid Security and Privacy : Automated Generation Control attacks and privacy aware metering
- Tutorials : Use of OpenAI-gym, Carla, Matlab for safe-RL/MPC based autonomous driving, Ventos/SUMO for Cooperative driving, Matlab for power system loop modeling
|