Syllabus
Electives in Cyber Physical Systems
Unit I
Introduction to Cyber-Physical Systems (CPS): Definition, features. CPS Application Domains: Introduction and Motivation, System Description, Operational Scenarios, Design Drivers and Attributes in Medical CPS, Energy CPS, CPS built on WSNs, Robotics and Autonomous Vehicles.
Unit II
Modelling continuous dynamics behaviour – Actor models, properties of systems, feedback control. Modelling discrete dynamics behaviour – Finite State Machines, Extended State Machines. Hybrid systems – Classes and modal models. Composition of state machines, concurrent models of computation. Embedded Systems Design for Cyber-Physical Systems: Sensors and actuators, embedded processors, memory architectures, Input/Output, Multitasking, Scheduling.
Unit III
Analysis and Verification of CPS: Invariants and temporal logic, equivalence and refinement, reachability analysis and model checking, quantitative analysis. Security of CPS: Introduction and Motivation, Attack Model and Counter Measures, System Theoretic Approaches.
Objectives and Outcomes
Pre-Requisite(s): 23MATxxx Discrete Mathematics
Course Objectives
This course provides an introduction to CPS, CPS foundations including the symbolic synthesis and modeling paradigms, engineering problems in CPS and applications from various domains.
Course Outcomes
CO1: Understand the fundamentals of cyber-physical systems and analyze their design in different applications.
CO2: Understand and apply the foundations of modeling in CPSs, software-based feedback control and apply them in the context of CPS systems.
CO3: Understand the design of embedded systems for Cyber-Physical Systems (CPS), including sensors and actuators, embedded processors, memory architectures, Input/Output (I/O), multitasking, and scheduling.
CO4: Understand the techniques for analysis and verification for CPS and apply them in different domain applications.
CO-PO Mapping
| PO/PSO |
PO1 |
PO2 |
PO3 |
PO4 |
PO5 |
PO6 |
PO7 |
PO8 |
PO9 |
PO10 |
PO11 |
PO12 |
PSO1 |
PSO2 |
| CO |
| CO1 |
3 |
3 |
– |
– |
– |
– |
– |
– |
– |
– |
– |
– |
2 |
2 |
| CO2 |
3 |
3 |
2 |
– |
– |
– |
– |
– |
1 |
– |
– |
– |
2 |
2 |
| CO3 |
3 |
3 |
2 |
– |
– |
– |
– |
– |
1 |
– |
– |
– |
2 |
2 |
| CO4 |
3 |
3 |
– |
– |
– |
– |
– |
– |
1 |
– |
– |
– |
2 |
2 |
Evaluation Pattern
Evaluation Pattern: 70:30
| Assessment |
Internal |
End Semester |
| Midterm |
20 |
|
| *Continuous Assessment (CA) |
50 |
|
| **End Semester |
|
30 (50 Marks; 2 hours exam) |
*CA – Can be Quizzes, Assignment, Projects, and Reports
**End Semester can be theory examination/ lab-based examination/ project presentation
Text Books / References
Textbook(s)
Lee EA, Seshia SA. “Introduction to embedded systems: A cyber-physical systems approach”, MIT Press; 2017.
Reference(s)
Alur R. “Principles of cyber-physical systems”,MIT Press; 2015.
Rajkumar R, De Niz D, Klein M. “Cyber-physical systems”,Addison-Wesley Professional; 2016.
