DocumentCode
2276724
Title
Reachability analysis of nonlinear systems using trajectory piecewise linearized models
Author
Han, Zhi ; Krogh, Bruce H.
Author_Institution
Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA
fYear
2006
fDate
14-16 June 2006
Abstract
This paper presents a method to compute overapproximations of the reach set for nonlinear dynamic systems using trajectory piecewise linearized (TPWL) models. Based on existing methods for reachability analysis of linear dynamic systems, the method makes it possible to analyze high-order nonlinear dynamic systems. The effectiveness of the method is illustrated by transient stability assessments of a three-machine electric power network and a ten-machine electric power network
Keywords
linearisation techniques; nonlinear dynamical systems; piecewise linear techniques; reachability analysis; electric power network; nonlinear dynamic systems; reachability analysis; trajectory piecewise linearized models; transient stability; Control system synthesis; Formal verification; Linear systems; Nonlinear dynamical systems; Nonlinear systems; Power generation; Power system modeling; Reachability analysis; Stability; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2006
Conference_Location
Minneapolis, MN
Print_ISBN
1-4244-0209-3
Electronic_ISBN
1-4244-0209-3
Type
conf
DOI
10.1109/ACC.2006.1656431
Filename
1656431
Link To Document