CS 256: Modeling and Synthesis of Cyber-Physical Systems

← 2021-22 2022-23 2023-24 →
← 2020-21 ← 2021-22 changes (lax) changes (strict) ▾ 2025-26 → 2024-25 →

Units: 4

Hours: Lecture, 3 hours; discussion, 1 hour

Catalog page 264

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.

Derived Information — The following is not part of the official catalog but is computed from catalog data.
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