MP4291 Cyber Physical Systems Syllabus:
MP4291 Cyber Physical Systems Syllabus – Anna University PG Syllabus 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.
To provide introduction to practical aspects of cyber physical systems.
To equip students with essential tools to implement CPS.
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 Search Liveness 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- iClebo Kobuki – iRobot Create- myRIO- Cybersim- Matlab toolboxes – Simulink.
LIST OF EXPERIMENTS (30)
1. Installation of Xilinx SDK, LABVIEW, MatLab and Cybersim
2. Installation of, myRIO iRobot Create Wiring, Kobuki Wiring
3. CPS DEsign with the iRobot Create
4. CPS Design with the Kobuki.
5. Write a program in MATLAB to implement open loop system stability.
6. Write a program in MATLAB to implement timed automation.
COURSE OUTCOMES:
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.
TOTAL: 45+30=75 PERIODS
REFERENCES
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
4. André Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics., Springer, 2010. 426 pages,ISBN 978-3-642-14508-7.
5. Jean J. Labrosse, Embedded Systems Building Blocks: Complete and Ready-To-Use Modules in C, The publisher, Paul Temme, 2011.
6. Jensen, Jeff, Lee, Edward, A Seshia, Sanjit, An Introductory Lab in Embedded and Cyber Physical Systems, http://leeseshia.org/lab, 2014.
7. documentation | KOBUKI (yujinrobot.com)