EE 87017 - Synthesis and Control of Discrete-Event Systems

Institution:

University of Notre Dame

Subject:

Electrical Engineering

Description:

The course will introduce basic tools from automata theory to model and reason about discrete-event systems. The clasical Ramadge-Wonham supervisory theory will be covered as well as more recent topics including the contorl of Buchi automata, control for bisimulation equivalence, control for temporal logic specifications and distributed control.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.nd.edu

Phone Number:

(574) 631-5000

Regional Accreditation:

North Central Association of Colleges and Schools

Calendar System:

Semester

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.