Hybrid Modelling and Control of Power Electronics
|
|
- Gloria Tyler
- 8 years ago
- Views:
Transcription
1 Hybrid Modelling and Control of Power Electronics Matthew Senesky, Gabriel Eirea, and T. John Koo EECS Department, University of California, Berkeley Abstract. Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A control objective, usually regulation of the output in the face of disturbances in the continuous system, is accomplished by choosing among discrete states. We describe a hybrid systems perspective of several common tasks in the design and analysis of power electronics. A DC-DC boost converter circuit is presented as an illustrative example, and the extension of this circuit to a multiple output configuration is provided to show the favorable scaling properties and broad utility of the hybrid approach. 1 Introduction Since their introduction in the 1950 s, power semiconductor components have steadily improved in performance, price, and convenience. Modern components like power MOSFETs and IGBTs (Insulated Gate Bipolar Transistors) offer impressive specifications for switching frequency and on-resistance, while eliminating the problems with forced commutation associated with earlier generations of power devices. As these components have become more attractive to designers, the use of switching circuits in power applications has become increasingly common. Such circuits typically employ PWM (Pulse Width Modulation) or similar switching techniques to regulate the voltage or current delivered to a load, and networks of linear circuit elements to filter the switching transients from this output. Switching circuits are found in applications including power supplies, variable speed machine drives, and DC-DC converters, just to name a few. As a motivating example, a DC-DC boost converter appears in Figure 1. The purpose of the circuit is to draw power from the source V in, and supply power to the load R at a higher voltage V out (hence the name boost ). This is accomplished by first closing SW1 (with SW2 open) to store energy in the inductor L, and then closing SW2 (with SW1 open) to transfer that energy to the capacitor C, where it is available to the load R. For the circuit to function properly, this switching must occur continually, and its timing must be controlled. In the following, we will refer frequently to this example. As described in Section 2 below, much of the typical analysis of switching circuits relies on averaging or discretization techniques to make analysis of the
2 i L + L SW2 + V in SW1 C R V out Fig. 1. The DC-DC boost converter. circuit more tractable. While this approach is adequate in many cases, it is worthwhile and instructive to reconsider the system analysis and controller synthesis in light of hybrid systems literature. This will not only allow the exploration of a larger space of controllers, but also make available a number of hybrid analysis tools. Switching circuits are a particularly good candidate for such analysis because they are inherently hybrid in structure. Under this hybrid model the system has only discrete inputs, only continuous outputs, and disturbances that are either continuous, as in a changing load or source, or discrete, as in a fault condition for a particular switch. This is the class of systems that will be examined below. 1.1 Outline The next section explores current practice in the analysis and control of power electronics circuits. Section 3 presents the formal definition of the class of systems we examine, and describes a hybrid systems approach to the analysis of power electronics circuits. In Section 4 we describe a methodology to synthesize guards that guarantee a desired safety property, and illustrate it with an example. In Section 5 we undertake a detailed design exercise by extending the example to a DC-DC converter with two outputs. Finally, we outline some conclusions and future work. 2 State of the Art: Analysis of Power Electronics Many of the power electronics topologies currently in use predate much of the literature on nonlinear and hybrid systems. In addition, simplicity and low cost often win out over high performance in application. Thus, the most common techniques for analysis, simulation, and control synthesis involve considerable approximation, and produce results that are limited in utility for higherperformance designs. One approach to simplifying switching circuits is to obtain an averaged, continuous time model (see [1]). Under this method, switching action is replaced
3 by a moving average of the switched quantity, and the switching duty cycle becomes a gain in the range of [0,1]. The switching frequency does not appear in the analysis, and the system trajectories have continuous first derivatives. The model is not necessarily linear however, and in fact taking the continuous duty cycle as an input often results in a multiplicative term in the state equations. Another approach is to develop a discrete time or sampled data model. The values of quantities of interest are calculated only at discrete instants, usually synchronous with the switching frequency. Once again, the switching frequency does not appear explicitly in the analysis. As with averaging methods, discretization does not necessarily result in a linear model. It is common in either case to perform a small-signal linearization of the model about an operating point of interest by finding the Jacobian of the state space model. Clearly, models obtained with such methods are limited in their ability to describe system dynamics. Circuit behavior between switching instances is lost, and the ability to predict important nonlinear behaviors is lost. Control synthesis is often accomplished by applying linear control techniques to a linearized averaged or discretized system as described above. The main drawback to this approach is the fact that controller performance is limited by the accuracy of the model; because the system dynamics are only approximated, the full space of controllers cannot be explored. There is extensive literature on the use of nonlinear control for power electronics (see for example [2] and its references). Various methods of switching surface control exist, in which switching occurs when a surface in the state space is encountered. Special cases of this are sliding mode control and hysteresis control. 3 Hybrid Modelling and Analysis Here we more formally define the class of hybrid systems proposed for study, which we refer to as power electronics circuits. A power electronics circuit can be described as a network of electrical components selected from the following three groups: ideal voltage or current sources, linear elements (e.g. resistors, capacitors, inductors, transformers), and nonlinear elements acting as switches. At this level of abstraction, the behavior of a switch is idealized as having two discrete states: an open circuit and a short circuit. In a circuit with K switches, there are 2 K possible discrete states. In practice however, not all of these discrete states can be visited. Some of them are not feasible because of the physical characteristics of the switches, while others are banned by the designer because of safety considerations. Because of the restricted choice of circuit elements, the resulting systems have the desirable property that the continuous dynamics of each discrete state are linear or affine. Note, however, that these dynamics can allow arbitrarily large drift of continuous states, or allow the system to relax to a trivial equilibrium point. It is by exploiting the differences among the dynamics of the various switching configurations that the desired behavior of the circuit is achieved.
4 Thus under the proposed definition, the only input to the system is the choice of discrete state. Discrete transitions are not necessarily under control. Some are dictated by the physical characteristics of the switching elements and the evolution of currents and voltages in the circuit. This analysis will deal only with continuous disturbances. Hence a disturbance will be considered to be a change in the value of a source or linear element over time. Switching elements are assumed to always function correctly. 3.1 Problem Statement Let X R n be a continuous state space and let Q = {q 1,..., q N } be a finite set of discrete states. The continuous state space specifies the possible values of the continuous states for all q, where q Q represents the on/off configuration of all the switches in the circuit. As described above, networks are constructed from ideal sources, linear elements and ideal switches; hence for each q Q the continuous dynamics can be modelled by differential equations of the form ẋ(t) = f q (x(t)) = A q x(t) + b q (3.1) where x X, A q R n n, b q R n 1. Furthermore, one can define I(q) X as the subset of the continuous state space where the dynamics of f q can be applied. How and when to impose discrete transitions is a key problem in the design of power electronics circuits. We propose to address this problem with hybrid automaton theory [3, 4]. First, we introduce some useful concepts. Definition 1 (Mode). A mode, denoted M q where q Q, is the operation of the system (3.1), i.e. ẋ(t) = A q x(t) + b q, while x I(q) with I(q) X. From a given discrete state it may not be feasible to visit all other discrete states. Hence, we use E Q Q to define the collection of feasible discrete transitions. To each edge e = (q, q ) E, the switching condition is defined by G : E 2 X which assigns each edge a guard. Given the collection of modes, edges, and guards, one can form a hybrid automaton which is defined as follows: Definition 2 (Hybrid Automaton). A hybrid automaton is a collection H = (Q, X, f, I, E, G) where Q = {q 1,..., q N } is a set of discrete states; X R n is the continuous state space; f : Q (X R n ) assigns to every discrete state a Lipschitz continuous vector field on X; I : Q 2 X assigns each q Q an invariant set; E Q Q is a collection of discrete transitions; G : E 2 X assigns each e = (q, q ) E a guard. To simplify the notation, we will use I q for I(q), f q for f(q), and G qq for G((q, q )). The task of checking if a hybrid automaton satisfies a given system property is called a verification problem. Many tools [5 9] have been developed for verifying different combinations of hybrid automata and system properties. However, we are interested in the synthesis problem, which considers the synthesis of a hybrid
5 automaton that satisfies given system properties. We focus on safety properties of the continuous state, which are typically encoded as subsets of the continuous state space. Let F X be the safe set. We use F to denote the safety property on F, i.e., if F is true then t x(t) F. One can manipulate the evolution of the continuous state by changing the discrete state. A guard can be specified to signal when this change occurs. Once the continuous state reaches the guard condition, a decision can be made whether to jump to one of the next possible discrete states. Since the continuous state x is globally defined, there is no reset in the values of the continuous variables. The design objective for power electronics circuits is to determine the guards between discrete states so that the system trajectories satisfy given performance criteria. Problem 1 (Synthesis Problem For a Given Safety Property). Given a collection of modes M q for q Q, edges defined by E Q Q, and a safety property F, determine if there exist guards defined by G for all e E such that if x(t) F for t 0 then x(t) F for t 0. If so, synthesize the guards and the resulting hybrid automaton H. Several approaches [9, 10] have been proposed to solve the synthesis problem. The idea of these approaches is to obtain a maximal safe set, W F, which satisfies the safety property W. If x(t) W F for t 0 then x(t) W F for t 0. If W does exist and can be computed, one can solve the synthesis problem. In [9], an abstract algorithm is proposed to solve the synthesis problem using an iterative computation of reachable states. If the problem is feasible, a fixed point will be reached and a maximal safe set, guards and invariants will be obtained. In [10], the controller synthesis problem is formulated as a game between controller and disturbance. One can then find Hamilton-Jacobi equations whose solutions describe the boundaries of the maximal safe set, and derive an associated least restrictive controller. We are also interested in the synthesis of guards, as specified in Problem 1. However, there are some distinct characteristics of the application which require that we develop more direct solution methodologies. Using the formal methods presented in [9, 10], one can obtain the maximal safe set W inside F if it exists. In general, the safe set W can have an arbitrary shape which depends heavily on the dynamics. However, in order to precisely determine the switching conditions, we seek an explicit form for describing the boundary of the safe set. Furthermore, we require that the switching conditions can be computed effectively. Therefore, we propose to use a closed ball to specify the safe set. A similar consideration has been taken by [11], where an ellipsoid is used to specify the switching conditions. We cast the synthesis problem based on a ball as follows: Problem 2 (Safety Synthesis Problem For Power Electronics). Given a collection of modes M q for q Q, a safety property F, and a set point x d F, determine if there exists δ > 0 such that B xd (δ) F and x B xd (δ) q Q s.t. x x d, f q 0 (3.2)
6 where B xd (δ) = {x R n : x x d 2 δ}. Once a safe ball is obtained, one can derive the guard by considering the mode that drives the continuous state inside the ball. (Note that in general, the existence of a maximal safe set does not imply the existence of a safe ball.) The ball is made controlled invariant, and thus for every starting point inside the ball the trajectory will stay in F. For points inside the ball, any discrete state is appropriate since the safety property is of concern only at the boundary of the ball. This allows hierarchical organization of a family of controllers to meet different specifications. 4 Control Synthesis In this section, we address the synthesis problem for power electronics circuits. Our concern is to guarantee the safety property F, where F is called the admissible set, and represents the specification given by the designer. In a simple formulation, F is a rectangular set given by the minimum and maximum values tolerated for each state variable. It could, however, involve a different shape. In the remainder of this section, we address the synthesis of a controller in an incremental way. First, we describe the hybrid modelling of a power electronics circuit as suggested by the definitions in Section Modelling It is a straightforward task to formulate the hybrid model for a power electronics circuit as defined in Definition 2. Note that unlike the modelling techniques discussed in Section 2, the hybrid model captures the exact behavior of the circuit, without approximation. We consider the example of the conventional DC-DC boost converter shown in Figure 1. There are two discrete states ([SW1 on, SW2 off], and [SW1 off, SW2 on]) which we will call q 1 and q 2 respectively. Hence, Q = {q 1, q 2 } and E = {(q 1, q 2 ), (q 2, q 1 )}. The state of the system is defined as x = [i L v o ] T, which gives the affine state equations for q i (i = 1, 2) in the form of Equation 3.1, where A 1 = [ ] , A 2 = RC [ 0 1 L 1 C 1 RC ] [ vin ], b 1 = b 2 = b = L0 and the numerical values to be used are v in = 1.5V, L = 150µH, C = 110µF and R = 6Ω. To further simplify the notation above, we use f i for f qi, A i for A qi and b i for b qi, and we define Λ = {1,..., N} and I 1 = I 2 = X = R 2. For implementation, in order to decouple the discrete logic with the continuous dynamics, the hybrid automaton H can be decomposed into two hybrid automata H 1 and H 2. H 1 is a finite state machine governing the discrete transition which depends on the continuous signal x from H 2, while H 2 accepts the discrete symbol σ Σ from H 1 and the continuous state x evolves accordingly. The system is shown in Figure 2.
7 H1 q1 û = û1 x 2 G12 x 2 G21 x 2 X q2 û = û2 H2 q1 xç (t) = fq1 (x(t)) x(t) 2 Iq1 û 2 Î û = û2 û = û1 q2 xç (t) = fq2 (x(t)) x(t) 2 Iq2 Fig. 2. A power electronics circuit modelled as the parallel composition of two hybrid automata where H 1 governs discrete evolution and H 2 governs continuous evolution. 4.2 Stability The existence of a safe ball B is directly linked with the notion of stability, at least in a broad sense. If we can find a ball B on whose boundary there always exists an input σ to drive the state into the ball, then we claim that it is possible to stay inside the ball B indefinitely. The only requirement is to choose the appropriate control action when the state reaches the boundary. Here, we propose a strategy for solving Problem 2 by determining the existence of the ball, and constructing the ball if it does indeed exist. The existence of such a safe ball B can be characterized by the following proposition. Proposition 1. Given a continuous state space X R n, N continuous vector fields f i : X R n, i = 1... N, which can be selected at any point in time, a set point x d X, an admissible set F X s.t. x d F, if there exists δ > 0 such that a ball B xd (δ) = {x X : x x d δ} has the following properties: 1. B xd (δ) F ; 2. x B xd (δ), i Λ s.t. x x d, f i (x) 0, then, B xd (δ) is controlled invariant. By controlled invariant we mean that if x(0) B xd (δ), then there exists a control input for t 0 such that x(t) B xd (δ) t 0. The proof is trivial: by construction when the flow reaches the boundary of B, the control can choose a
8 vector field that points into B. As a corollary, the state never leaves the admissible set F. The set B may not be unique there could exist a set of balls of different sizes that satisfy our requirement. If we make δ as small as possible, we get a characterization of a controller with the smallest possible deviation from the set point. If we make δ as large as possible, we find a safety controller, which protects the system from undesirable states. In between these extremes, it is possible to find a collection of balls that satisfy different control objectives; clearly a trade off exists between tight regulation and control effort. Algorithm 1: Safe Ball Initialize δ = 0, largest good delta = 0; While δ < δ max δ = δ + δ; is good delta = true; For all x B xd (δ) if min i Λ x x d, f i(x) > 0 is good delta = false; Break; End; End; If is good delta largest good delta = δ; End; End; Fig. 3. An algorithm to find a safe ball B with maximum radius inside F Figure 3 shows an algorithm to find the safe ball B. The value of δ max is computed as the maximum radius of the ball contained in F ; when F is rectangular this computation is trivial. The algorithm starts with a ball of radius δ and checks if all points in the boundary have at least one element of the vector field pointing inwards, by computing the inner product x x d, f i (x) for each i. The points in the boundary of B must be parameterized in a grid over B, so it is important to define the size of the grid such that the vector field variation is small between adjacent points. The radius of the ball is increased until δ max is reached. The largest δ that satisfies the invariance requirements is chosen; however if at the end of the algorithm largest good delta is 0, there is no solution. The algorithm can be solved in two ways: by setting a grid on the boundary of the ball and solving the problem numerically; or by using symbolic tools [14, 15] to solve it as a Quantifier Elimination problem. The former needs a careful choice of the grid size, while the latter can provide an answer only in limited cases. An additional degree of freedom is the value of δ, which sets the grid for δ.
9 Returning to our DC-DC converter example, we choose to parameterize the points in the boundary of the ball as i L = i L,d + δ cos θ and v o = v o,d + δ sin θ. The inner products are ( x x d, f 1 (x) = δ cos θ v in L sin θ v ) o,d δ 2 sin 2 θ 1 ( RC RC ( vin x x d, f 2 (x) = δ cos θ L v ) ( o,d il,d + sin θ L C v )) o,d + RC ( 1 δ (sin 2 θ cos θ C 1 ) sin 2 θ 1 ) L RC The control objective is to regulate the output voltage at v o,d = 3.3V with a tolerance of ±10%, while the current in the inductor must remain in the range [0, 2.5A]. This implies an admissible set F = {x R 2 : 0 x 1 2.5, 2.97 x }. Steady state operation requires that i L,ss = v2 o,ss v in R, where i L,ss and v o,ss are the steady state inductor current and output voltage respectively. Imposing the condition v o,ss = v o,d we conclude that i L,ss = 1.21A, which we will also refer to as i L,d. Thus the set point is (i L,d, v o,d ) = (1.21, 3.3), which gives δ max =.33. A Matlab program using a grid size of.01 on θ and δ =.01 finds that largest good delta =.33 (i.e., δ max ). The computation time is 5s on a PIII, 800MHz with 256Mb of RAM. 4.3 Regulation Once a safe set is found, the stability of the system is guaranteed. We can concentrate, then, on the design of controllers for the interior of the safe set. What form these might take depends on the application. In general, it may be useful to formulate controllers that satisfy various performance criteria inside the safe set. As an example, we present two controllers for the interior of the safe set of the DC-DC converter. The first one, called minimum ripple control, always chooses the control whose vector field points closer to the set point x d. The control action minimizes the cosine of the angle between x x d and f i (x) as x x d, f i (x) σ i = arg min i Λ f i (x) where we omit x x d in the denominator because it is independent of i. The second controller, called minimum switching control, keeps the control constant until the boundary of the ball is reached. Then a new control driving the state inside the ball is selected and kept constant until the boundary is reached again, and so on. Notice that, by construction, such a control action always exists. The names chosen for these controllers reveal the purpose of each. In the first case, the state is expected to roam around the set point without moving too far away from it, at the expense of switching continually. It is reasonable to expect
10 that this controller might present Zeno behavior, i.e. try to switch an infinite number of times in a finite time interval; in practice this is avoided by assigning a small fixed minimum time between successive switchings. In the second case the state is allowed to move away from the set point, and switches only when it is necessary for the stability of the system; the average switching is expected to be less than in the previous case, at the expense of a larger ripple of the output variable. Figure 4 shows simulated trajectories for these controllers applied to the example system v o (V) 3.3 v o (V) i L (A) (a) i L (A) (b) Fig. 4. State trajectories of the example system using (a) the minimum ripple controller, and (b) the minimum switching controller. The circle represents the initial state and the dashed line represents the boundary of the safe set. 4.4 Disturbances So far in our analysis we have assumed complete knowledge of the dynamics of the system. In practice, there is always uncertainty about the values of the parameters of our model. We consider now the effects of such disturbances on the computation of the safe set, and therefore on the stability of the system. The first natural extension of the previous result is to impose the condition that, while the disturbances d can change arbitrarily in some set D, in the worst case there is always a vector field pointing into the ball. More formally, this requires modification of Proposition 1 to accommodate the condition min i Λ max d D x x d, f i (x, d) 0, where the vector fields now depend on the disturbances. However the analysis must be modified further, because the value of the set point is also affected by the disturbances. In this case, it is not possible to specify an arbitrary set point in the state space; one can only specify a range
11 based on the range of the disturbances. This is because the relationship between the average voltages and currents must be maintained in the steady state, and this relationship depends on the disturbances. Below we define a function Φ, called a steady state relation, such that v = Φ(w, d) where w are independent state variables, and d are disturbances. The following proposition then formalizes the modifications needed to handle disturbances. Proposition 2. Given a continuous state space X R n with x = [x 1:m x m+1:n ] T X, an output space Y R n m with y = x m+1:n, a set point y d = x m+1:n,d Y, a disturbance set D R p with a nominal disturbance d 0 D, a steady state relation x 1:m,ss = Φ(y d, d), N continuous vector fields f i : X D R n, i = 1... N, which can be selected at any point in time, an admissible set F X s.t. [Φ(y d, d) y d ] T F d D, if there exists δ > 0 such that a ball B xd (δ) = {x X : x x d δ}, where x d = [Φ(y d, d 0 ) y d ] is the nominal set point, s.t. 1. B xd (δ) F 2. x B xd (δ), i Λ s.t. max d D x x d, f i (x, d) 0 3. [Φ(y d, d) y d ] T B xd (δ) d D Then, B is controlled invariant. The algorithm described in Figure 3 needs two modifications to work in this case. First, in order to find δ max, we not only have to check that the ball remains inside F, but also that the range of possible set points remains inside the ball. Second, for every point in the boundary of B, the condition to check is that min i Λ max d D x x d, f i (x, d) > 0. Considering our DC-DC converter example, the steady state relation can be written as i L,ss = Φ(x o,d, v in, R) = v2 od v, where v inr in and R are the disturbances. Since the control objective is to regulate the output voltage, the current in the inductor has to change to accommodate changes in the disturbances. It is specified that the regulation has to be achieved under changes of +5% in the load R, and 5% in the input voltage v in. Hence the range of possible values of i L,ss is [1.15, 1.27]A, which gives us a minimum value of delta: δ min =.06. We can write the inner products as x x d, f 1 (x, d) = (i L i L,d ) L x x d, f 2 (x, d) = (i L i L,d ) L d 2 v o(v o v o,d ) d 1 C d 2 v o(v o v o,d ) d 1 v o(i L i L,d ) + i L(v o v o,d ) C L C where d 1 = 1/R and d 2 = v in. Since the relationship is linear on d, the maximum over all possible d D is obtained by substituting d 1 and d 2 by their maximum or minimum value according to the sign of the corresponding coefficient: if i L > i L,d, substitute d 2 by d 2,max, and else by d 2,min ; if v o > v o,d, substitute d 1 by d 1,min, and else by d 1,max. In each one of the four quadrants defined around x d, the maximum of the inner products is a function with d substituted by a constant, so we can apply the same procedure as before. Instead of having a unique function
12 for θ [0, 2π], now we have four functions, one for θ [0, π/2], another for θ [π/2, π], and so on. We use the same Matlab program described in Section 4.2 with the modifications described above, and we find that δ = δ max =.33 still satisfies the conditions in Proposition 2, i.e., the safe ball is robust with respect to the disturbances specified in this problem. The computation time is almost the same, because computing the maximum over the disturbance set adds very little overhead, as described above. We can also reformulate the controllers described in the previous section to take into account disturbances. In the case of the minimum ripple control, we select the control by minimizing the cosine of the angle between x x d and f i (x, d) under the worst case for all d D. The minimum switching control can be derived in the same way. 4.5 Sampling Time The previous results are valid under the assumption that the control action can be taken at any point in continuous time. This is a strong assumption, because in practice switches need a non-zero time to turn on and off. Moreover, the assumption also implies that the controller is able to evaluate the specified functions continuously, while in practice all the evaluations require sampling and finite computation time. Therefore it is necessary to take into account these limitations in our model. In this section, we describe the system with a sampled data model, i.e., using a global clock of period T, such that the evaluation of the state and the decision about the control action occur at discrete moments in time t k = kt. We assume that the computation time is zero, i.e., both the measurements and the control action occur at the same time. Under these assumptions, the conditions imposed on the safe set have to be more restrictive. It is not enough to require that a safe control action can be chosen at the points in the boundary; now we must require the same condition on any point that can be reached from inside the safe set in time T. Given a safe set described by a safe ball B as in Section 4.2, we characterize the set of reachable points from B in time T as included in another ball B of radius δ larger than that of B. Given any point x 0 B, let x T,i be the state after flowing for T seconds using the control σ i. Since the system is affine, then And we have x T,i = e AiT x 0 + T 0 e Aiτ dτb = x 0 + f i (x 0 )T + x T,i x d = x 0 x d + f i (x 0 )T + x 0 x d + f i (x 0 )T + δ + T f i (x 0 ) where δ is the radius of B, and we have discarded higher order terms. This expression gives an approximation of δ if we find the worst case for all x 0 B and for all i.
13 Once we have an estimation of δ, we have to verify that the conditions of Proposition 1 are met for all balls with radius between δ and δ. This gives us a sufficient condition for the stability of the sampled data system. The idea can be extended in the presence of disturbances by computing the worst case for all d, i.e., δ = max max max x T,i(x 0, d) x d i Λ d D x 0 B To stay inside the admissible set F, we have to impose the condition that δ δ max. This requires a modification of the algorithm in Figure 3 to compute δ for each step when is good delta is True. In our example, since δ was originally on the edge of the admissible set, the new ball will be naturally smaller. The values computed are δ = 0.18, and δ = 0.33 for a sampling period of 10µs. The time to compute the solution is 6s. Simulations with these values are shown in Figure 5. The state trajectories are guaranteed to stay inside B in the presence of disturbances v o (V) 3.3 v o (V) i L (A) (a) i L (A) (b) Fig. 5. State trajectories of the example system with sampling time T = 10µs, under the presence of disturbances, using (a) the minimum ripple controller, and (b) the minimum switching controller. The circle represents the initial state, the dashed line represents the boundary of B, and the dash-dotted line represents the boundary of B. 5 Design Example: A Double-Output DC-DC Converter The circuit shown in Figure 6 is an extension of the previous example to a DC-DC converter with two outputs. While such circuits have been proposed (see [13]), traditional methods of analysis have not, to our knowledge, yielded a viable control scheme except for limited special cases. We apply the methodology
14 described above to this example to show the useful scalability properties of our approach. There are now three switches that operate in an exclusive fashion, i L SW3 V in + L SW1 SW2 + C A R A V A C B R B + V B Fig. 6. Double output DC-DC converter adding another discrete state. The additional capacitor adds another continuous state, and the extra load becomes another disturbance. The task of the controller is now to independently regulate the two output voltages V A and V B by switching among three discrete states. If we define the state vector as x = [i L V A V B ] T, the continuous dynamics associated with these states are governed by Equation 3.1 where A 1 = 0 1 R AC A R BC B L A 3 = 0 1 R AC A 0 1 C B 0 1 R BC B 0 1 L 0, A 2 = 1 C A 1 R AC A v in L0, b = 0 R BC B The circuit parameters are L = 75µH, R A = 6.25Ω, R B = 34.1Ω, C A = 800µF, C B = 146.6µF, and V in = 1.5V. The desired output voltages are V A,d = 1.875V and V B,d = 3.75V. The steady-state current, computed using an energy balance equation, is i L,d = 0.65A. The output voltages are restricted to ±10%, and the current limited to the range [0, 2.5]A. The load resistors can vary by +5%, and the input voltage by 5%. The range of variation of the steady-state current for the given range of disturbances is [0.619, 0.684]A. Given these specifications, the admissible set is the rectangular set F = {x R 3 : 0 x 1 2.5, x , x }. The set point is x = [ ] T. Then δ max = Introducing a sampling time T = 2.5µs, we compute δ =.1 and δ =.18, using the same algorithm as in the previous section. The computation time is 654s on the same computer. Figure 7 shows simulations of the minimum ripple and the minimum switching controllers, designed according to the results above.,
15 i L (A) i L (A) V A (V) x x V A (V) x x V B (V) 3.8 V B (V) t(s) x 10 4 (a) t(s) x 10 4 (b) Fig. 7. State trajectories of the Single-Input Double-Output DC-DC converter with a sampling time T = 2.5µs, using (a) the minimum ripple controller, and (b) the minimum switching controller. The dashed line represents the ideal steady-state values. 6 Conclusions and Future Work We have addressed the study of power electronics circuits using a hybrid systems framework. A general model for power electronics circuits was described. This model is superior to averaged, linearized models in that no approximation is involved, and the controller synthesis is not limited by the model. We developed a simple method for synthesizing the guards that guarantee the safety property, by constructing a ball shaped safe set. The advantage of this method is that decisions can be made with a small computation effort (just an inner product), making it very convenient for real-time control. Although we restricted our analysis to a ball shape, it is evident that the same methodology can be extended to an ellipsoid shape. The selection of an optimal ellipsoid is an interesting problem left for future research. Implementation issues such as disturbances and non-zero switching time were addressed. We presented an algorithm to solve the safety synthesis problem for power electronics formulated in Problem 2. However, an important issue exists in the use of sampling in both spatial and temporal domains to validate the safety properties of balls of interest. The safety property is only guaranteed for the sampling points on the boundary of the safe ball at specified times. More research is needed into enhanced algorithms to ensure that the safety property is guaranteed for all points in both domains. One possible research direction is to incorporate the reachability tools developed for hybrid systems to automate the synthesis procedure, even in the presence of finite computation time and disturbances. The techniques presented in this paper may be inefficient for largedimensional state spaces. However, a large set of problems in power electronics have state spaces of small dimension. Single output and double output DC-DC converters were used as examples to illustrate the favorable properties of our approach. The double output prob-
16 lem, when considered using hybrid techniques, was shown to be only marginally more difficult to formulate than the single output problem. The same cannot be said of linear control methods. We conclude that hybrid systems techniques are a natural choice for power electronics circuits. In the particular case of the double output DC-DC converter, our approach led to the design of a viable controller; to the best of our knowledge, a solution to this problem has not yet been reported in the literature. References 1. John G. Kassakian, Marin F. Schlecht and George C. Verghese. Principles of Power Electronics, Addison-Wesley, S. Banerjee and G.C. Verghese. Nonlinear Phenomena in Power Electronics. IEEE Press, R. Alur and D. Dill. A theory of time automata. Theoretical Computer Science, 126: , R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In Proceedings of the Eighth International Conference on Concurrency Theory (CONCUR), pages 74-88, J. Lygeros, C. Tomlin, S. Sastry. Controllers for Reachability Specifications for Hybrid Systems, Automatica, Volume 35, Number 3, March G. Lafferriere, G.J. Pappas, S. Yovine. Reachability Computation for Linear Hybrid Systems. In Proceedings of the 14th IFAC World Congress, volume E, pages 7-12, Beijing, A.B. Kurzhanski, P.Varaiya. Ellipsoidal Techniques for Reachability Analysis, Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, A. Chutinan, B.H. Krogh, Verification of polyhedral-invariant hybrid systems using polygonal flow pipe approximations, Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, E. Asarin, O. Bournez, T. Dang, O. Maler, A. Pnueli. Effective Synthesis of Switching Controllers for Linear Systems, The Proceedings of IEEE, Volume 88, Number 7, Pages , July C. Tomlin, J. Lygeros, S. Sastry. A Game Theoretic Approach to Controller Design for Hybrid Systems, The Proceedings of IEEE, Volume 88, Number 7, Pages , July C. Altafini, A. Speranzon, K. H. Johansson. Hybrid Control of a Truck and Trailer Vehicle, Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, Ian Mitchell and Claire Tomlin. Level Set Methods for Computation in Hybrid Systems, Hybrid Systems : Computation and Control, LCNS series, Volume 1790, Springer-Verlag, Wing-Hung Ki and Dongsheng Ma. Single-Inductor Multiple-Output Switching Converters, IEEE Power Electronics Specialists Conference, pp , G. Collins, H. Hong. Partial Cylindrical Algebraic Decomposition for Quantifier Elimination, J. Symb. Comput., 12, , A. Dolzman, T. Sturm. REDLOG: Computer Algebra Meets Computer Logic. ACM SIGSAM Bulletin, 31, 2-9, 1997.
Verification of hybrid dynamical systems
Verification of hybrid dynamical systems Jüri Vain Tallinn Technical University/Institute of Cybernetics vain@ioc.ee Outline What are Hybrid Systems? Hybrid automata Verification of hybrid systems Verification
More informationModeling and Verification of Sampled-Data Hybrid Systems
Modeling and Verification of Sampled-Data Hybrid Systems Abstract B. Izaias Silva and Bruce H. Krogh Dept. of Electrical and Computer Engineering, Carnegie Mellon University (Izaias /krogh)@cmu.edu We
More informationChapter 20 Quasi-Resonant Converters
Chapter 0 Quasi-Resonant Converters Introduction 0.1 The zero-current-switching quasi-resonant switch cell 0.1.1 Waveforms of the half-wave ZCS quasi-resonant switch cell 0.1. The average terminal waveforms
More informationECON20310 LECTURE SYNOPSIS REAL BUSINESS CYCLE
ECON20310 LECTURE SYNOPSIS REAL BUSINESS CYCLE YUAN TIAN This synopsis is designed merely for keep a record of the materials covered in lectures. Please refer to your own lecture notes for all proofs.
More informationCyber-Security Analysis of State Estimators in Power Systems
Cyber-Security Analysis of State Estimators in Electric Power Systems André Teixeira 1, Saurabh Amin 2, Henrik Sandberg 1, Karl H. Johansson 1, and Shankar Sastry 2 ACCESS Linnaeus Centre, KTH-Royal Institute
More informationLevel Set Framework, Signed Distance Function, and Various Tools
Level Set Framework Geometry and Calculus Tools Level Set Framework,, and Various Tools Spencer Department of Mathematics Brigham Young University Image Processing Seminar (Week 3), 2010 Level Set Framework
More informationOPRE 6201 : 2. Simplex Method
OPRE 6201 : 2. Simplex Method 1 The Graphical Method: An Example Consider the following linear program: Max 4x 1 +3x 2 Subject to: 2x 1 +3x 2 6 (1) 3x 1 +2x 2 3 (2) 2x 2 5 (3) 2x 1 +x 2 4 (4) x 1, x 2
More informationFundamentals of Power Electronics. Robert W. Erickson University of Colorado, Boulder
Robert W. Erickson University of Colorado, Boulder 1 1.1. Introduction to power processing 1.2. Some applications of power electronics 1.3. Elements of power electronics Summary of the course 2 1.1 Introduction
More informationExample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x
Lecture 4. LaSalle s Invariance Principle We begin with a motivating eample. Eample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum Dynamics of a pendulum with friction can be written
More informationGrid Interconnection of Renewable Energy Sources Using Modified One-Cycle Control Technique
Grid Interconnection of Renewable Energy Sources Using Modified One-Cycle Control Technique NKV.Sai Sunil 1, K.Vinod Kumar 2 PG Student, GITAM University, Visakhapatnam, India. Asst.Professor, Department
More informationPower supplies. EE328 Power Electronics Assoc. Prof. Dr. Mutlu BOZTEPE Ege University, Dept. of E&E
Power supplies EE328 Power Electronics Assoc. Prof. Dr. Mutlu BOZTEPE Ege University, Dept. of E&E EE328 POWER ELECTRONICS Outline of lecture Introduction to power supplies Modelling a power transformer
More informationSwitch Mode Power Supply Topologies
Switch Mode Power Supply Topologies The Buck Converter 2008 Microchip Technology Incorporated. All Rights Reserved. WebSeminar Title Slide 1 Welcome to this Web seminar on Switch Mode Power Supply Topologies.
More informationMathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors
Applied and Computational Mechanics 3 (2009) 331 338 Mathematical Modeling and Dynamic Simulation of a Class of Drive Systems with Permanent Magnet Synchronous Motors M. Mikhov a, a Faculty of Automatics,
More informationControl Development and Modeling for Flexible DC Grids in Modelica
Control Development and Modeling for Flexible DC Grids in Modelica Andreas Olenmark 1 Jens Sloth 2 Anna Johnsson 3 Carl Wilhelmsson 3 Jörgen Svensson 4 1 One Nordic AB, Sweden, andreas.olenmark@one-nordic.se.
More informationDesign of Four Input Buck-Boost DC-DC Converter for Renewable Energy Application
Design of Four Input Buck-Boost DC-DC Converter for Renewable Energy Application A.Thiyagarajan Assistant Professor, Department of Electrical and Electronics Engineering Karpagam Institute of Technology
More informationKeywords: input noise, output noise, step down converters, buck converters, MAX1653EVKit
Maxim > Design Support > Technical Documents > Tutorials > Power-Supply Circuits > APP 986 Keywords: input noise, output noise, step down converters, buck converters, MAX1653EVKit TUTORIAL 986 Input and
More informationHarmonics and Noise in Photovoltaic (PV) Inverter and the Mitigation Strategies
Soonwook Hong, Ph. D. Michael Zuercher Martinson Harmonics and Noise in Photovoltaic (PV) Inverter and the Mitigation Strategies 1. Introduction PV inverters use semiconductor devices to transform the
More informationSINGLE-SUPPLY OPERATION OF OPERATIONAL AMPLIFIERS
SINGLE-SUPPLY OPERATION OF OPERATIONAL AMPLIFIERS One of the most common applications questions on operational amplifiers concerns operation from a single supply voltage. Can the model OPAxyz be operated
More informationDesign of a TL431-Based Controller for a Flyback Converter
Design of a TL431-Based Controller for a Flyback Converter Dr. John Schönberger Plexim GmbH Technoparkstrasse 1 8005 Zürich 1 Introduction The TL431 is a reference voltage source that is commonly used
More informationSimulation and Analysis of Parameter Identification Techniques for Induction Motor Drive
International Journal of Electronic and Electrical Engineering. ISSN 0974-2174 Volume 7, Number 10 (2014), pp. 1027-1035 International Research Publication House http://www.irphouse.com Simulation and
More informationThe continuous and discrete Fourier transforms
FYSA21 Mathematical Tools in Science The continuous and discrete Fourier transforms Lennart Lindegren Lund Observatory (Department of Astronomy, Lund University) 1 The continuous Fourier transform 1.1
More informationA bidirectional DC-DC converter for renewable energy systems
BULLETIN OF THE POLISH ACADEMY OF SCIENCES TECHNICAL SCIENCES Vol. 57, No. 4, 2009 A bidirectional DC-DC converter for renewable energy systems S. JALBRZYKOWSKI, and T. CITKO Faculty of Electrical Engineering,
More informationModified Cascaded Five Level Multilevel Inverter Using Hybrid Pulse Width Modulation
International Journal of Computer Sciences and Engineering Open Access Research Paper Volume-4, Special Issue-2, April 2016 E-ISSN: 2347-2693 Modified Cascaded Five Level Multilevel Inverter Using Hybrid
More informationChapter 9: Controller design
Chapter 9. Controller Design 9.1. Introduction 9.2. Effect of negative feedback on the network transfer functions 9.2.1. Feedback reduces the transfer function from disturbances to the output 9.2.2. Feedback
More informationUsing the Theory of Reals in. Analyzing Continuous and Hybrid Systems
Using the Theory of Reals in Analyzing Continuous and Hybrid Systems Ashish Tiwari Computer Science Laboratory (CSL) SRI International (SRI) Menlo Park, CA 94025 Email: ashish.tiwari@sri.com Ashish Tiwari
More informationA Simple Model of Price Dispersion *
Federal Reserve Bank of Dallas Globalization and Monetary Policy Institute Working Paper No. 112 http://www.dallasfed.org/assets/documents/institute/wpapers/2012/0112.pdf A Simple Model of Price Dispersion
More informationCreating a Usable Power Supply from a Solar Panel
Creating a Usable Power Supply from a Solar Panel An exploration in DC- DC converters By Kathleen Ellis Advised by Dr. Derin Sherman Department of Physics, Cornell College November 21, 2012 Introduction
More informationDesign of an Auxiliary Power Distribution Network for an Electric Vehicle
Design of an Auxiliary Power Distribution Network for an Electric Vehicle William Chen, Simon Round and Richard Duke Department of Electrical & Computer Engineering University of Canterbury, Christchurch,
More informationNovel Loaded-Resonant Converter & Application of DC-to-DC Energy Conversions systems
International Refereed Journal of Engineering and Science (IRJES) ISSN (Online) 2319-183X, (Print) 2319-1821 Volume 2, Issue 11 (November 2013), PP.50-57 Novel Loaded-Resonant Converter & Application of
More informationPower Electronics. Prof. K. Gopakumar. Centre for Electronics Design and Technology. Indian Institute of Science, Bangalore.
Power Electronics Prof. K. Gopakumar Centre for Electronics Design and Technology Indian Institute of Science, Bangalore Lecture - 1 Electric Drive Today, we will start with the topic on industrial drive
More informationModeling of power converters for debugging digital controllers through FPGA emulation
Modeling of power converters for debugging digital controllers through FPGA Fernando ópezcolino, Alberto Sanchez, Angel de Castro and Javier Garrido Human Computer Technology aboratory Universidad Autónoma
More informationDigital to Analog Converter. Raghu Tumati
Digital to Analog Converter Raghu Tumati May 11, 2006 Contents 1) Introduction............................... 3 2) DAC types................................... 4 3) DAC Presented.............................
More informationThe Heat Equation. Lectures INF2320 p. 1/88
The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)
More informationOutline Servo Control
Outline Servo Control Servo-Motor Drivers Control Modes orque Capability Servo-control Systems Direct/Indirect Control System Control Algorithm Implementation Controller Design by Emulation Discretization
More informationModeling and Analysis of DC Link Bus Capacitor and Inductor Heating Effect on AC Drives (Part I)
00-00-//$0.00 (c) IEEE IEEE Industry Application Society Annual Meeting New Orleans, Louisiana, October -, Modeling and Analysis of DC Link Bus Capacitor and Inductor Heating Effect on AC Drives (Part
More informationFundamentals of Microelectronics
Fundamentals of Microelectronics CH1 Why Microelectronics? CH2 Basic Physics of Semiconductors CH3 Diode Circuits CH4 Physics of Bipolar Transistors CH5 Bipolar Amplifiers CH6 Physics of MOS Transistors
More informationChapter 11 Current Programmed Control
Chapter 11 Current Programmed Control Buck converter v g i s Q 1 D 1 L i L C v R The peak transistor current replaces the duty cycle as the converter control input. Measure switch current R f i s Clock
More informationHigh Efficiency Battery Charger using Power Components [1]
application note TPB:101 High Efficiency Battery Charger using Power Components [1] Marco Panizza Senior Applications Engineer July 2006 Contents Page Introduction 1 A Unique Converter 1 Control Scheme
More information9 Multiplication of Vectors: The Scalar or Dot Product
Arkansas Tech University MATH 934: Calculus III Dr. Marcel B Finan 9 Multiplication of Vectors: The Scalar or Dot Product Up to this point we have defined what vectors are and discussed basic notation
More informationDesign and Construction of Variable DC Source for Laboratory Using Solar Energy
International Journal of Electronics and Computer Science Engineering 228 Available Online at www.ijecse.org ISSN- 2277-1956 Design and Construction of Variable DC Source for Laboratory Using Solar Energy
More informationDesign and Simulation of Soft Switched Converter Fed DC Servo Drive
International Journal of Soft Computing and Engineering (IJSCE) ISSN: 2231-237, Volume-1, Issue-5, November 211 Design and Simulation of Soft Switched Converter Fed DC Servo Drive Bal Mukund Sharma, A.
More informationSwitched-mode buck converter with voltage mirror regulation topology
1/20 Switched-mode buck converter with voltage mirror regulation topology Avatekh Inc Lawrence, KS, USA inquiry@avatekh.com May June 2014 2/20 1 Motivation and highlights 2 SMVM-based buck controller 3
More informationModelling, Simulation and Performance Analysis of A Variable Frequency Drive in Speed Control Of Induction Motor
International Journal of Engineering Inventions e-issn: 78-7461, p-issn: 319-6491 Volume 3, Issue 5 (December 013) PP: 36-41 Modelling, Simulation and Performance Analysis of A Variable Frequency Drive
More informationHigh Intensify Interleaved Converter for Renewable Energy Resources
High Intensify Interleaved Converter for Renewable Energy Resources K. Muthiah 1, S.Manivel 2, Gowthaman.N 3 1 PG Scholar, Jay Shriram Group of Institutions,Tirupur 2 Assistant Professor, Jay Shriram Group
More informationSingle Phase Two-Channel Interleaved PFC Operating in CrM
Freescale Semiconductor Application Note Document Number: AN4836 Rev. 0, 12/2013 Single Phase Two-Channel Interleaved PFC Operating in CrM Using the MC56F82xxx Family of Digital Signal Controllers by Freescale
More informationSingle-Stage High Power Factor Flyback for LED Lighting
Application Note Stockton Wu AN012 May 2014 Single-Stage High Power Factor Flyback for LED Lighting Abstract The application note illustrates how the single-stage high power factor flyback converter uses
More informationEfficient and reliable operation of LED lighting is dependent on the right choice of current-limiting resistor
Efficient and reliable operation of LED lighting is dependent on the right choice of current-limiting resistor Phil Ebbert, VP of Engineering, Riedon Inc. Introduction Not all resistors are the same and
More informationBoundary between CCM and DCM in DC/DC PWM Converters
Boundary between CCM and DCM in DC/DC PWM Converters ELENA NICULESCU and E. P. IANCU Dept. of Electronics and Instrumentation, and Automation University of Craiova ROMANIA Abstract: - It is presented a
More informationATheoryofComplexity,Conditionand Roundoff
ATheoryofComplexity,Conditionand Roundoff Felipe Cucker Berkeley 2014 Background L. Blum, M. Shub, and S. Smale [1989] On a theory of computation and complexity over the real numbers: NP-completeness,
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationWHAT DESIGNERS SHOULD KNOW ABOUT DATA CONVERTER DRIFT
WHAT DESIGNERS SHOULD KNOW ABOUT DATA CONVERTER DRIFT Understanding the Components of Worst-Case Degradation Can Help in Avoiding Overspecification Exactly how inaccurate will a change in temperature make
More informationCONTROLLABILITY. Chapter 2. 2.1 Reachable Set and Controllability. Suppose we have a linear system described by the state equation
Chapter 2 CONTROLLABILITY 2 Reachable Set and Controllability Suppose we have a linear system described by the state equation ẋ Ax + Bu (2) x() x Consider the following problem For a given vector x in
More informationTCOM 370 NOTES 99-4 BANDWIDTH, FREQUENCY RESPONSE, AND CAPACITY OF COMMUNICATION LINKS
TCOM 370 NOTES 99-4 BANDWIDTH, FREQUENCY RESPONSE, AND CAPACITY OF COMMUNICATION LINKS 1. Bandwidth: The bandwidth of a communication link, or in general any system, was loosely defined as the width of
More informationTURBOtech srl. SED-635 Digital Excitation System. Industrial Electronics Sector FEATURES
SED-635 Digital Excitation System SED-635 is a complete excitation system capable of adapting to control synchronous generators of any size. The integration of the TOUCH SCREEN operator interface and a
More informationTHREE DIMENSIONAL GEOMETRY
Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,
More informationAvoiding AC Capacitor Failures in Large UPS Systems
Avoiding AC Capacitor Failures in Large UPS Systems White Paper #60 Revision 0 Executive Summary Most AC power capacitor failures experienced in large UPS systems are avoidable. Capacitor failures can
More informationIntroduction to Engineering System Dynamics
CHAPTER 0 Introduction to Engineering System Dynamics 0.1 INTRODUCTION The objective of an engineering analysis of a dynamic system is prediction of its behaviour or performance. Real dynamic systems are
More informationMath Review. for the Quantitative Reasoning Measure of the GRE revised General Test
Math Review for the Quantitative Reasoning Measure of the GRE revised General Test www.ets.org Overview This Math Review will familiarize you with the mathematical skills and concepts that are important
More informationAN ULTRA-CHEAP GRID CONNECTED INVERTER FOR SMALL SCALE GRID CONNECTION
AN ULTRA-CHEAP GRID CONNECTED INVERTER FOR SMALL SCALE GRID CONNECTION Pramod Ghimire 1, Dr. Alan R. Wood 2 1 ME Candidate Email: pgh56@student.canterbury.ac.nz 2 Senior Lecturer: Canterbury University
More informationThe Envelope Theorem 1
John Nachbar Washington University April 2, 2015 1 Introduction. The Envelope Theorem 1 The Envelope theorem is a corollary of the Karush-Kuhn-Tucker theorem (KKT) that characterizes changes in the value
More informationThis article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.
IEEE/ACM TRANSACTIONS ON NETWORKING 1 A Greedy Link Scheduler for Wireless Networks With Gaussian Multiple-Access and Broadcast Channels Arun Sridharan, Student Member, IEEE, C Emre Koksal, Member, IEEE,
More informationOn the Interaction and Competition among Internet Service Providers
On the Interaction and Competition among Internet Service Providers Sam C.M. Lee John C.S. Lui + Abstract The current Internet architecture comprises of different privately owned Internet service providers
More informationTransient analysis of integrated solar/diesel hybrid power system using MATLAB Simulink
Transient analysis of integrated solar/diesel hybrid power system using ATLAB Simulink Takyin Taky Chan School of Electrical Engineering Victoria University PO Box 14428 C, elbourne 81, Australia. Taky.Chan@vu.edu.au
More informationStep Response of RC Circuits
Step Response of RC Circuits 1. OBJECTIVES...2 2. REFERENCE...2 3. CIRCUITS...2 4. COMPONENTS AND SPECIFICATIONS...3 QUANTITY...3 DESCRIPTION...3 COMMENTS...3 5. DISCUSSION...3 5.1 SOURCE RESISTANCE...3
More informationTransformerless UPS systems and the 9900 By: John Steele, EIT Engineering Manager
Transformerless UPS systems and the 9900 By: John Steele, EIT Engineering Manager Introduction There is a growing trend in the UPS industry to create a highly efficient, more lightweight and smaller UPS
More informationApplication Note AN- 1095
Application Note AN- 1095 Design of the Inverter Output Filter for Motor Drives with IRAMS Power Modules Cesare Bocchiola Table of Contents Page Section 1: Introduction...2 Section 2 : Output Filter Design
More informationDiscrete Optimization
Discrete Optimization [Chen, Batson, Dang: Applied integer Programming] Chapter 3 and 4.1-4.3 by Johan Högdahl and Victoria Svedberg Seminar 2, 2015-03-31 Todays presentation Chapter 3 Transforms using
More informationAC/DC Power Supply Reference Design. Advanced SMPS Applications using the dspic DSC SMPS Family
AC/DC Power Supply Reference Design Advanced SMPS Applications using the dspic DSC SMPS Family dspic30f SMPS Family Excellent for Digital Power Conversion Internal hi-res PWM Internal high speed ADC Internal
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationSection 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
More informationSPEED CONTROL OF INDUCTION MACHINE WITH REDUCTION IN TORQUE RIPPLE USING ROBUST SPACE-VECTOR MODULATION DTC SCHEME
International Journal of Advanced Research in Engineering and Technology (IJARET) Volume 7, Issue 2, March-April 2016, pp. 78 90, Article ID: IJARET_07_02_008 Available online at http://www.iaeme.com/ijaret/issues.asp?jtype=ijaret&vtype=7&itype=2
More informationSCHWEITZER ENGINEERING LABORATORIES, COMERCIAL LTDA.
Pocket book of Electrical Engineering Formulas Content 1. Elementary Algebra and Geometry 1. Fundamental Properties (real numbers) 1 2. Exponents 2 3. Fractional Exponents 2 4. Irrational Exponents 2 5.
More informationLINEAR MOTOR CONTROL IN ACTIVE SUSPENSION SYSTEMS
LINEAR MOTOR CONTROL IN ACTIVE SUSPENSION SYSTEMS HONCŮ JAROSLAV, HYNIOVÁ KATEŘINA, STŘÍBRSKÝ ANTONÍN Department of Control Engineering, Faculty of Electrical Engineering, Czech Technical University Karlovo
More informationController Design in Frequency Domain
ECSE 4440 Control System Engineering Fall 2001 Project 3 Controller Design in Frequency Domain TA 1. Abstract 2. Introduction 3. Controller design in Frequency domain 4. Experiment 5. Colclusion 1. Abstract
More informationDigital to Analog and Analog to Digital Conversion
Real world (lab) is Computer (binary) is digital Digital to Analog and Analog to Digital Conversion V t V t D/A or DAC and A/D or ADC D/A Conversion Computer DAC A/D Conversion Computer DAC Digital to
More informationFast analytical techniques for electrical and electronic circuits. Jet Propulsion Laboratory California Institute of Technology
Fast analytical techniques for electrical and electronic circuits Vatché Vorpérian Jet Propulsion Laboratory California Institute of Technology PUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGE
More informationReliability Guarantees in Automata Based Scheduling for Embedded Control Software
1 Reliability Guarantees in Automata Based Scheduling for Embedded Control Software Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta Department of CSE, IIT Kharagpur West Bengal, India - 721302. Email: {santhosh.prabhu,
More informationThe Trip Scheduling Problem
The Trip Scheduling Problem Claudia Archetti Department of Quantitative Methods, University of Brescia Contrada Santa Chiara 50, 25122 Brescia, Italy Martin Savelsbergh School of Industrial and Systems
More informationPersuasion by Cheap Talk - Online Appendix
Persuasion by Cheap Talk - Online Appendix By ARCHISHMAN CHAKRABORTY AND RICK HARBAUGH Online appendix to Persuasion by Cheap Talk, American Economic Review Our results in the main text concern the case
More informationSupport Vector Machines with Clustering for Training with Very Large Datasets
Support Vector Machines with Clustering for Training with Very Large Datasets Theodoros Evgeniou Technology Management INSEAD Bd de Constance, Fontainebleau 77300, France theodoros.evgeniou@insead.fr Massimiliano
More informationSection 3. Sensor to ADC Design Example
Section 3 Sensor to ADC Design Example 3-1 This section describes the design of a sensor to ADC system. The sensor measures temperature, and the measurement is interfaced into an ADC selected by the systems
More informationSimulation of VSI-Fed Variable Speed Drive Using PI-Fuzzy based SVM-DTC Technique
Simulation of VSI-Fed Variable Speed Drive Using PI-Fuzzy based SVM-DTC Technique B.Hemanth Kumar 1, Dr.G.V.Marutheshwar 2 PG Student,EEE S.V. College of Engineering Tirupati Senior Professor,EEE dept.
More informationSingle Phase Two-Channel Interleaved PFC Operating in CrM Using the MC56F82xxx Family of Digital Signal Controllers
Freescale Semiconductor Application Note Document Number: AN4836 Rev. 1, 07/2014 Single Phase Two-Channel Interleaved PFC Operating in CrM Using the MC56F82xxx Family of Digital Signal Controllers by Freescale
More informationOutput Ripple and Noise Measurement Methods for Ericsson Power Modules
Output Ripple and Noise Measurement Methods for Ericsson Power Modules Design Note 022 Ericsson Power Modules Ripple and Noise Abstract There is no industry-wide standard for measuring output ripple and
More informationSIMPLIFIED PERFORMANCE MODEL FOR HYBRID WIND DIESEL SYSTEMS. J. F. MANWELL, J. G. McGOWAN and U. ABDULWAHID
SIMPLIFIED PERFORMANCE MODEL FOR HYBRID WIND DIESEL SYSTEMS J. F. MANWELL, J. G. McGOWAN and U. ABDULWAHID Renewable Energy Laboratory Department of Mechanical and Industrial Engineering University of
More informationChapter 22: Electric Flux and Gauss s Law
22.1 ntroduction We have seen in chapter 21 that determining the electric field of a continuous charge distribution can become very complicated for some charge distributions. t would be desirable if we
More informationSolar Energy Conversion using MIAC. by Tharowat Mohamed Ali, May 2011
Solar Energy Conversion using MIAC by Tharowat Mohamed Ali, May 2011 Abstract This work introduces an approach to the design of a boost converter for a photovoltaic (PV) system using the MIAC. The converter
More informationTD(0) Leads to Better Policies than Approximate Value Iteration
TD(0) Leads to Better Policies than Approximate Value Iteration Benjamin Van Roy Management Science and Engineering and Electrical Engineering Stanford University Stanford, CA 94305 bvr@stanford.edu Abstract
More informationTransistor Amplifiers
Physics 3330 Experiment #7 Fall 1999 Transistor Amplifiers Purpose The aim of this experiment is to develop a bipolar transistor amplifier with a voltage gain of minus 25. The amplifier must accept input
More informationThe Flyback Converter
The Flyback Converter Lecture notes ECEN4517! Derivation of the flyback converter: a transformer-isolated version of the buck-boost converter! Typical waveforms, and derivation of M(D) = V/! Flyback transformer
More informationOperational Amplifier - IC 741
Operational Amplifier - IC 741 Tabish December 2005 Aim: To study the working of an 741 operational amplifier by conducting the following experiments: (a) Input bias current measurement (b) Input offset
More informationCMOS Power Consumption and C pd Calculation
CMOS Power Consumption and C pd Calculation SCAA035B June 1997 1 IMPORTANT NOTICE Texas Instruments (TI) reserves the right to make changes to its products or to discontinue any semiconductor product or
More informationS. Boyd EE102. Lecture 1 Signals. notation and meaning. common signals. size of a signal. qualitative properties of signals.
S. Boyd EE102 Lecture 1 Signals notation and meaning common signals size of a signal qualitative properties of signals impulsive signals 1 1 Signals a signal is a function of time, e.g., f is the force
More informationA Direct Numerical Method for Observability Analysis
IEEE TRANSACTIONS ON POWER SYSTEMS, VOL 15, NO 2, MAY 2000 625 A Direct Numerical Method for Observability Analysis Bei Gou and Ali Abur, Senior Member, IEEE Abstract This paper presents an algebraic method
More informationFault Modeling. Why model faults? Some real defects in VLSI and PCB Common fault models Stuck-at faults. Transistor faults Summary
Fault Modeling Why model faults? Some real defects in VLSI and PCB Common fault models Stuck-at faults Single stuck-at faults Fault equivalence Fault dominance and checkpoint theorem Classes of stuck-at
More informationApplied Algorithm Design Lecture 5
Applied Algorithm Design Lecture 5 Pietro Michiardi Eurecom Pietro Michiardi (Eurecom) Applied Algorithm Design Lecture 5 1 / 86 Approximation Algorithms Pietro Michiardi (Eurecom) Applied Algorithm Design
More informationRoots of Polynomials
Roots of Polynomials (Com S 477/577 Notes) Yan-Bin Jia Sep 24, 2015 A direct corollary of the fundamental theorem of algebra is that p(x) can be factorized over the complex domain into a product a n (x
More informationHETEROGENEOUS AGENTS AND AGGREGATE UNCERTAINTY. Daniel Harenberg daniel.harenberg@gmx.de. University of Mannheim. Econ 714, 28.11.
COMPUTING EQUILIBRIUM WITH HETEROGENEOUS AGENTS AND AGGREGATE UNCERTAINTY (BASED ON KRUEGER AND KUBLER, 2004) Daniel Harenberg daniel.harenberg@gmx.de University of Mannheim Econ 714, 28.11.06 Daniel Harenberg
More informationDesign A High Performance Buck or Boost Converter With Si9165
Design A High Performance Buck or Boost Converter With Si9165 AN723 AN723 by Kin Shum INTRODUCTION The Si9165 is a controller IC designed for dc-to-dc conversion applications with 2.7- to 6- input voltage.
More informationInvGen: An Efficient Invariant Generator
InvGen: An Efficient Invariant Generator Ashutosh Gupta and Andrey Rybalchenko Max Planck Institute for Software Systems (MPI-SWS) Abstract. In this paper we present InvGen, an automatic linear arithmetic
More information