Skip to main content
NC State Home
CSC 591/791Advanced Real-Time Intelligent CPS
Fall 2026

CSC 591/791Advanced Real-Time Intelligent CPS

3 Credit Hours

Zhishan Guo

Assoc Professor

Introduction to real-time systems, with an emphasis on scheduling algorithms and proofs to achieve timing correctness in computer systems. Examples of such systems include airbags, emergency breaks, avionics, and also multi-media systems like video playback and QoS in web servers. The course also includes specification, analysis, design, and validation techniques for real-time systems; theory of deterministic scheduling and resource allocation; case studies, and a research project.

Prerequisites

CSC505 Algorithms (Pre-Requisite, RECOMMENDED, comfortable with logic-proof);  &

CSC 501 Operating Systems or CSC714/591 Real-Time Systems or Embedded Systems(Co-requisite, REQUIRED)

Please note that these pre-requisites are not hard requirements. Anyone with some basic knowledge in computer science and engineering should be able to handle the materials.

Course Learning Outcomes

Upon completion of this course, students will be able to:

  • be knowledgable on classical real-time scheduling theory and how it advances to some cutting-edge research;
  • be knowledgable on classical AI and machine learning concepts and how they advance to some cutting-edge research in CPS applications such as autonomous systems and healthcare systems
  • be familiar with general computer science/engineering research procedures.

Course Requirements

  • 10% – Class Participation
  • 20% – Paper presentation
  • 70% – Project

Textbook

There is no text-book for the course. We will study a number of papers that will be made available in electronic form.

Created: 4/17/2026.