The files containing *_fault.m contain the equations for the IEEE14 bus benchmark system in fault mode, the remaining files contain the equations for the system under normal operation.

All files where generated using the procedure in [1].

[1] Althoff, Matthias. "Benchmarks for the formal verification of power systems." Proc. of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems. 2022.