Course Details

Subject {L-T-P / C} : EE6341 : Cyber Physical System {3-0-0 / 3}
Subject Nature : Theory
Coordinator : Prof. Bidyadhar Subudhi

Syllabus

Introduction to Cyber-Physical Systems: Cyber-Physical Systems (CPS) in the real world,Basic principles of design and validation of CPS, Industry 4.0, AutoSAR, IIOT implications, Building Automation, Medical CPS CPS - Platform components: CPS HW platforms - Processors, Sensors, Actuators, CPS Network - WirelessHart, CAN, Automotive Ethernet, 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, Matlab toolboxes - Simulink, Stateflow CPS implementation: 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 modeling and analysis, Basic introduction and examples, Timed and Hybrid Automata, Definition of trajectories, Formal Analysis: Flow pipe construction, reachability analysis Analysis of CPS Software: Weakest Pre-conditions, Bounded Model checking, 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 SmartGrids

Course Objectives

  1. To learn about design of cyber-physical systems

Course Outcomes

CO1: Understand the core principles behind CPS
CO2: Identify safety specifications and critical properties
CO3: Understand abstraction in system designs
CO4: Express pre- and post-conditions and invariants for CPS models

Essential Reading

  1. Raj Rajkumar,? Dionisio De Niz , and Mark Klein, Cyber-Physical Systems, ddison-Wesley Professional
  2. Rajeev Alur, Principles of Cyber-Physical Systems, MIT Press, 2015.

Supplementary Reading

  1. André Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics., Springer, 2010. 426 pages,ISBN 978-3-642-14508-7.
  2. Jean J. Labrosse, Embedded Systems Building Blocks: Complete and Ready-To-Use Modules in C, The publisher, Paul Temme, 2011.