EE 67022 - Analysis and Synthesis of Hybrid Systems

Institution:

University of Notre Dame

Subject:

Electrical Engineering

Description:

Hybrid systems (systems combining finite state machines with differential equations) have successfully been used as models of the most diverse engineering applications including: realtime software, embedded systems, robotics, mechatronics, aeronautics, process control and biological systems. This couse will survey recent techniques for the analysis and synthesis of hybrid systems with special emphasis on formal verification and design of embeded, real-time systems. The couse is interdisciplinary in nature, combining topics from computer science and control theory and therefore appealing to graduate students in applied mathematics, aerospace and mechanical engineering, electrical engineering and computer science and engineering.

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.