Abstract
This paper presents two methods of creating model predictive control (MPC) strategies for efficient real-time control algorithms for power electronics. Two novel methods of performing nonlinear modeling are presented in this research, the first being novel Takagi-Sugeno model, which combines two linear state space models using a membership function to model the nonlinear transitions between operating points. The second method involves using sparse identification of nonlinear dynamics (SINDy), a nonlinear modeling technique that uses L1 regularization of least squares for time-series data to define a parsimonious polynomial function set. This set is used to define the input feature space to extended dynamic mode decomposition (DMD) with control. These models are then used for data-driven model predictive control of a buck switch mode power supply to find the optimal duty cycle that regulates the output voltage over a finite tuned proportional integral derivative (PID) controller. Numerical accuracy challenges are discussed, and strategies are offered for their mitigation.
1 Introduction
Switched mode power supplies (SMPSs) play an integral role in a variety of electronic devices due to their high efficiency and flexible power conversion by modulating the switching duty cycle of voltage-controlled switch. Their complex, nonlinear systems susceptible to several potential failure modes due to component degradation, thermal stress, electromagnetic interference, instability under varying load conditions, overcurrent and overvoltage situations, and potential design errors [1]. Over time, component characteristics can change leading to off-design operation, reduced efficiency, or catastrophic failure. High power levels, electromagnetic interference, and load variations can all lead to degradation that can suddenly destabilize the system if the control loop isn't robust enough [2]. This creates a growing need for robust, accurate, and adaptive control methods for SMPS to ensure reliable performance under varying operating conditions.
With the increase in computational speed and memory, one method that has become more prominent in the field of power electronics is model predictive control (MPC). The MPC method is an optimization problem that uses an explicit model of a dynamic system to predict future behavior over a finite receding horizon. The foundational work in MPC was presented in Refs. [3] and [4], which laid the groundwork for generalized predictive control for industrial processes. Work began to apply MPC methods to DC-DC power supplies in the early 2000s [5]. MPC continues to play a significant role in controlling SMPS devices, with recent research focused on optimizing the implementation of MPC algorithms to further improve the speed and efficiency of SMPS, addressing the tradeoff between control performance and computational demand [6–8].
The MPC method requires adequate models to perform the receding horizon optimization problem and for SMPSs, the primary method is centered around state space average (SSA) models developed by Middlebrook et al. in the 1980s [9] and is still being used to simplify the nonlinear dynamics to create highly efficient control schemes [10]. The SSA method utilizes an infinite slew rate assumption to average the equivalent circuits for the device over each of their respective periods. If the current mode of operation presents a deviation in the equivalent circuit models, then the model would no longer represent the system well. Another solution for modeling power electronics are SPICE models, which use linear equivalent circuit models for a given circuit topology and can include increasing levels of realism, including self-heating effects [11].
The main issue with using these methods is that the SSA method does not model degradation effects of the switch and diode well and it is difficult to include SPICE quality models on on-board control logic. In light of the complexities of accurately modeling environmental and degradation impacts on SMPS, data-driven models integrated into MPC algorithms have come to the forefront [12]. Sparse identification of nonlinear dynamics (SINDy) algorithm, developed by Kaiser et al., provides a means to build nonlinear models from observational data for MPC problems [13]. Simultaneously, Mezic et al. used dynamic mode decomposition (DMD) to generate linear state-space models from fixed interval state data [14], an approach extended by Proctor et al. is able to account for input signals, termed as DMD with control and can reproduce the state and input matrix from a set of measurement states [15]. Further extending this approach to include an unlimited number of derived observables, referred to as extended DMD with control (eDMDc), provides a more flexible framework for high-dimensional data modeling [16].
This research outlines and evaluates two nonlinear, data-driven modeling strategies and their application in MPC for the improved modeling and control of switch-mode power supplies. The first strategy combines Takagi-Sugeno (TS) fuzzy models with logistic functions, adeptly navigating transitions between continuous and discontinuous conduction modes regulated by input voltage and load resistance. The selection of the TS fuzzy models was driven by the need to smoothly transition between continuous conduction mode (CCM) and discontinuous conduction mode (DCM) without abrupt changes. A logistic function was used to facilitate this gradual switch between modes. Regression analysis was employed to fit the logistic hyperparameters using LTSPICE, a powerful and widely-used SPICE-based analog circuit simulator developed by Analog Devices, simulations at different operating points, capturing the transition boundary between CCM and DCM and converting to the most representative model. The second approach harnesses the power of the SINDy algorithm and eDMDc. This combination identifies critical basis functions for a thorough portrayal of system dynamics, formulating a linear model for the MPC optimization problem. By utilizing SINDy to identify a parsimonious higher dimensional features space for the eDMDc, one can combine the power of nonlinear dynamic identification and high-dimensional linear state-space modeling, leading to more accurate, robust, and adaptable control solutions for SMPS systems.
Utilizing real-time system measurements, the proposed methodology provides robust fault tolerant control (FTC), which can adapt to changes in diverse operating conditions and ensuring efficient optimal performance. These two methods were chosen due to their unique ability to address specific challenges in modeling and controlling SMSP. The TS model effectively accounts for nonlinear shifts between CCM and DCM caused by changes in input voltage and load resistance. It blends two linear state-space models using a membership function, capturing nonlinear transitions between operating points, ensuring optimal MPC performance.
The primary contributions of this research lie in the development of MPC. Methodologies for a buck-boost SMPS using data-driven models are created from simulation. The paper introduces two innovative approaches for developing data-driven parametric models that are used to optimize the control strategy over finite receding horizons. The first approach involves a novel TS model, which blends two linear state-space models via a membership function to accurately capture the transition between continuous and discontinuous conduction mode operation. The second approach leverages SINDy, using L1 regularization to identify a parsimonious polynomial function set that represents the nonlinear dynamics of the system. This set defines the input feature space for eDMDc, leading to an efficient and accurate data-driven model. The eDMDc method, combined with SINDy, creates parsimonious parametric models that overcome limitations of Taylor and Padé series approximations. By using L1 regularization to select the most relevant features, eDMDc directly captures the nonlinear dynamics of the SMPS while avoiding the complexity and convergence issues of traditional approximation methods.
Both models are integrated into the MPC framework to find the optimal duty cycle that regulates the output voltage of the SMPS. Their performance is compared against a traditional proportional integral derivative (PID) controller, with simulations conducted using LTSPICE to demonstrate the superior accuracy and efficiency of the developed strategies. By accounting for parametric shifts in the underlying electrical attributes, the developed method has the potential to improve power management, for equipment that rely on SMPSs for precise voltage regulation through MPC using SINDy and eDMDc can reduce energy waste and maintenance costs. By using SINDy to identify a parsimonious polynomial model and eDMDc for accurate nonlinear approximation, the proposed approach handles varying load conditions with greater efficiency and can improve energy efficiency and extend the lifetime of sensitive components by reducing output ripple and ensuring robust and reliable power supplies for uninterrupted service, potentially improving power supply performance across different sectors, such as telecommunications systems, renewable energy systems, and consumer electronics.
In the theory section, the innovative utilization of TS nonlinear modeling is revealed. This unique implementation proficiently manages the transitions in both continuous and discontinuous conduction modes by strategically incorporating logistic functions and considering factors like input voltage and load resistance. The foundational principles and mathematics behind the SINDy algorithm and the eDMDc method are elaborated in detail. These methods, instrumental in generating finite approximations of the critical Koopman operator, enable us to trace the dynamic spatial-temporal state transitions effectively. Following this, the application of MPC to these constructed models is presented. The focus lies in the intelligent design of constraints and cost functions, which ensures optimal control and robust modulation of duty cycles. In the result and discussion section, the report relies on simulation results to verify the effectiveness of the proposed data-driven methodologies. The section further addresses the existing challenges and envisages potential enhancements to improve the efficacy of the data-driven approach to MPC of power electronics. The report concludes by summarizing the key discoveries and insights drawn from the study.
2 Theory
2.1 Background on Switch Mode Power Supplies.
Switched-mode power supplies are the cornerstone of modern power electronics, underpinning a wide array of electronic devices. A SMPS regulates the electrical power output using a switching regulator, effectively converting raw input power to the required level for the load. Among various topologies of SMPS, the buck converter, a DC-to-DC device, is a common choice for stepping down voltage efficiently. Figure 1 showcases the schematic of a buck converter, with equivalent circuit representations of all possible topologies given binary activation.
A buck converter operates in two stages. When the switch (usually a MOSFET) is on, the input voltage is applied across the inductor, causing an increase in current while the diode is reverse-biased. When the MOSFET switches off, the stored energy in the inductor discharges to the load and the capacitor through the forward-biased diode. This dynamic process leads to a square wave of voltage across the inductor, resulting in a smoother current waveform due to the inductor's property of resisting changes in current. The capacitor refines the output voltage by smoothing the high frequency switching noise and providing a more constant DC output voltage.
2.2 State Space Averaging of Buck Switched Mode Power Supplies in Continuous Conduction Mode Operation.
The SSA technique, pioneered by Dr. Middlebrook in the 1980s, is based on averaging the linear state space equations for each of the equivalent circuit models over their respective dwell period over the entire switching period. For the CCM operation, the inductor current stays above zero and the converter exists in either Mode 1 or Mode 2 equivalent circuit models.
2.3 Linearized Small Signal Model.
2.4 State Space Averaging of Buck Switched Mode Power Supplies in Discontinuous Conduction Mode Operation.
In the DCM, the inductor current falls to zero during each switching cycle. Initially, when the switch is turned on, the inductor current rises from zero to a peak value. However, when the switch is turned off, the current in the inductor decreases, eventually reaching zero. At this point, no current is delivered to the load until the start of the next switching cycle. This zero-current period is important for achieving low losses and high efficiency in light load conditions.
and output filter capacitor voltage, .
2.5 Buck Switched Mode Power Supplies Built in LTSPICE to Create Realistic Power Converter Data.
An LTSPICE circuit used for simulation can be seen in Fig. 3 . The simulation was used to model a buck circuit and compare the different modeling and control methodologies.
2.6 Data-Driven Method of Combining Continuous Conduction Mode and Discontinuous Conduction Mode State Space Average Models Using Takagi-Sugeno Method.
Takagi-Sugeno (TS) fuzzy systems provide a data-driven modeling approach that integrates local linear subsystems according to the inputs' fuzzy sets. For a SMPS, a TS model can be created by assigning fuzzy sets to parameters such as load resistance and input voltage that blends the CCM and DCM linear models, leveraging a logistic function to gauge the proximity to the CCM-DCM boundary. This boundary is defined by the critical inductance, LC, where the inductor current reaches zero at each switch cycle's end, as described by Eq. (1).
The constant, α, ensures the exponent is between 0 and 1 and, ΔL = LC − L, where L is the converter inductance and LC is the critical inductance found using equation BCM.
2.7 Koopman Operator Approximation Using Extended Dynamic Mode Decomposition With Control.
The nonlinear basis functions lift the Koopman operator by moving from a finite-dimensional state space, made up of state variables, to a functional space, made up of potentially infinite observable functions of the state variables. Since the operator is linear, by truncating the basis functions, approximations of the Koopman operator can be acquired with incrementally decreasing error.
This method is called extended Dynamic Mode Decomposition (eDMD) and involves collecting extended basis features that represent snapshots of pairs of measurements that show how the dynamics evolve over time, (x[k], x[k + 1]) for k ∈ {1, 2, …, j}, where k is the index of the observation taken over consistent time increments. The state variable, x, is a set of nonlinear real-valued functions, , that make up the set of observables, .
2.8 Sparse Identification of Nonlinear Dynamics.
where λ is the sparsity constraint of the predictor variables of the k-th row of the predictor variables, . The terms identified by are used to truncate the infinite basis functions, , which act on the Koopman operator to approximate the dynamics within tolerable accuracy.
2.9 Proportional Integral Derivative Control.
2.10 Model Predictive Control.
The in the constraints signifies a sequence of duty cycle control inputs over the prediction horizon of N time increments, where k ∈ {0, 1, …, N − 1}, Vref is the desired reference voltage, and λ is a weighting factor that trades off on tracking performance and control effort.
2.11 Performance Calculations.
3 Results and Discussion
The traditional modeling techniques of state space averaging do not address the bifurcation between CCM and DCM in state space. This research combined state-space models for both conditions using the TS framework and evaluated them with RSME over the input voltage and load resistance range. The LTSPICE simulation was run at multiple operating conditions using a Latin hypercube sampling routine to sample the input voltage, Vin, load resistance, RL, and duty cycle, d, using piecewise linear look-up tables programed into the transient simulation response. The data were used as training data input for the SINDy, eDMDc system identification routines, and identifying the shape parameter, α, in the TS method. The results of the findings are presented below.
3.1 Sparse Identification of Nonlinear Dynamics Parametric Model Results.
To gain interpretability into the model and understand which features are most dominant and should be included in the extended features of observables, the SINDy approach was used, outlined in theory section. To evaluate the different extended features in the polynomial expansion of the state and input data, the scaling of the different relationships had to be standardized. Normal noise of zero mean and one standard deviation was added to each signal collected from the output response of the LTSPICE program and the data was standardized and used as features into the 100 iterations of the SINDy program. The coefficients value distributions were collected and assembled into Fig. 4.
3.2 Extended Dynamic Mode Decomposition With Control Model Results.
The quadratic feature, d2, presents the most difficulty in terms of solving the constrained optimization problem, and from Fig. 4, the coefficient of the standardized features has a low weighting value. By discarding the d2-parameter, along with any state-input interactions for inclusion into the extended features used to perform the eDMDc, the MPC optimization problem remains convex, and will not have a problem with local minima.
3.3 Model Time-Series Results.
To compare the different models to the actual time-series data generated from LTSPICE, time-series plots were generated for a buck SMPS in CCM and DCM operation, found in Figs. 5 and 6, respectively, using parameters for the models found below in Table 1.
Nomenclature | CCM value (Unit) | DCM value (Unit) |
---|---|---|
Inductance, L | 50 μH | 50 μH |
Capacitance, C | 10 μF | 10 μF |
Load resistance, RL | 40 Ω | 5 Ω |
Input voltage, Vi | 20 V | 20 V |
Frequency, f | 100 kHz | 100 kHz |
Duty cycle, D | 0.5 | 0.5 |
Nomenclature | CCM value (Unit) | DCM value (Unit) |
---|---|---|
Inductance, L | 50 μH | 50 μH |
Capacitance, C | 10 μF | 10 μF |
Load resistance, RL | 40 Ω | 5 Ω |
Input voltage, Vi | 20 V | 20 V |
Frequency, f | 100 kHz | 100 kHz |
Duty cycle, D | 0.5 | 0.5 |
The time response for the CCM condition for the LTSPICE circuit and the state space, SINDy, and eDMDc models is found in Fig. 5, and shows the TS model doing well at capturing the output voltage. The data-driven models are trained on limited averaged data and will not show the ripple characteristic of the LTSPICE behavior and may be less likely to fit specific operating points in favor of generalizing the global behavior. The SINDy and eDMDc models are also limited in that were restricted from using terms that reflect state-input interaction which may explain why they did not perform well compared to the TS model.
For the time response modeling of the DCM case, the eDMDc method did the best at modeling the output voltage, with exception of not all the transient characteristics being accurately portrayed, which is essential to accurately predicting the phase response. The shape parameter for the TS method was found qualitatively to be around α = 0.3. The eDMDc, TS, and DCM SSA method models the transition from CCM to DCM by accurately modeling the inductor current phenomena in both the CCM and DCM case, which is something the individual DCM CCM models built from the analytical state space fail to do.
Overall, it seems that both the eDMDc and TS models would make good candidates for applying the constrained MPC method to the SMPSs.
3.4 Control System Verification Comparison of Tracking Error Over Time.
To compare the two data-driven modeling MPC approach with another recognized efficient method of closed-loop feedback control, a PID controller was formulated to make duty cycle corrections. The PID gains were tuned at an operating point of Vin = 20 V and RL = 20 Ω and were found to be KP = 0.01, KI = 0.001, KD = 0.01.
The λ -value associated with Eq. (19) of the MPC algorithm was found to be λ = 10−30 for the eDMDc method and λ = 10 for the TS method. The eDMDc and the PID methods are both comparable at the operating point, with the eDMDc method having slightly better response, where-as the TS had much larger overshoots in the corrections and seemed to be reacting to the noise of the converter caused by the switching, and nonideal input filter capacitor and output filter capacitor (Fig. 7).
3.5 Comparison of Root-Mean-Square Error and Efficiency, η, Over Different Operating Conditions.
The developed models were specifically designed to handle a broad range of parameter variations, as demonstrated by evaluating the RMSE and efficiency across a wide operating range of 0–95 ohms load resistance and 0–100 volts input voltage. During data simulation, a 10% white noise signal was added to the input voltage to test robustness against noise. Smoothing functions were applied to the data to mitigate signal noise, ensuring that the models could maintain accurate performance even under noisy conditions. To compare the two data-driven modeling methods, TS and the eDMDc method both were used in the MPC algorithm, and the response control signals were used as input into incremental LTSPICE simulations. The RMSE was evaluated using Eq. (20), and heat maps of the results were prepared in Fig. 8. Overall, the MPC and PID method were able to compensate the output voltage with a small amount of error over a similar range of output voltages and load resistances and tend to go unstable within the same regions. Loads above RL = 70 Ω cause the eDMDc tracked output voltage response suddenly go to zero. The TS method only shows low error around one load setting for the input voltage settings.
The efficiency was also evaluated using Eq. (21), and heat maps were generated from the results prepared in Fig. 9. Overall, the MPC-eDMDc method shows more efficiency over larger region of input conditions compared to the PID compensator. The MPC-TS method showed high efficiency at only one point in the envelope that overlapped low RSME error, which was at the RL = 20 Ω, Vin = 20 V.
3.6 Discussion.
The results show that the MPC-eDMDc method can be used to create a robust compensation scheme for a buck SMPS, given there is enough data to model the necessary operating points. The TS method requires less data in that it is built from existing domain knowledge concerning the detail of the SSA models, more work is required to map the membership functions to account for the DCM to CCM transition.
Sparse identification of nonlinear dynamics model results were limited to the fact that the state-input interactions were discarded to be able to form the augmented least squares optimization problem required for the control problem, seen in Eq. (20). More work needs to be done to include more times of features into the state embedding. Time delay embedding and state derivative embedding offer good possibilities to maximize the impact of the SINDy feature selection routine by increasing the dimensionality and including spatiotemporal information to further extend the state features.
The MPC-eDMDc method performed well at improving the LTSPICE model time-response. While not having a high efficiency compared to current benchmarks [10], the purpose of this research was to apply novel data-driven approaches to improve upon existing SMSP devices, without the need to perform laboratory testing to determine the hidden electrical attributes. With a lower RMSE and higher efficiency in certain areas of the envelope, the MPC-eDMDc method does outperform the PID controller, but the PID controller is able to regulate a larger swath of input states and more work needs to be done to improve the model predictive approach at these points. In terms of accuracy, the MPC method outperformed the traditional PID controller at lower load ranges but declined at higher loads. The TS model worked within a narrow load resistance range, while the PID controller had a broad accuracy range across 0–100 ohms load resistance and 0–100 volts input voltage. The SINDy algorithm, combined with eDMDc, provided accurate nonlinear modeling without relying on specific operating points. The eDMDc-MPC method of controlling the buck boost SMPS demonstrated slightly higher computational efficiency than the PID controller for most parts in the operating envelope.
3.7 Contributions.
The main contribution of this research is a novel approach to data-driven modeling of SMPSs produced by employing SINDy eDMDc for feature extraction and model building. This technique demonstrates the potential for capturing the nonlinear dynamics of SMPS, particularly being able to model the transition between CCM and DCM operation and model the complex influence of internal parasitic elements without complicated analytics, which is a significant advance in developing methods to account for parameter shift degradation problem with minimal changes in the circuit topology and only using output voltage and inductor current as input variables.
The method that was developed performs optimal and robust duty cycle modulation in real-time, based on the SINDy, eDMDc, and TS predictive models using historical data. This allows for proactive management of system behavior based on predicted parameter shifts to achieve a robust FTC. This demonstration of a novel methodology for FTC in SMPS is a significant achievement that can greatly improve system reliability, and lead to greater energy efficiency and stability.
3.8 Recommendations for Future Work, Improvements, and Potential Applications.
One main area of interest in improving upon this specific case study would be to use a functional approach to collecting the training data. This would help surpass the low-data limit necessary for the data driven methods to work by allowing for relaxation of sampling schemes.
Deep learning methods present a lot of benefit in terms of creating highly accurate models, but these models are opaque in how they make decisions. It has been shown that reducing the size of a neural network to a level comprehensible to humans by handcrafting input features to provide more interpretable models while retaining the same predictive power [18]. This route can also be explored to define the predictive models used in the MPC routine.
To improve the TS routine, more detailed CCM and DCM models can be created by including parasitic impedances. Another approach that could improve the MPC-TS method is to perform a practical assessment of critical inductance for a given SMSP topology at the DCM CCM boundary instead of relying on Eq. (1), derived for an ideal converter. These additional considerations would lead to a more accurate model, and better predicted feedback compensation when applied to the MPC method.
4 Conclusion
In this study, we have taken an innovative approach to optimize SMPSs by utilizing data-driven methods, particularly eDMDc and SINDy, in conjunction with MPC. Our approach has the unique advantage of capturing and modeling the complex nonlinear dynamics of SMPS, particularly at the transition between CCM and DCM, which is often a challenge in conventional methods. By doing so, we have significantly improved the potential for robust FTC, leading to improved system reliability, enhanced stability, and superior energy efficiency. Despite the challenges associated with data intensiveness and the need to refine the SINDy and TS models, our research represents a substantial stride forward in SMPS modeling. Our findings suggest promising pathways for future work, which include refining data collection techniques, improving model precision, and expanding the capability of the MPC approach.
Data Availability Statement
The datasets generated and supporting the findings of this article are obtainable from the corresponding author upon reasonable request.