Computational Cyber Physical Systems
Course Name:
Computational Cyber Physical Systems (CS415)
Programme:
B.Tech (CSE)
Semester:
Seventh
Category:
Programme Specific Electives (PSE)
Credits (L-T-P):
04(3-1-0)
Content:
Overview of CPS Fundamentals; Modeling, Control, and Formalisms- Synchronous, Asynchronous, and Hybrid
Models; Validation &Verification of CPS by Formal Methods- Temporal logic, Model-Checking; Resource
Management in CPS; CPS Reliability Issues- Data Reliability, Security, and Privacy Challenges in CPS. Security and
Privacy in CPS. Case Studies- Healthcare CPSs, Agriculture CPSs, Smart Grid CPSs, Mission-Critical CPSs.
Cyber-Physical Systems: A Computational Perspective, Gaddadevara Matt Siddesh Ganesh Chandra Deka,
Krishnarajanagar GopalaIyengar Srinivasa, Lalit Mohan Patnaik, 1st Edn., CRC Press, 2016.
References:
Cyber-Physical Systems: Foundations, Principles and Applications, Houbing Song Danda Rawat Sabina Jeschke
Christian Brecher, 1st Ed., Elsevier, 2016.
Logic in Computer Science- Modelling and Reasoning About Systems, Michael Huth and Mark Ryan, Cambridge
University Press, 2004.