ECE 584

Spring 2025 All Classes

All Classes

Embedded System Verification

SHOW FINAL EXAM SCHEDULE

Credit: 4 hours.

Examines formal analysis an synthesis approaches for discrete, continuous, and hybrid models of computing systems and their physical environment. Introduces timed and hybrid automata models. Analysis techniques including model checking, Hoare-style deduction, and abstractions for safety and stability, and controller synthesis strategies with applications in distributed robotics, automobile system, traffic control, and real-time systems.

Same as CS 584. Prerequisite: MATH 257 or equivalent.

My Favorites

My Schedule

Section Status updates every 10 minutes.

ECE 584 class schedule data for spring 2025
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	63672	Lecture	D	11:00AM -12:20PM	TR	3015 Electrical & Computer Eng Bldg	Zhang, H	Part of Term: 1 Date Range: 01/21/25-05/07/25 Credit: 4 hours Restriction(s): Restricted to Graduate - Urbana-Champaign.
	76151	Online Lecture	ONL	11:00AM -12:20PM	TR	n.a.	Zhang, H	Part of Term: 1 Date Range: 01/21/25-05/07/25 Credit: 4 hours Restriction(s): Restricted to MENG:Elec & Comp Eng ONL -UIUC.