Материал: 4

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

admittance. The forbidden region is obtained using the stability criteria as well as the generalized source impedance. The volume to the left represents a generalized load admittance.

Figure 9. Generalized load admittance and forbidden region for Case 1.

The basic ideas of generalized immittance analysis are set forth in [11], [12], and [13]. These papers primarily concern with simple source-load systems. The extension of the method to large-scale systems is considered in [14]. The first step necessary is to classify the power converters. Single-port converters are classified as S-converters (this category is normally for sources) or L-converters (this category is normally for loads). Two-port converters are classified as H-converters (normally for converters which accept power at one port and supply power to a second port), Y-converters (which are often loads fed by two busses), Z-converters (sources that have two outputs ) and C-converter (which are often cables). Formal definitions are set forth in [14]. Once all converters are classified, a series of mapping functions is used to reduce any given system to a source load equivalent. Many possible mapping operations are described in [14]. Often, these mapping operations involve a stability test to ensure that the aggregation of a subset of components is stable.

The steps to analyze the system are illustrated in Figure 10. Figure 10a depicts the original system for Case 1. In this case, CM4, CM5, CM6, and PS are removed from the system because for this scenario the starboard bus is out of service. Consideration of each of the components reveals that PS1 should be classified as an S-converter, CM1, CM2, and CM3 as H-converters, and the IM, MC, and CPL as L-converters. As indicated in Figure 10a, the first operation is three HL-L mappings that result in three aggregate L-converters – CM1-IM, CM2-MC, and CM3CPL. It should be noted that each of these mappings involves a stability test. In particular, for this mapping to be valid it has to be shown that if CM1 is fed from an ideal source then the system consisting of CM1 and IM is stable.

This is done by considering CM1 as a source and IM as a load [14]. The results of this test are not shown due to a lack of space. However, all zones pass this test for all the test cases described in Section 3. The next step is to aggregate the three effective L-converters with a parallel L to L converter mapping as shown in Figure 10b. This results in the system shown in Figure 10c, which consists of a single source and a single effective load. Details on converter types, mapping operations, and an example analysis of other system are set forth in [14].

(a). Original System.

(b). System after simplification.

(c). Final system.

Figure 10. Analysis steps.

Figure 9 depicts the final part of the stability analysis which considers the system of Figure 10c for Case 1. Again, the x-axis is log of frequency, the y-axis is real part of admittance in hybrid dB, and the z-axis is the imaginary part of admittance in hybrid dB. The volume to the right represents a forbidden region for the total system load admittance. The volume to the left represents the generalized load admittance (i.e. set of all possible values of load admittance). As can be seen, the generalized load admittance does not intersect the forbidden region. Thus, local stability (of at least the system model) is guaranteed for all operating points of interest. This is consistent with the results from the time-domain simulations.

Figure 11 depicts the results for Case 2. As can be seen, the generalized load admittance intersects the forbidden region. This does not mean that the actual system is unstable. However, there is no guarantee that the system is stable. From Figure 5 and Figure 6, it is seen that the system model is unstable.

Figure 11. Generalized load admittance and forbidden region for Case 2.

6. EXPERIMENTAL VALIDATION

One of the key measures in evaluating these methods is how well they predict measured performance. Figure 12 and Figure 13 depict the measured time domain performance for Case 1 and Case 2 conditions, respectively. As can seen, all the stability methods consider thus far gave predictions consistent with the observed stability of the system.

7. POLYTOPIC ANALYSIS

In the preceding section, stability analysis of a power electronics based distribution system using time domain simulation and generalized immittance analyses were demonstrated, with excellent results. However, there are shortcomings inherent to either method. In the case of time domain simulation, the results are limited to a very narrow range of conditions. Massive numbers of trajectories must be evaluated to gain confidence in the system performance. In the case of generalized immittance analysis, in some sense a more powerful result is obtained. Using a single analysis, an entire range of operating points can be proven to be locally stable. Furthermore, this approach can be used as a design synthesis tool by providing a method to formulate component specifications. However, the generalized immittance design approach does not guarantee a bounded response in the presence of large disturbances. Hence, there is motivation to perform a stability analysis in which a system can be proven to have an appropriately bounded response to large disturbances.

