MV3021 Cyber Physical Systems Syllabus:
MV3021 Cyber Physical Systems Syllabus – Anna University Regulation 2021
COURSE OBJECTIVES:
• To learn about the principles of cyber-physical systems
• To familiarize with the basic requirements of CPS.
• To know about CPS models
• To facilitate the students to understand the CPS foundations
• To make the students explore the applications and platforms.
UNIT I INTRODUCTION TO CYBER-PHYSICAL SYSTEMS
Cyber-Physical Systems(CPS)-Emergence of CPS, Key Features of Cyber-Physical Systems,, CPS Drivers-Synchronous Model : Reactive Components, Properties of Components, Composing Components, Designs- Asynchronous Model of CPS: Processes, Design Primitives, Coordination Protocols
UNIT II CPS – REQUIREMENTS
Safety Specifications: Specifications, Verifying Invariants, Enumerative Search, Symbolic SearchLiveness Requirements: Temporal Logic, Model Checking, Proving Liveness
UNIT III CPS MODELS
Dynamical Systems: Continuous, Linear Systems-Time Models, Linear Systems, Designing Controllers, Analysis Techniques- Timed Model: Processes, Protocols, Automata- Hybrid Dynamical Models
UNIT IV CPS FOUNDATIONS
Symbolic Synthesis for CPS- Security in CPS-Synchronization of CPS-Real-Time Scheduling for CPS
UNIT V APPLICATIONS AND PLATFORMS
Medical CPS- CPS Built on Wireless Sensor Networks- CyberSim User Interface- iCleboKobuki – iRobot Create- myRIO- Cybersim- Matlab toolboxes – Simulink
TOTAL: 45 PERIODS
COURSE OUTCOMES:
On completion of the course the students will be able to:
CO1: Explain the core principles behind CPS
CO2: Discuss the requirements of CPS.
CO3: Explain the various models of CPS.
CO4: Describe the foundations of CPS.
CO5: Use the various platforms to implement the CPS
TEXT BOOKS:
1. Raj Rajkumar, Dionisio De Niz , and Mark Klein, Cyber-Physical Systems, Addison-Wesley Professional, 2016
2. Rajeev Alur, Principles of Cyber-Physical Systems, MIT Press, 2015.
3. Lee, Edward Ashford, and Sanjit Arunkumar Seshia. Introduction to embedded systems: A cyber physical systems approach. 2nd Edition, 2017
REFERENCES:
1. André Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics., Springer, 2010. 426 pages, ISBN 978-3-642-14508-7.
2. Jean J. Labrosse, Embedded Systems Building Blocks: Complete and Ready-To-Use Modules in C, The publisher, Paul Temme, 2011.
3. Jensen, Jeff, Lee, Edward, A Seshia, Sanjit, An Introductory Lab in Embedded and CyberPhysical Systems, http://leeseshia.org/lab, 2014.