Course

Course Outcome

Course Articulation Matrix: Correlation level [ 1: low, 2: medium, 3: High]

Cyber-Physical Systems (CPS) in the real world, Basic principles of design and validation of CPS, CPS HW platforms: Processors, Sensors, Actuators, CPS Network, CPS SW stack RTOS, Scheduling Real Time control tasks. Principles of Automated Control Design: Dynamical Systems and Stability, Controller Design Techniques. Stability Analysis, Performance under Packet drop and Noise.CPS : From features to software components, Mapping software components to ECUs, CPS Performance Analysis, Formal Methods for Safety Assurance of Cyber-Physical Systems: Advanced Automata based modelling and analysis, Formal Analysis, Analysis of CPS Software, Weakest Pre-conditions, Bounded Model checking, Hybrid Automata Modelling, CPS SW Verification, Secure Deployment of CPS: Attack models, Attack Detection and Mitigation in CPS, Secure Task mapping and Partitioning, State estimation for attack detection, Automotive Case study: Vehicle ABS hacking, Power Distribution Case study: Attacks on Smart grid, Drone Swarm coordination.Digital Twin Technology in Smart Grids and Electric Vehicles (EVs):

1. E. A. Lee and S. A. Seshia, Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2011.
2. R. Alur, Principles of Cyber-Physical Systems, MIT Press, 2015.
3. T. D. Lewis Network Science: Theory and Applications, Wiley, 2009.
4. P. Tabuada, Verification and control of hybrid systems: a symbolic approach, Springer-Verlag 2009.
5. C. Cassandras, S. Lafortune, Introduction to Discrete Event Systems, Springer 2007.
6. Constance Heitmeyer and Dino Mandrioli, Formal methods for real-time computing, Wiley