CSE 462 — FOUNDATIONS OF CYBER-PHYSICAL COMPUTING (CUR-064)

Summary 🟡 ✓

• Resource type: course
• Owner Unit: Cyber-Physical Systems Engineering
• College/School: Jarvis College of Computing and Digital Media
• Curriculum section: Engineering / Computer Science / CDM
• Catalog: CSE 462
• Last Verified: 2026-05-28

Course access

• Level: yellow (Prerequisites Required)
• Rationale: Catalog lists formal prerequisites, co-requisites, or program-status requirements.
• Prerequisites:
• CSE 433 is a prerequisite

Verification

• Status: verified_catalog_course (✓)
• Rationale: Appears in the current official DePaul course catalog search.
• Source URL: catalog.depaul.edu/course-descriptions/cse
• Last verified: 2026-05-28

Catalog description

This course covers the modeling, design, and analysis of cyber-physical systems that integrate computation and physical processes. It introduces formal models that support abstractions to manage the complexity of a system design and verify the system implementation correctness. Topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms. CSE 433 is a prerequisite for this class.

Hardware relevance

Hands-on labs, fabrication, instrumentation, or physical production technology described in the official catalog course description.

Notes

Catalog course key: CSE 462. Course offerings and schedules are not verified in this pass.