ENCS 6030 - Modeling and Simulation of Cyber Physical Systems (3)

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