To this end consider a broad class of nonlinear systems modeled by

x = F(x,u)

(2)

&

 

and

(3)

y = h(x,u)

are considered, where x n is the state vector, u m

is the input vector, and y p is the output vector. The

above nonlinear model is referred to as the truth model of the underlying system. Systems of this form may be analyzed by the direct method of Lyapunov [5] and [6]. However, there are difficulties associated with applying the direct method of Lyapunov including the determination of a valid Lyapunov function candidate [15]. Analytical means are often impractical if not impossible so a numerical approach is necessary. Through the use of polytopic modeling and linear matrix inequalities the search for possible Lyapunov function candidates can be automated.

Figure 12. Measured system performance for Case 1.

Figure 13 Measured system performance for Case 2.

7.1

Local Models

 

 

polytopic model readily lends itself to searching for a

Local models of the form

 

 

Lyapunov function candidate.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x = Ax + Bu + φx

 

(4)

7.3

Stability Analysis

 

 

 

 

 

 

 

&

 

 

Herein it is assumed that all

of

the local models

have

 

 

 

y = Cx + Du + φy

 

(5)

 

 

 

 

coincident equilibrium pairs and the Lyapunov function

approximate the behavior of the truth model at a modeling

candidate is of the form

 

 

 

 

point, (x0,u0 ) , of interest. The particular characteristics

 

~

~

 

 

(8)

that the local model encapsulates can vary depending on

 

 

 

where

V = x Px ,

these

 

the method used in obtaining the local model. Examples

x = x xe . Based upon

assumptions the

 

 

 

 

 

 

 

~

 

 

 

 

include

Taylor

series, Teixeira-Żak [16],

and

the

following proposition can be stated.

 

 

generalized Teixeira-Żak base approximations [17]. All

 

 

 

 

 

 

 

 

three types of models coincide with the truth model at the

Proposition 1: If there exists a common

P = P′ > 0 such

operating point. In addition the Teixeira-Żak based model

that,

 

 

 

 

 

and the Taylor series based model are proportional and

 

 

 

 

 

 

 

 

 

 

 

coincide, respectively, to the first order behavior at the

 

AiP + PAi < 0,

i = 1,..., r

(9)

operating point.

 

 

 

 

One characteristic of particular interest, but is not forced

then the equilibrium state satisfying

 

 

 

Aixe + Biue + φi

= 0

i = 1,..., r

(10)

by the above approximation methods, is having the right

 

hand sides of the local model and the truth model equal

is globally uniformly asymptotically stable (GUAS) in the

one

another at

the equilibrium pair, (xe ,ue ) ,

and

the

sense of Lyapunov (ISL) [17].

 

 

 

 

modeling point. Assigning coincident equilibrium pairs

The search for a matrix P can be automated by setting up

can be accomplished by the following procedure.

 

 

 

 

 

 

 

 

the system of linear matrix inequalities of the form (9) and

Step one: form the local model at the modeling point of

using commercially available optimization routines.

If a

interest. Step two: perform a coordinate transformation on

common P is found the polytopic model is GUAS ISL.

the local model shifting the desired equilibrium pair to the

However stability analysis of the truth model is

origin.

Step three: perform the generalized Teixeira-Żak

incomplete.

 

 

 

 

based approximation on the shifted local model. Step four:

To complete the stability analysis of the truth model it is

shift the local model back to the original coordinates.

 

 

 

 

 

 

 

necessary to find the region of attraction around the

Once the local models have been obtained they are used as

equilibrium state using the direct method of Lyapunov.

ingredients for the polytopic model.

 

 

The region of attraction can be approximated by the largest

 

 

 

 

 

 

level

set of (8) contained within

the region defined by

7.2 Polytopic Models

Polytopic models are constructed combination of local models,

