Cyber Physical Systems Verification

Course Name: 

Cyber Physical Systems Verification (CS412/CS412M)


B.Tech (CSE)




Programme Specific Electives (PSE)

Credits (L-T-P): 



Elementary Cyber-Physical Systems- Choice & Control, Safety & Contracts, Dynamical Systems &
Dynamic Axioms.
Modeling Cyber-Physical Systems- Various Modeling Techniques of System Designs, Synchronous CPS Modeling,
Asynchronous CPS Modeling, Hybrid CPS Modeling. Design Verification of Cyber-Physical Systems via Formal
Verification Techniques, Verified Models & Verified Runtime Validation. Comprehensive CPS CorrectnessAxioms &
Uniform Substitutions, Virtual Substitution, Real Equations and Arithmetic. Adversarial Cyber-Physical SystemsHybrid Systems & Games, Game Proofs & Separations.


Logical Foundations of Cyber-Physical Systems, Andr ́e Platzer, 1st Ed., Springer, 2018.
Cyber-Physical Systems: Integrated Computing and Engineering Design, Fei Hu, 1st Edn., CRC Press, 2014.
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.