Power converter circuits: A hybrid dynamical case
Convertidores de potencia: Un caso dinámico híbrido
DOI:
https://doi.org/10.15446/dyna.v84n200.52429Palabras clave:
buck-type power converter, hybrid dynamical system, modeling, on-off controller (en)controlador encendido-apagado, convertidor de potencia reductor, modelamiento, sistema dinámico híbrido (es)
Descargas
dinámico de sistemas. Este artículo aborda el modelado desde una perspectiva híbrida para describir la dinámica de un circuito convertidor
de potencia bajo la acción de un controlador encendido-apagado, a través de una formulación basada en conjuntos. Este enfoque es
novedoso en cuanto permite formular reglas genéricas pero formales, a partir de transiciones entre modos de operación del sistema, lo cual
facilita su posterior implementación computacional en entornos de simulación. De hecho, se muestra como el sistema controlado puede
explicarse en términos de la unión de los conjuntos que describen el circuito y su control. Resultados generados en un simulador comercial
de circuitos replican las predicciones obtenidas tras evaluar las reglas de conjuntos propuestas, representando un paso importante en el
camino hacia la comprensión del comportamiento dinámico de sistemas discontinuos más complejos.
Recibido: 10 de agosto de 2015; Revisión recibida: 10 de julio de 2016; Aceptado: 5 de noviembre de 2016
Abstract
The hybrid paradigm (often referred to as Cyber-Physical-Systems) can be employed to understand (by modelling) or to manipulate (by control design) the dynamical behavior of systems. In this paper, a system of wide use in applications (Buck-type power converter) with a simple type of controller (On-Off) is addressed from a perspective of hybrid modelling, developed upon a set-based formulation scheme. This approach is novel in the sense that it allows the formulation of generic formal rules as sets for the transition between continuous and discrete modes of a hybrid model, which can be further implemented as software routines for simulation purposes. Indeed, it is shown how the controlled system can be understood as the union between the system and controller sets. Numerical results obtained with a commercial circuit simulator were replicated by evaluating the set-based formulations, constituting a valuable tool in the path to understand the behavior of complex discontinuous systems.
Keywords :
buck-type power converter, hybrid dynamical system, modeling, on-off controller.Resumen
El paradigma híbrido (o de Sistemas Ciber-físicos) puede ser empleado para entender (modelar) o manipular (controlar) el comportamiento dinámico de sistemas. Este artículo aborda el modelado desde una perspectiva híbrida para describir la dinámica de un circuito convertidor de potencia bajo la acción de un controlador encendido-apagado, a través de una formulación basada en conjuntos. Este enfoque es novedoso en cuanto permite formular reglas genéricas pero formales, a partir de transiciones entre modos de operación del sistema, lo cual facilita su posterior implementación computacional en entornos de simulación. De hecho, se muestra como el sistema controlado puede explicarse en términos de la unión de los conjuntos que describen el circuito y su control. Resultados generados en un simulador comercial de circuitos replican las predicciones obtenidas tras evaluar las reglas de conjuntos propuestas, representando un paso importante en el camino hacia la comprensión del comportamiento dinámico de sistemas discontinuos más complejos.
Palabras clave :
controlador encendido-apagado, convertidor de potencia reductor, modelamiento, sistema dinámico híbrido.1. Introduction
Dynamical systems when thought as operating under realistic conditions are usually constrained to evolve inside delimited zones of the state-space, as a natural consequence of physical limitations appearing by implementations, such as the saturation of actuation components and the boundaries of motion trajectories. Moreover, different operational modes of the system define particular regions in the solution space and therefore, a conditioned representation of the dynamics. Such interaction of continuous behavior and discrete transition-rules between operation modes is defined in terms of the so-called Hybrid Dynamical Systems (HDS).
An HDS can be stated as one with solution trajectories composed of continuous paths linked by discontinuous transitions obeying a discrete rule [1]. Hybrid models can be employed as simplified representations of complex systems [2-4] by taking advantage of the information reduction provided by discrete domains (e.g. the bouncing-ball system). Then, an HDS is the best way to describe the coupling between the continuous nature of physical systems and the discrete fashion of computations; i.e. a Cyber-Physical System (CPS), as topic of current research interest for development of intelligent computational systems interacting with nature [5,6]. On the other hand, it is necessary to design more efficient engineering systems in terms of energy consumption, as consequence of an increasing power demand under limited resources [2,7,8]. In particular, for the case of electrical systems it is well known the role of a power converter circuit for delivering to the load, in an efficient manner, the energy stored in a power supply (i.e. with a minimum loss) [9,10]. The operation of a power converter circuit is determined by the commutation pattern of the switching devices in the corresponding circuit topology. Pulse-width modulated signals (PWM) are often employed to accomplish this task. In a PWM-generation block the input is a continuous signal corresponding to the duty cycle, and the output is a discrete signal with only two possible values: ON or OFF [11,12]. Such a feature imposes a discrete change over the continuous nature of an electric circuit, allowing to model the power converter as a hybrid system [1,12]. To model a power converter is, in general, a complicated task given the discontinuities induced by switching devices [13,14]. Nevertheless, there are several works in the literature proposing isolated models for the converter and the control laws [15-18]. This paper shows a general definition for the hybrid system in terms of a set of continuous and discrete components, being applied to link the power converter and a simple control law, in an attempt to model and to explain the behavior of the controlled circuit, as an HDS. The contents of the paper are organized as follows: Section 2 introduces the hybrid dynamical systems and a set-based formulation for modelling its dynamics; Section 3 uses the proposed approach to model a power converter circuit; in Section 4 the hybrid modelling is extended to an On-Off controller being, furthermore, linked to the converter circuit; finally, Section 5 presents numerical validation of the models and discussion of results, with general conclusions given in section 6.
2. Hybrid Dynamical Systems HDS
Hybrid Dynamical Systems (HDS) have been a subject of increasing interest from the earlier developments in the Eastern literature till nowadays. In particular, new methodologies and techniques for analysis and control tasks appeared in an attempt to deal with the impossibility to apply the well-developed classical theory of smooth-dynamical systems. Interested readers are referred to [19] for a deeper review on some developments concerning piecewise-smooth dynamical systems (including hybrid systems) and applications.
As a representative example, let us consider the dynamical system described by:
(1)
with F1 and F2 representing two different modes of operation across the discontinuity boundary Σ in Fig. 1 (where the solution space S has been partitioned into S1 and S2), generating respectively the flow paths (1 and (2 .
Then in order to solve (1) for an arbitrary time t > 0, we must be able to detect accurately the crossing instants of the system flow through the boundary Σ for an appropriate commutation of the vector fields F. In general, it is not straightforward to find closed-form analytical solutions for these kinds of trajectory, moreover, when the boundary conditions may include discontinuities in the resulting flow. As a valid resource, numerical approximations of the trajectories are considered by appropriate formulations of automata resembling conditionals and transitions between discrete and continuous states. Synthesis and conditioning of numerical methods are then of remarkable importance in the analysis of hybrid dynamics. See [20] and references therein for a detailed description of event-driven simulators applied to systems with discontinuous flows.
2.1. A set-based formulation for the hybrid automaton
In general, a dynamical system given by:
(2)
where x is the state-vector of n state-variables, ƒ (.) is a continuous function (non-necessarily linear) of the states, u is a vector of allowed inputs and x 0 is a set of initial conditions; can be solved as a trajectory in the state space Φ(t) = x(t).
In an HDS such flow path Φ(t) can be described in terms of a combination of continuous sets of points, linked to discrete conditions between them; i.e. by considering the ordered pair, each point of the state-space for the solution path Φ(t) belongs exclusively to any of both, a continuous set C defined by:
(3)
where represents the ith interval of the domain where x(t) is smooth for l continuous trajectories; or the discrete set D:
,(4)
where and stand respectively for the infinitesimals of time just after and before the discrete transition at ti .
Hence, the total hybrid trajectory can be stated as:
. (5)
Such a result is illustrated in Fig. 2 for n = 2. Notice that it graphically explains, by an automaton, the situation depicted previously in Fig. 1. Then, the system jumps from the descriptions of the vector fields and depending on the event occurring at; .
The mathematical representation of HDS introduced here, will be employed in the following to describe the dynamic behavior of a power converter circuit.
3. A Buck type power converter circuit
Fig. 3, shows the general circuit describing a buck DC-DC power converter. The operation of the system can be split in two modes depending on the conduction state of the MOSFET transistor which operates as a switch. Let us first consider the operational mode of conduction (u = 1).
The equivalent circuit is depicted in Fig. 4. As it can be seen, the source applies the power input to the load. Equations (6) and (7) describe respectively, the Kirchhoff's Voltage (KVL) and Current (KCL) laws applied to the circuit, where V 0 represents the output voltage in the load and VL , VC the corresponding to inductor and capacitor devices.
(6)
(7)
In the second mode, the switch is open (u =0) and then the energy stored in the capacitor and the inductor should supply the load temporarily until the next conduction mode occurs. Nevertheless, it is necessary to take into account the influence of the diode into the circuit. Hence, Fig. 5 shows the equivalent circuit when the diode is forward-biased ( iL >0), with eq. (8)-(9) representing its KVL and KCL equations.
(8)
(9)
On the other hand, Fig. 6 shows the non-conduction mode when the diode is reverse-biased. eq. (10)-(11) represent the KVL and KCL equations for the corresponding circuit.
(10)
(11)
Then, after defining as state variables the current of the coil and the voltage of the load , it is possible to formulate a state-space representation of the circuit according to (2) by combining expressions (6)-(11) in the following matrix representation:
(12)
where is the set of initial conditions.
Notice that the signum function sgn(.) includes the discontinuity to the system flow and, therefore, an HDS representation of the model can be achieved easily, shown as follows.
3.1. A set-based formulation for the Buck circuit
The dynamics of the Buck-type power converter circuit depend on the pattern of the PWM signal, given that it provides the time instants where the command input u changes among its binary values.
In a more precise manner, each period T of the PWM signal is composed of an activation interval tON (for u = 1) followed by a gap of inactivity tOOF (for u = 0) i.e.
(13)
Hence, by starting from t =t0, the ith conduction instant can be defined as:
(14)
Also, the jth inactivity event can be stated by:
(15)
In accordance, the continuous set C describing the solution trajectory can be formulated as:
(16)
and equivalently, the discrete events are defined by:
. (17)
In this way, it is possible to express the system flow, or solution trajectory, for the Buck-type converter circuit in eq. (12) by:
(18)
4. On-Off controller as a hybrid system
It is well known, that a proportional control action, defined by:
(19)
where e (t) represents the output error and KP constitutes the loop gain, is the most basic governing law that can be stated in a feedback control system. Moreover, if KP = 1 we have a unit gain negative feedback created naturally after closing the loop.
If KP is increased, the disturbance effects start to vanish and steady-state errors become diminished. In practice, however, the maximum value for this loop gain is constrained by saturation boundaries ( and ) of signal levels as depicted in Fig. 7.
In spite of this, for higher values of the loop gain KP, the controller responses are strong enough to annihilate the error, with a limiting theoretical value of . The latter is the special case usually termed On-Off controller, a situation illustrated in Fig. 8 and described mathematically by:
(20)
An On-Off controller delivers as control action, the maximum energy in a minimum time. There are several examples of practical applications for this kind of controller, including heat and cooling systems, level control and end-position control, among others.
As can be seen from (20), the controller has a discontinuous fashion that can be modelled as an HDS.
4.1. A set-based formulation for the On-Off controller
In accordance with (2), the dynamical representation of an On-Off controller of the form (20) can be stated as:
(21)
for representing the rate of the control signal in terms of variations in i.e.
(22)
Then, by considering that a sgn(.) function can be expressed as the following sum of step functions µ(.):
(23)
equations (20), (22) and (23) can be combined to give:
(24)
by using the fact that the derivative of a step function µ(.) is a Dirac delta function δ(.).
Then, if dynamics of the On-Off controller (21) can be solved in terms of the ordered pair:
(25)
the continuous set C describing the flow path of the system is:
(26)
and the corresponding discrete events D are given by:
(27)
Therefore, the solution trajectory describing the On-Off control action can be stated as:
(28)
4.2. Hybrid formulation of the Buck circuit On-Off controlled
The sets proposed in section 2.1 for the continuous paths and discrete events composing the solution trajectory of hybrid systems, further applied in sections 3.1 and 4.1 to describe dynamics of a Buck-type power converter circuit and an On-Off controller, can be merged here to define the hybrid controlled circuit.
In essence, the two models can be coupled by considering that the time instants governing the commutation changes in the circuit, coincide with the zero crossing of the error signal, i.e. by combining equations (16) and (26), the continuous set C describing the flow path of the controlled circuit is:
(29)
and equivalently, by combining (17) and (26) the discrete events are defined by:
(30)
Finally, the flow-path of the controlled system can be stated by:
(31)
5. Numerical verification of the hybrid models and discussion
The analytic results shown in previous sections have been tested by comparing numerical evaluation of the proposed sets, with results of the commercial circuit simulation package OrCAD-Cadence®.
Figs. 9, 11 show the numerical evaluation in MATLAB® of the data sets given by eq. (18), as solution trajectories of the Buck-type converter circuit, for the parameter values listed in Table 1.
In comparison, Figs. 10, 12 reproduce equivalent results by employing OrCAD-Cadence®.
As can be noticed, the qualitative behavior of the voltage and current signals is replicated in both simulation environments. In particular, a smooth shape for the capacitor voltage is achieved with a peak time around 0.5[s] and a falling slope reaching a steady state regime close to the expected value of 12 [V] near to 3 [ms].
In contrast, the behavior of the inductor current is characterized by a discontinuous shape with an initial lobe followed by a stable average of around 2 [A] starting close to 0.5 [s].
However, there are also qualitative disagreements in the results that can be explained by special features added to the commercial circuit simulator (e.g. temperature dependence, non-idealization of circuit elements), not considered in our simple approach. Nevertheless, the agreement achieved is good enough to validate the correctness of the proposed scheme to model the dynamic behavior of the Buck-type power converter circuit as an HDS.
Now, in order to verify the hybrid model of the On-Off controller, Fig. 13 shows the synthesis in MATLAB® of a control signal u(t) = u(e), obtained by applying a predefined error waveform e(t) to the system.
The same principle is employed in Fig. 14 to reproduce artificially in MATLAB® the output voltage signal of Fig. 9, by numerical evaluation of the data sets given by eq. (31), as solution trajectories of the Buck-type converter circuit when controlled by the hybrid On-Off action.
In such a case, the error signal applied to the controller as input, has a constant frequency and duty cycle values in accordance to the nominal values illustrated in Table 1. A detail of the waveform generated is illustrated in Fig. 15.
6. Conclusions
An HDS can be represented in terms of a trajectory composed of continuous paths linked by discrete events. Those continuous and discrete intervals have been defined by sets including all the possible points in the state-space which, belonging to the system-flow solutions, can be classified as part of one of the hybrid components.
A Buck-type power converter circuit has been shown as an example of HDS in terms of the proposed set-based formulation. Numerical evaluation of the hybrid scheme allowed to verify the agreement for capturing the main dynamical features of the system responses compared with a reference framework given by a commercial circuit simulator package.
The proposed set-based approach has been further employed to define an On-Off controller as HDS. In such a case, the dynamics of the control signal at the output of the system was described in terms of variations on the error signal.
An approximation for the On-Off controlled Buck-type power converter circuit was then performed by merging the individual representations. As a result, the time instants corresponding to the events where the continuous flow of the circuit solution jumps discontinuously to the next continuous interval, correspond with the zero crossings of the error signal applied as input of the controller.
The numerical results obtained with the commercial circuit simulator were replicated by evaluating the set-based formulation of the controlled circuit, constituting a valuable tool in the path to understand the dynamical behavior of discontinuous systems.
It is interesting to notice the way it was possible to express the behavior of the controlled system, as the union of sets describing individually the circuit and the controller dynamics. This can be understood as a new framework that complements existing approaches, such as finite state machines, Petri nets and Markovian models, by defining formal rules scalable onto more complex systems. The potential of the proposed approach can be exploited by exploring the wide possibilities offered by sets theory in order to describe and to formalize continuous and discrete formulations and interactions in between.
A natural evolution for the application case considered is the study of more complex topologies of power conversion systems, including more than a simple converter with more than a simple controller. This is part of the current ongoing work on which the proposed approach is being applied as a way to model hybrid dynamic behavior.
Acknowledgements
The authors acknowledge Universidad Industrial de Santander (UIS) in Colombia for supporting this research under the project VIE-UIS 5568. We also thank Dr. Elder Jesús Villamizar, School of Mathematics-UIS, for his helpful suggestions.
References
Referencias
Goebel, R., Sanfelice, R.G. and Teel, A.R., Hybrid dynamical systems. IEEE Control Systems Magazine, 29(2), pp. 28-93, 2009. DOI: 10.1109/mcs.2008.931718
Logenthiran, T., Srinivasan, D., Khambadkone, A.M. and Aung, H.N., Multiagent system for real-time operation of a microgrid in realtime digital simulator. Smart Grid IEEE Transactions on, 3(2), pp. 925-933, 2012. DOI: 10.1109/tsg.2012.2189028
Aracil, J., Acosta, J.A. and Gordillo, F., A nonlinear hybrid controller for swinging-up and stabilizing the furuta pendulum. Control Engineering Practice, 21(8), pp. 989-993, 2011. DOI: 10.1016/j.conengprac.2013.04.001
Rubaai, A. and Jerry, J., Hybrid fuzzy bang-bang mode controller with switching function for electric motor drives applications. Industry Applications IEEE Transactions on, 50(3), pp. 2269-2276, 2014. DOI: 10.1109/tia.2013.2289998
Derler, P., Lee, E.A. and Vincentelli, A., Modeling cyber-physical systems. Proceedings of the IEEE, 100(1), pp. 13-28, 2012. DOI: 10.1109/jproc.2011.2160929
Sridhar, S., Hahn, A. and Govindarasu, M., Cyber-physical system security for the electric power grid. Proceedings of the IEEE, 100(1), pp. 210-224, 2012. DOI: 10.1109/jproc.2011.2165269
Chen, D., Xu, L. and Yao, L., DC voltage variation-based autonomous control of DC microgrids. IEEE Transactions on Power Delivery, 28(2), pp. 637-648, 2013. DOI: 10.1109/tpwrd.2013.2241083
Boroyevich, D., Cvetkovic, I., Burgos, R. and Dong, D., Intergrid: A future electronic energy network?. Emerging and selected topics in power electronics, IEEE Journal of, 1(3), pp. 127-138, 2013. DOI: 10.1109/jestpe.2013.2276937
Zhou, Y., Li, H. and Liu, L., Integrated autonomous voltage regulation and islanding detection for high penetration PV applications. Power Electronics IEEE Transactions on, 28(6), pp. 2826-2841, 2013. DOI: 10.1109/tpel.2012.2218288
Bai, H., Nie, Z. and Chunting Mi, C., A model-based dead-band compensation for the dual-active-bridge isolated bidirectional dc-dc converter. IEEJ Transactions on Electrical and Electronic Engineering, 6(6), pp. 517-524, 2011. DOI: 10.1002/tee.20690
Angulo-García, F., Olivar-Tost, G. and Osorio-Londoño, G., Generalization of ZAD strategy: An application to a dc-dc buck converter. DYNA, [online]. 78(166), pp. 98-107, 2011. [date of reference April 5th of 2014]. Available at: https://www.researchgate.net/publication/262443788_Generalization _of_ZAD_strategy_An_application_to_a_DC-DC_buck_converter
Saito, T., Kabe, T., Ishikawa, Y., Matsuoka, Y. and Torikai, H., Piecewise constant switched dynamical systems in power electronics. International Journal of Bifurcation and Chaos, 17(10), pp. 3373- 3386, 2007. DOI: 10.1142/s021812740701910x
Heemels, W.P.M.H., De Schutter, B., Lunze, J. and Lazar, M., Stability analysis and controller synthesis for hybrid dynamical systems. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 368(1930), pp. 4937-4960, 2010. DOI: 10.1098/rsta.2010.0187
Lowe, G.K. and Zohdy, M.A., Modeling nonlinear systems using multiple piecewise linear equations. Nonlinear Analysis: Modelling and Control, [online]. 15(4), pp. 451-458, 2010. [date of reference January 25th of 2014]. Available at: http://www.lana.lt/journal/39/Lowe.pdf
Wainer, G. and Castro, R., Demes: A discrete-event methodology for modeling and simulation of embedded systems. SCS Modeling & Simulation Magazine, [online]. 2(2), pp. 65-73, 2011. [date of reference January 14th of 2014]. Available at: http://www.scs.org/magazines/2011- 04/index_file/Files/Wainer&Castro.pdf
Peres-Castañeda, G., Aubry, J. y Brinzei, N., Autómata estocástico híbrido y simulación de montecarlo para la predicción de la seguridad de funcionamiento de un sistema dinámico. DYNA, [online]. 78(165), pp. 276-286, 2011. [date of reference January 23th of 2014]. Available at: http://www.bdigital.unal.edu.co/27777/
Ly, D.L. and Lipson, H., Learning symbolic representations of hybrid dynamical systems. The Journal of Machine Learning Research,
[online]. 13(1), pp. 3585-3618, 2012. [date of reference March 9th of 2014]. Available at: http://www.jmlr.org/papers/volume13/ly12a/ly12a.pdf
Navarro, E.M. and Carter, R., Hybrid automata: An insight into the discrete abstraction of discontinuous systems. International Journal of Systems Science, 42(11), pp. 1883-1898, 2011. DOI: 10.1080/00207721.2010.495189
di Bernardo, M., Budd, C., Champneys, A.R. and Kowalczyk, P., Piecewise-smooth dynamical systems: Theory and applications. IEEE Control Systems Magazine, 28(5), pp. 141-143, 2008. DOI: 10.1109/mcs.2008.929164
Nordmark, A.B. and Piiroinen, P.T., Simulation and stability analysis of impacting systems with complete chattering. Nonlinear Dynamics, 58(1), pp. 85-106, 2009. DOI: 10.1007/s11071-008-9463-y
Cómo citar
IEEE
ACM
ACS
APA
ABNT
Chicago
Harvard
MLA
Turabian
Vancouver
Descargar cita
CrossRef Cited-by
1. Marcelo G. Cendoya, Graciela M. Toccaceli. (2021). Application of Statecharts in Buck-Boost DC-DC Converter Simulation. WSEAS TRANSACTIONS ON ELECTRONICS, 12, p.81. https://doi.org/10.37394/232017.2021.12.11.
2. Luz A. Vega, Carlos Santos, Carlos Borras, Julio A. Florez, Ricardo Alzate. (2020). Bouncing ball trajectory tracking using sliding mode control: a hybrid approach. 2020 IX International Congress of Mechatronics Engineering and Automation (CIIMA). , p.1. https://doi.org/10.1109/CIIMA50553.2020.9290176.
Dimensions
PlumX
Visitas a la página del resumen del artículo
Descargas
Licencia
Derechos de autor 2017 DYNA
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
El autor o autores de un artículo aceptado para publicación en cualquiera de las revistas editadas por la facultad de Minas cederán la totalidad de los derechos patrimoniales a la Universidad Nacional de Colombia de manera gratuita, dentro de los cuáles se incluyen: el derecho a editar, publicar, reproducir y distribuir tanto en medios impresos como digitales, además de incluir en artículo en índices internacionales y/o bases de datos, de igual manera, se faculta a la editorial para utilizar las imágenes, tablas y/o cualquier material gráfico presentado en el artículo para el diseño de carátulas o posters de la misma revista.