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.