ECE 584
Embedded System Verification

Displaying course information from Fall 2012.

Section Type Times Days Location Instructor
B LEC 1100 - 1220 T R   305 Materials Science & Eng Bld  Sayan Mitra
Official Description 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. Course Information: Same as CS 584. Prerequisite: CS 373 or CS 476 or CS 477.
Subject Area Computer Engineering
Course Prerequisites
Course Directors Sayan Mitra
Detailed Description and Outline

Topics:

  • Finite Automata
  • Temporal Logic Model Checking
  • Hybrid Automata
  • Simulations and Abstractions
  • Model checking Hybrid Automata
  • Deductive Verification
  • Controller Synthesis
  • Stability Analysis
  • Applications
Texts

Course notes

Last updated: 2/13/2013