r

x& = wi (θ)[Aix + Biu + i=1

y= wi (θ)[Cix + Diu + i=1r

 

 

&

, where

 

 

 

 

V < 0

 

 

using a

convex

 

 

&

~~&

(11)

 

 

 

 

 

 

 

 

V

= 2x Px

 

 

~&

~

~

 

~

 

 

and x

= F(x

+ xe ,u + ue ) , where

u = u ue . A Lyapunov

φxi ]

(6)

function candidate (8) is constructed using P found in the

polytopic model analysis. If a region of attraction is found

 

 

then the truth model is uniformly asymptotically stabile

φyi ].

 

(UAS) within this region. Research in this area is ongoing.

(7)

However, the following simple example demonstrates the

 

 

potential of this analysis technique.

Thus, (6) and (7) consist of r local models, defined by Ai,Bi,φxi,Ci,Di,φyi , combined by weighting functions,

wi . The weighting functions must satisfy 0 wi (θ) 1,

r

wi (θ) = 1, where θ may be a function of x or u .

i=1

Polytopic models can accurately represent the nonlinear system over a wide range of operation. Although the truth model already has this property the structure of the

8. POLYTOPIC ANALYSIS EXAMPLE

Consider the second order nonlinear system depicted in Figure 14 and having the parameters listed in Table 5. The source can be viewed as the NLAM of a 3-phase rectifier connected to an infinite bus [4]. The load can be viewed as the NLAM of a converter with a tightly regulated output and a valid operating range limited by the input voltage v1 , [18].

The states of this system are chosen as the inductor current, iL , and the capacitor voltage, vC . Local models

are obtained using Taylor series approximation at all combinations of 2.5A < iL < 50A , divided into 19 equally

spaced points, and 550V < v1 < 650V , divided into 20

equally spaced points. The local models are then forced to have coincident equilibrium pairs using the procedure given in the local modeling section. Using linear matrix inequalities (9) formed using the local models a common P is found,

10.16537

0.44366

,

(12)

P =

0.44366

 

 

1.02148

 

 

that is symmetric and positive definite. This proves that the polytopic model is GUAS ISL.

Figure 14. Second order nonlinear system.

Table 5. Second order nonlinear system parameters.

Vs

595.49 V

C1

1.051 mF

 

 

 

 

R1

0.526

P*

10 kW

 

 

 

 

L1

11.32 mH

V1min

550 V

 

 

 

 

R2

0.08305

V1max

650 V

 

 

 

 

To analyze the stability of the truth model, (11) is evaluated over a region of the state space surrounding the equilibrium state, see Figure 15. The region in which

V& > 0 is shaded black and the operating voltage limits for

the load are included as lines. The level set of V satisfying all three constraints forms an ellipse and is included along with one trajectory of the truth model. The ellipse identifies a region of uniform asymptotic stability for the truth model. The trajectory demonstrates the conservative nature of the Lyapunov based analysis.

The previous stability analysis methods discussed in this paper, time domain simulation and generalized immittances, both offer insight into the stability of nonlinear systems. However, neither of the methods identify a region of asymptotic stability about an equilibrium point. Polytopic model structure allows for the automatic search of Lyapunov function candidates,

which may be used to search for regions of asymptotic stability as seen in Figure 15. Further research into local model development and the determination of the region of asymptotic stability for higher order systems is on going.

Figure 15. V& evaluated over the state space.

9. ACKNOWLEDGEMENT

The authors would like to thank the Navy for its support of their efforts. This work was conducted under NAVSEA contract N00024-02-NR-60427 “Naval Combat Survivability” and ONR contract N00014-02-1-0990 “Polytopic Model Based Stability Analysis and Genetic Design of Electric Warship Power Systems.”

REFERENCES

[1]Pekarek et. al., A Hardware Power Electronic-Based Distribution and Propulsion Testbed, Sixth IASTED International Multi-Conference On Power and Energy System, Marina del Rey, California, May 12-15, 2002.

