Course Title: 
Cyber Physical Systems
Course Code: 
Year Taught: 
Postgraduate (PG)
School of Engineering

'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.

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.

  • 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.