Cyber Physical Systems Verification
Course Name:
Cyber Physical Systems Verification (CS412/CS412M)
Programme:
B.Tech (CSE)
Semester:
Seventh
Category:
Programme Specific Electives (PSE)
Credits (L-T-P):
04(3-1-0)
Content:
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.
References:
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