Hi Guest, 30 September 2020 Wednesday IST

About CUSAT | About Department | Alumni | Sitemap | Disclaimer  

     
 
  Home > Academic/Programmes > Programme Structure > CSE (2017)
       
       
 
CSE3402: MODELLING CYBER PHYSICAL SYSTEMS
Core/Elective: Elective Semester: 4 Credits: 4
Course Description

The course examines wireless cellular, ad hoc and sensor networks, covering topics such as wireless communication fundamentals, medium access control, network and transport protocols, unicast and multicast routing algorithms, mobility and its impact on routing protocols, application performance, quality of service guarantees, and security. Energy efficiency and the role of hardware and software architectures may also be presented for sensor networks.

Course Objectives

To know problem solving techniques
To understand techniques for the design and analysis of efficient algorithms
To be able to design algorithms for new problems with volume of data

Course Content

1.Introduction to Cyber Physical System:Cyber physical system: Definition Applications, Design Process for Cyber Physical System: Modeling, Design, And Analysis: Modelling continuous dynamics, Newtonian Mechanics, Actor models, Properties that actors and the systems: Causal Systems, Memoryless Systems, Linearity and Time Invariance, Stability. Feedback-control

2. Modeling Discrete Systems :Discrete Systems ,State, Finite-State Machines: Transitions, The occurrence of reaction, Update functions, Determinacy and Receptiveness, Extended State Machines, Nondeterministic Finite State Machines , Behaviors and Traces

3. Hybrid Systems:Actor Model for State Machines, Continuous Inputs, State Refinements, Classes of Hybrid Systems: Timed Automata, Higher-Order Dynamics, Supervisory control.

4. Composition of State Machines: Concurrent Composition: Side-by-Side Synchronous Composition, Side-by-Side Asynchronous Composition, Shared Variables, Cascade Composition, General Composition, Hierarchical state machines

5. Concurrent Models of Computation : Structure of Models, Synchronous-Reactive Models: Feedback Models, Well-Formed and ill-Formed Models, Constructing a Fixed Point, Dataflow Models of Computation: Dataflow Principles, Synchronous Dataflow ,Dynamic Dataflow, Structured Dataflow, Process Networks, Timed Models of Computation: Time-Triggered Models, Discrete Event Systems, Continuous-Time Systems

REFERNCES

1. Principles of Cyber-Physical Systems: Rajeev Alur, MIT Press (2015)
2. Introduction to Embedded Systems - A Cyber-Physical Systems Approach: Edward A. Lee, Sanjit A. Seshia, Lulu.com (2011)
3. Applied Cyber-Physical Systems, Suh, S.C et.al (Edited), Springer (2014)
4. Cyber-Physical Systems: Integrated Computing and Engineering Design: Fei Hu, CRC Press (2013)
5. Embedded System Design-Embedded Systems Foundations of Cyber-Physical Systems: Marwedel & Peter, SIE (2013).


Copyright © 2009-20 Department of Computer Science,CUSAT
Design,Hosted and Maintained by Department of Computer Science
Cochin University of Science & Technology
Cochin-682022, Kerala, India
E-mail: csdir@cusat.ac.in
Phone: +91-484-2577126
Fax: +91-484-2576368