CS 256: Modeling and Synthesis of Cyber-Physical Systems

2016-17 2017-18 →
changes (lax) changes (strict) ▾ 2018-19 → 2017-18 →

Units: 4

Hours: Lecture, 3 hours; discussion, 1 hour

Catalog page 206

Prerequisites: graduate standing

Description: Introduces trends and challenges of modern cyber-physical systems. Reviews state-of-the-art design approaches and tools in both academia and industry. Introduces fundamental concepts in functional modeling, real-time embedded architecture, design synthesis and validation. Introduces emerging design principles and their applications in automotive, avionics, smart buildings, and consumer electronics.

Cross-listing: Cross-listed with EE 258.

Credit: May be taken Satisfactory (S) or No Credit (NC) with consent of instructor and graduate advisor.

Enrollment History (from UCR Banner, not catalog)
Combined: CS 256 / EE 258
Year F W S Su Total
2025-26 4/30  4/30
2016-17 18/34 18/34