Online Course Catalog
ECE 584 ONL - Embedded System Verification
Fall 2021
| Title | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|
| Embedded System Verification | ONL | 76178 | OLC | 4 | 1230 - 1350 | T R | Sayan Mitra |
Course Description
This course 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.
Credit Hours
4 hours
Prerequisites
Undergraduate degree and MATH 257 or equivalent.
Subject Area
- Electrical and Computer Engineering