Search courses · All instructors
EECE 585: Formal Verification of Cyber-Physical Systems
This course provides an introduction to techniques to formally and rigorously verify whether a system meets a desired set of requirements using cyber-physical systems (engineered systems that integrate computation with physical components) as a foundation. Topics will include construction of models of physics and computation, identifying and proving correctness of system invariants, analyzing the reachability, stability, and progress of a system, and examining the role of data in the design of verification algorithms.
Not offered in the listed terms.
Catalog entryBrowse ClassesTextbooks (WWU Bookstore)
Prerequisites
Prerequisite tree
Each course's own prerequisites, down to the first courses in the chain.
- EECE 501 Linear Systems Modeling and Analysis
requires EECE 311 and EECE 480- EECE 311 Discrete Systems
requires Electrical Engineerng OBSOLETE 310 or EECE 310 or Engineering Tech OBSOLETE 378- EECE 310 Continuous Systems
requires (MATH 331 or MATH 321) and (MATH 224 or MATH 225) and (Electrical Engineerng OBSOLETE 210 or EECE 210 or Engineering Tech OBSOLETE 371)- MATH 331 Ordinary Differential Equations
requires MATH 204- MATH 204 Elementary Linear Algebra
requires MATH 125 or MATH 135 or MATH 138- MATH 125 Calculus and Analytic Geometry II
requires MATH 124 or MATH 134 or Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 (continues on its page) - MATH 135 Calculus II Honors
- MATH 138 Accelerated Calculus
requires Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 or (Calculus BC AP Exam (AP68), score 2 and Calc AB Subscore AP Exm (AP69), score 3)
- MATH 125 Calculus and Analytic Geometry II
- MATH 204 Elementary Linear Algebra
- MATH 224 Multivariable Calculus and Geometry I
requires MATH 125 or MATH 135 or MATH 138 or Calculus AB AP Exam (AP66), score 5 or Calculus BC AP Exam (AP68), score 4 or Calc AB Subscore AP Exm (AP69), score 5- MATH 125 Calculus and Analytic Geometry II
requires MATH 124 or MATH 134 or Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4- MATH 124 Calculus and Analytic Geometry I
requires MPT - Advanced - Scaled Score, score 153 or MATH 115 or MATH 118 or Precalculus AP Exam (AP65), score 5 or Calculus BC AP Exam (AP68), score 3 or Calculus AB AP Exam (AP66), score 2 or Calc AB Subscore AP Exm (AP69), score 2 or Pre-Calculus 2 (PC2), score 2.30 or ALEKS Math Placement Assessmnt, score 80 (continues on its page) - MATH 134 Calculus I Honors
requires MATH 115 (minimum grade A) or MATH 118 (minimum grade A) or Math Placement - Advanced 2, score 20 or Precalculus AP Exam (AP65), score 5 (continues on its page)
- MATH 124 Calculus and Analytic Geometry I
- MATH 135 Calculus II Honors
- MATH 138 Accelerated Calculus
requires Calculus AB AP Exam (AP66), score 4 or Calculus BC AP Exam (AP68), score 3 or Calc AB Subscore AP Exm (AP69), score 4 or (Calculus BC AP Exam (AP68), score 2 and Calc AB Subscore AP Exm (AP69), score 3)
- MATH 125 Calculus and Analytic Geometry II
- MATH 225 Multivariable Calculus and Geometry II
requires MATH 224- MATH 224 Multivariable Calculus and Geometry I (shown above)
- EECE 210 Circuit Analysis II
requires MATH 204 and (EECE 111 or Electrical Engineerng OBSOLETE 111 or Engineering Tech OBSOLETE 271)
- MATH 331 Ordinary Differential Equations
- EECE 310 Continuous Systems
- EECE 480 Control Systems
requires Electrical Engineerng OBSOLETE 310 or EECE 310 or Engineering Tech OBSOLETE 378- EECE 310 Continuous Systems (shown above)
- EECE 311 Discrete Systems
From Banner's catalog for Spring 2027. Banner lists only the requisites it enforces, so check the catalog entry too.
Required by (0)
No course lists it as a prerequisite.
Syllabi and course websites
None listed yet.