MV3021: Cyber Physical Systems syllabus for Marine 2021 regulation (Professional Elective-III)

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.
Get it on Google Play

Unit I

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

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.
Get it on Google Play

Unit IV

Symbolic Synthesis for CPS- Security in CPS-Synchronization of CPS-Real-Time Scheduling for CPS

Unit V

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:

  1. Explain the core principles behind CPS
  2. Discuss the requirements of CPS.
  3. Explain the various models of CPS.
  4. Describe the foundations of CPS.
  5. Use the various platforms to implement the CPS

Text Books:

Download the iStudy App for all syllabus and other updates.
Get it on Google Play

Reference Books:

  1. Andre 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,, 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.

Leave a Reply

Your email address will not be published. Required fields are marked *