Skip to content

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

CSE 462 — FOUNDATIONS OF CYBER-PHYSICAL COMPUTING is a DePaul University catalog course in Jarvis College of Computing and Digital Media. 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.

Summary 🟡 ✓

  • Resource type: course
  • College / school: 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

Access (availability): 🟢 Green — open or routine · 🟡 Yellow — appointment or affiliation · 🔴 Red — restricted · ⚪/⚫ White/Black — not yet classified

Verification: ✓ confirmed · ~ likely · ? needs review · ✕ archived

Course access

  • Access: 🟡 Yellow — Needs an appointment or affiliation
  • Rationale: Catalog lists formal prerequisites, co-requisites, or program-status requirements.
  • Prerequisites:
  • CSE 433 is a prerequisite

Verification

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.

Resource 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.