Back close

Course Detail

Course Name Cyber Physical Systems
Course Code 18PR715
Program M. Tech. in Power & Energy Engineering(Smart Grids & Electric Vehicles)
Year Taught 2018


Course Syllabus

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: CLFs, MLFs, stability under slow switching, Performance under Packet drop and Noise.

CPS: From features to software components, Mapping software components to ECUs, CPS Performance Analysis : effect of scheduling, bus latency, sense and actuation faults on control performance, network congestion

Formal Methods for Safety Assurance of Cyber-Physical Systems: Advanced Automata based modelling and analysis: Basic introduction and examples ,Timed and Hybrid Automata, Definition of trajectories, zenoness, Formal Analysis: Flow pipe construction, reachability analysis, Analysis of CPS Software, Weakest Pre-conditions, Bounded Model checking

Hybrid Automata Modelling: Flowpipe construction using Flowstar, SpaceX and Phaver tools, CPS SW Verification: Frama-C, CBMC,

Secure Deployment of CPS: Attack models, Secure Task mapping and Partitioning, State estimation for attack detection, Automotive

Case study: Vehicle ABS hacking, Power Distribution

Case study: Attacks on Smart grid.

Text Books / References

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


‘Cyber Physical Systems’ is a course offered in the M. Tech. in Power & Energy Engineering program at School of Engineering, Amrita Vishwa Vidyapeetham, Amritapuri campus.

DISCLAIMER: The appearance of external links on this web site does not constitute endorsement by the School of Biotechnology/Amrita Vishwa Vidyapeetham or the information, products or services contained therein. For other than authorized activities, the Amrita Vishwa Vidyapeetham does not exercise any editorial control over the information you may find at these locations. These links are provided consistent with the stated purpose of this web site.

Admissions Apply Now