ENCS 7110 - Principles of Cyber Physical Systems (3)

An introduction to the principles of design, including: specification, modeling, and analysis of cyber-physical systems consisting of computing devices communicating with one another and interacting with the physical world via sensors and actuators. Topics include synchronous and asynchronous models as well as timed model, safety and liveness requirements, and real-time scheduling. Some aspects of dynamics systems and hybrid systems are also studied.