JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY HYDERABAD

Course Objective

To learn about design of cyber-physical systems

Course Outcomes

Upon the Successful Completion of the Course, the Students would be able to:

• 1. Understand the core principles behind CPS
• 2. Identify Security mechanisms of Cyber physical systems
• 3. Understand Synchronization in Distributed Cyber-Physical Systems

UNIT - I

Symbolic Synthesis for Cyber-Physical Systems Introduction and Motivation, Basic Techniques - Preliminaries, Problem Definition, Solving the Synthesis Problem, Construction of Symbolic Models, Advanced Techniques: Construction of Symbolic Models, Continuous-Time Controllers, Software Tools

UNIT - II

Security of Cyber-Physical Systems Introduction and Motivation, Basic Techniques - Cyber Security Requirements, Attack Model, Countermeasures, Advanced Techniques: System Theoretic Approaches

UNIT - III

Synchronization in Distributed Cyber-Physical Systems: Challenges in Cyber-Physical Systems, A Complexity-Reducing Technique for Synchronization, Formal Software Engineering, Distributed Consensus Algorithms, Synchronous Lockstep Executions, Time-Triggered Architecture, Related Technology, Advanced Techniques

UNIT - IV

Real-Time Scheduling for Cyber-Physical Systems Introduction and Motivation, Basic Techniques - Scheduling with Fixed Timing Parameters, Memory Effects, Multiprocessor/Multicore Scheduling, Accommodating Variability and Uncertainty

UNIT - V

Model Integration in Cyber-Physical Systems Introduction and Motivation, Causality, Semantic Domains for Time, Interaction Models for Computational Processes, Semantics of CPS DSMLs, Advanced Techniques, ForSpec, The Syntax of CyPhyML, Formalization of Semantics, Formalization of Language Integration.

TEXT BOOKS:

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