CSE 362 — FOUNDATIONS OF CYBER-PHYSICAL COMPUTING (CUR-052)

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 362
• Last Verified: 2026-05-28

Course access

• Level: green (Open Enrollment)
• Rationale: No formal prerequisites listed in catalog description; open to any student meeting university registration rules.
• Prerequisites: None listed in catalog description

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 cyberphysical 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 352 is a prerequiste 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 362. Course offerings and schedules are not verified in this pass.