Fast DC security analysis using Woodbury engine

p-arvy commented 3 months ago

Please check if the PR fulfills these requirements

[x] The commit message follows our guidelines
[x] Tests for the changes have been added (for bug fixes / features)
[x] Docs have been added / updated (for bug fixes / features)

Does this PR already have an issue describing the problem?

No.

What kind of change does this PR introduce?

A fast DC SA based on Woodbury equality is added. Please note that for now, no action is supported in this SA, and that contingencies on switches are not yet supported.

To test it, and to check that it is isofunctional with the current DC SA implementation (actions/contingencies on switches aside), the same TUs from the OpenSecurityAnalysisTest class are used. To do so, TUs are parameterized to be run with both DC AS implementations, using the boolean parameter dcFastMode from the OpenSecurityAnalysisParameter class.

When it is necessary, TUs are split so there is no redundancy in what is being tested (e.g. when an AC AS and a DC AS are run in the same TU).

What is the current behavior?

No such SA exists.

What is the new behavior (if this is a feature change)?

Does this PR introduce a breaking change or deprecate an API?