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
- To learn about design of cyber-physical systems
Course Outcomes
CO1: Understand the core principles behind CPS <br />CO2: Identify safety specifications and critical properties <br />CO3: Understand abstraction in system designs <br />CO4: Express pre- and post-conditions and invariants for CPS models
Essential Reading
- Raj Rajkumar,? Dionisio De Niz , and Mark Klein, Cyber-Physical Systems, ddison-Wesley Professional
- Rajeev Alur, Principles of Cyber-Physical Systems, MIT Press, 2015.
Supplementary Reading
- André Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics., Springer, 2010. 426 pages,ISBN 978-3-642-14508-7.
- Jean J. Labrosse, Embedded Systems Building Blocks: Complete and Ready-To-Use Modules in C, The publisher, Paul Temme, 2011.