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.