Abstract

We present a formal technique for verifying the stability of transient responses of power systems. The procedure uses reachability analysis to compute the complete set of possible transient responses starting from a set of initial states, subject to a dynamics specified by differential-algebraic equations. The method is constructive and fully automatic, two properties that are often hard to achieve with direct Lyapunov methods when the differential-algebraic equations are not simplified. Reachability analysis is computationally expensive, but this work presents new techniques that make it possible to verify the stability of a transient response of the IEEE 14-bus benchmark power system network.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.