Computational Cyber Physical Systems

Course Name: 

Computational Cyber Physical Systems (CS415)


B.Tech (CSE)




Programme Specific Electives (PSE)

Credits (L-T-P): 



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.


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.

Contact us

Dr. Manu Basavaraju
Head of the Department
Department of CSE, NITK, Surathkal
P. O. Srinivasnagar, Mangalore - 575 025
Karnataka, India.
Hot line: +91-0824-2474053
Email: hodcse[AT]nitk[DOT]ac[DOT]in


Connect with us

We're on Social Networks. Follow us & get in touch.