Foundation of Cyber Physical Systems
Course Name:
Foundation of Cyber Physical Systems (CS367/CS367M)
Programme:
Semester:
Category:
Credits (L-T-P):
Content:
CPS concepts and requirements, CPS architectures, Key Features of CPSs, Applications, etc. Models of physical
systems, Reactive Components, Properties of Components, Composing Components, Synchronous Designs, and
Safety Requirements. Asynchronous Processes, Asynchronous Design Primitives, Asynchronous Coordination
Protocols. Continuous and Timed Models, Hybrid Dynamical Models, Designing Hybrid Systems. Linear Hybrid
Automata, Analysis of Elementary Cyber-Physical Systems. Resource scheduling, temperature and power
management, real-time communication. Operating systems and hardware architecture support for CPS, CPS software
synthesis.