EE 67036 - Formal Methods for Design and Verification of Cyber-Physical Systems

Institution:

University of Notre Dame

Subject:

Electrical Engineering

Description:

Cyber-physical systems (CPS) are systems in which computational (cyber) processes interact closely with physical dynamical processes. As such systems are becoming ever more complex, ad hoc methods for design and verification of such systems are no longer adequate. This course introduces timed and hybrid automata for modeling the behavior of CPS. Based on such models, the course exposes students to formal methods for verifying the safe operation of CPS in which specifications are posed as temporal logic formulae. Students will use existing verification tools to explore verification and design of cyber-physical systems.

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.