ECE 584
Fall 2021 All Classes
All Classes
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. 4 graduate hours. No professional credit. Prerequisite: CS 476 or CS 477.
Section Status updates every 10 minutes.
| CRN | Type | Section | Time | Day | Location | Instructor | Section Details | |
|---|---|---|---|---|---|---|---|---|
|
59726
|
Lecture
|
B
|
12:30PM
-1:50PM
|
TR
|
2013 Electrical & Computer Eng Bldg
|
Mitra, S
|
|
|
|
76178
|
Online Lecture
|
ONL
|
12:30PM
-1:50PM
|
TR
|
n.a.
|
Mitra, S
|
|