Cyberphysical Systems

Cyber-physical systems introduce students to the design and analysis of computational systems interacting with physical processes. Applications of such systems include medical devices and systems, consumer electronics, toys and games, assisted living, traffic control and safety, automotive systems, process control, energy management and conservation, environmental control, aircraft control systems, communications systems, instrumentation, critical infrastructure control (electric power, water resources, and communications systems for example), robotics and distributed robotics (telepresence, telemedicine), defence systems, manufacturing, and smart structures.

A central theme of this course is the interplay of practical design with models of systems, including both software components and physical dynamics. A significant emphasis will be on building high-confidence systems with real-time and concurrent behaviours.