Principles of Cyber-Physical Systems:

1 - Project: Modeling and Verification of Cache Coherence Protocol
2 - Project: Modeling of Multiple Heaters
3 - Project: Modeling of Collision Avodiance