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
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;
Conference_Titel :
American Control Conference, 2006
Conference_Location :
Minneapolis, MN
Print_ISBN :
1-4244-0209-3
Electronic_ISBN :
1-4244-0209-3
DOI :
10.1109/ACC.2006.1656431