[2]S.D. Sudhoff, S.D. Pekarek, B.T. Kuhn, S.F. Glover, J. Sauer, D.E. Delisle, Naval Combat Survivability Testbeds for Investigation of Issues in Shipboard Power Electronics Based Power and Propulsion Systems, Proceedings of the IEEE Power Engineering Society Summer Meeting, July 21-25, 2002,Chicago, Illinois.

[3]S.D. Pekarek et. al., Development of a Testbed for Design and Evaluation of Power Electronic Based Generation and Distribution System, SAE2002 Power Systems Conference, Coral Springs, Florida, October 29-31, 2002.

[4]P.C. Krause, O. Wasynczuk, & S.D. Sudhoff, Analysis of Electric Machinery, 2nd ed., John Wiley & Sons, Inc., New York, 2002.

[5]S.H. Żak, Systems and Control, Oxford University Press, New York, 2003.

[6]H.K. Khalil, Nonlinear Systems, 2nd ed., Prentice Hall, Upper Saddle River, New Jersey, 1996.

[7]www.ESAC.info

[8]S.D. Pekarek, S.D. Sudhoff, J.D. Sauer, D.E.Delisle, E.J. Zivi, “Overview of the Naval Combat

Survivability Program,” Proceedings of the Thirteenth Ship Control Systems Symposium (SCSS 2003), Orlando, Florida, April 7-9, 2003.

[9]MATLAB The Language of Technical Computing, The MathWorks, Inc., 3 Apple Hill Drive, Natick, MA 01760-2098, 2000.

[10]Advanced Continuous Simulation Language (ACSL) Reference Manual, Aegis Simulation, Inc., 6703 Odyssey Drive, Suite 103, Huntsville, AL, 35806, 1999.

[11]S.D. Sudhoff, D.H. Schmucker, R.A. Youngs, H. J. Hegner, Stability Analysis of DC Distribution Systems Using Admittance Space Constraints,

Proceedings of The Institute of Marine Engineers All Electric Ship 98, London, September 29-30, 1998.

[12]S.D. Sudhoff, S.F. Glover, “Three Dimensional Stability Analysis of DC Power Electronics Based Systems,” Proceedings of the Power Electronics Specialist Conference, Galway, Ireland, June 19-22, 2000, 101-106.

[13]S.D. Sudhoff, S.F. Glover, P.T. Lamm, D.H. Schmucker, D.E. Delisle, Admittance Space Stability Analysis of Power Electronic Systems, IEEE Transactions on Aerospace and Electronics Systems, Vol. 36. No. 3. July 2000, 965-973.

[14]S.D. Sudhoff, S.D. Pekarek, S.F. Glover, S.H. Żak, E. Zivi, J.D. Sauer, D.E Delisle, Stability Analysis of a DC Power Electronics Based Distribution System,

SAE2002 Power Systems Conference, October 29-31, 2002, Coral Springs, Florida.

[15]H. Lim & D.C. Hamill, Problems of computing Lyapunov exponents in power electronics,

Proceedings of the IEEE International Symposium on Circuits and Systems, 5, 1999, V-297--V-301.

[16]M.C.M Teixeira & S.H. Żak, Stabilizing controller design for uncertain nonlinear systems using fuzzy models, IEEE Transactions on Fuzzy Systems, 7(2), April 1999, 133-142.

[17]S.F. Glover, S.H. Żak, S.D. Sudhoff, and E.J. Zivi, Polytopic modeling and Lyapunov stability analysis of power electronics systems, Society of Automotive Engineers 2002 Power Systems Conference, Coral Springs, Florida, October 29-31, 2002.

[18]S.D. Sudhoff, K.A. Corzine, S.F. Glover, H.J. Hegner, & H.N. Robey, DC link stabilized field oriented control of electric propulsion systems, IEEE Transactions on Energy Conversion, 13(1), March 1998, 27-33.

Presented at the Thirteenth International Ship Control Systems Symposium (SCSS) in Orlando, Florida, on 7-9 April 2003.