Cyber Physical Systems detailed syllabus for Marine Engineering (Marine) for 2021 regulation curriculum has been taken from the Anna Universities official website and presented for the Marine students. For course code, course name, number of credits for a course and other scheme related information, do visit full semester subjects post given below.
For Marine Engineering 5th Sem scheme and its subjects, do visit Marine 5th Sem 2021 regulation scheme. For Professional Elective-III scheme and its subjects refer to Marine Professional Elective-III syllabus scheme. The detailed syllabus of cyber physical systems is as follows.
Course Objectives:
Download the iStudy App for all syllabus and other updates.
Unit I
INTRODUCTION TO CYBER-PHYSICAL SYSTEMS 9
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 9
Safety Specifications: Specifications, Verifying Invariants, Enumerative Search, Symbolic Search-Liveness Requirements: Temporal Logic, Model Checking, Proving Liveness
Unit III
Download the iStudy App for all syllabus and other updates.
Unit IV
CPS FOUNDATIONS 9
Symbolic Synthesis for CPS- Security in CPS-Synchronization of CPS-Real-Time Scheduling for CPS
Unit V
APPLICATIONS AND PLATFORMS 9
Medical CPS- CPS Built on Wireless Sensor Networks- CyberSim User Interface- iCleboKobuki -iRobot Create- myRIO- Cybersim- Matlab toolboxes – Simulink
Course Outcomes:
On completion of the course the students will be able to:
- Explain the core principles behind CPS
- Discuss the requirements of CPS.
- Explain the various models of CPS.
- Describe the foundations of CPS.
- Use the various platforms to implement the CPS
Text Books:
Download the iStudy App for all syllabus and other updates.
Reference Books:
- Andre Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics., Springer, 2010. 426 pages, ISBN 978-3-642-14508-7.
- Jean J. Labrosse, Embedded Systems Building Blocks: Complete and Ready-To-Use Modules in C, The publisher, Paul Temme, 2011.
- Jensen, Jeff, Lee, Edward, A Seshia, Sanjit, An Introductory Lab in Embedded and CyberPhysical Systems, http://leeseshia.org/lab, 2014.
For detailed syllabus of all the other subjects of Marine Engineering 5th Sem, visit Marine 5th Sem subject syllabuses for 2021 regulation.
For all Marine Engineering results, visit Anna University Marine all semester results direct link.