Principal Investigator Konstantin Turitsyn
Simulations are still the main approach for verification of system stability in emergency situations. However, simulations of large-scale models are costly, and most of the computationaltime is wasted on verification of thousands of non-critical contingencies.
We develop an alternative approach based on Lyapunov functions and reachability certificates constructed via semi-definite programming approaches. Resulting techniques allow exceptionally fast screening of most cleared fault contingencies even in the presence of operating point uncertainty.