1. Introduction
The continuous growth and development of smart grids, as well as the distributed generation unit’s proliferation, heterogeneous in their source, has been increasing the electrical power systems complexity [
1,
2], changing its behavior, having been passive and static, and now becoming more active and dynamic [
3]. As a result, there has been an increase in connected power electronics-based devices to maintain the electrical power systems’ stability and power quality providing acceptable voltage levels, harmonic distortions, minimum supply interruptions, and minimum power losses, thus limiting their vulnerability and improving their reliability [
4]. In addition to the power electronics-based devices, a significant improvement in communication, control, and information systems should also be performed to accomplish smart grid functionalities applied to electrical power systems.
Among the engineering solutions presented to modernize electrical power systems, the use of the mathematical tool known as graph theory is widespread. In a simplified way, the graph theory was initially proposed by Euler in 1736 as a solution to the problem of Königsberg’s seven bridges and referred to the study of relationships between objects of a given set [
5]. The graph theory representation greatly facilitates the development of almost intuitive algorithmic rules [
6]. Thus, the correspondence between each element provided by such a theory is similar to many kinds of engineering systems, being able to provide solutions that can be applied in problems related to information systems [
7], electrical power systems [
8], communication systems [
9], and others [
10,
11].
More specifically, in the electrical power systems branch, graph theory helps to solve several problems through graphical representations, called graphs, facilitating the visualization and converting the behavior of certain systems [
8].
For example, in [
12,
13], graph theory is used to calculate the impedance matrix through nodal and branching analysis for fault current determination. In [
14], the authors proposed a new method for allocating losses for hybrid electricity market using a system behavior loop-based representation using graph theory concepts. In [
15], a graph representation was used to deal with self-healing algorithms applied to automated distribution grids. In [
10], a graph analysis was performed to guarantee optimal phase measurement unit (PMU) placement for complete system observability.
In addition, graph theory also can be used in power flow estimations for three-phase unbalanced distribution grids [
16], power distribution grids reinforcement against voltage sags [
4], and aids in autonomous decision making, utilizing topological properties of radial grids [
15]. Furthermore, graph theory can also be used in power electronics-based devices, for optimal power flow control in transmission systems with Flexible AC transmission systems (FACTS) [
17] and energy balance in multi-input and multi-output buck-boost converters [
18].
Recently, also for power electronics-based devices, some researchers proposed the use of graph theory for mapping all the possible switching states of multilevel converters, applied to motor drive [
19], static synchronous compensation (STATCOM) [
20,
21], and solid-state transformers (SST) applications [
2]. In fact, these works use the semiconductor switches to map all existing current paths, identifying prohibitive states, resulting in a switching matrix containing only the possible device combinations. However, these works only present the graph theory application results, for example, the prohibitive states matrix, combined with a model-based predictive control (MPC), to suppress short circuit states inherent to the studied topologies.
Thus, this research paper presents in detail the graph theory methodology applied to multilevel converters for mapping the possible switching states. Cascaded multilevel converters with a back-to-back configuration (CHB-B2B) in different arrays such as input-parallel output-parallel (IPOP), input-parallel output-series (IPOS), input-series output-parallel (ISOP), and input-series output-series (ISOS), are adopted to show the proposed methodology’s scalability. The dynamic CHB-B2B equations and the MPC strategy developed by the authors are also presented in this research paper. The simulation results in the Simulink/MatLab platform and real-time experimental results obtained in a hardware-in-the-loop (HIL) platform demonstrate the proposed strategy’s effectiveness.
The paper is structured as follows:
Section 2 presents the short circuit limitation of the cascaded multilevel converters with a back-to-back configuration (CHB-B2B). The proposed graph theory methodology for mapping the possible switching states is detailed in-depth in
Section 3, and a brief review of the MPC principles is approached in
Section 4.
Section 5 details generalized modeling for multiple CHB-B2B converter modules, while
Section 6 presents the simulation results in the Simulink/MatLab platform for a 4-modules CHB-B2B in four different arrays.
Section 7 presents the real-time experimental results of the Typhoon HIL platform for a 2-modules CHB-B2B in four different arrays, followed by the conclusions in
Section 8.
2. Cascaded Multilevel Converters with a Back-to-Back Configuration (CHB-B2B)
The use of equipment based on multilevel converters has developed in a consistent and promising way, developing various equipment, such as back-to-back converters for driving motors or static loads connection; solid-state transformers (SST) for connecting a wide variety of energy sources and grid power flow control; unified power quality conditioners (UPQC) to actively improve the power grid quality; static synchronous compensation (STATCOM) for reactive power compensation, stability improvement, harmonic mitigation, power factor control; and others [
19,
22,
23,
24,
25].
Furthermore, the increase in voltage levels due to the greater demand for electrical energy has increasingly required the use of multilevel converters to enable direct connections to the medium voltage grid without exceeding the semiconductor switches’ constructive limits. However, the converters’ structural complexity increases considerably with the rise in their voltage levels, making their design and especially their control more difficult.
Figure 1 graphically illustrates the number of the components by voltage levels ratio evolution of classical multilevel converter topologies, namely diode-clamped multilevel converter (DCMC); capacitor-clamped multilevel converter (CCMC); modular multilevel converter (MMC); and cascaded H-bridge multilevel converter (CHB). As can be seen in
Figure 1, the CHB topology can achieve higher voltage levels with fewer components (it is considered a half-bridge configuration for MMC topology). Furthermore, due to its modular structure, the CHB enables straightforwardly the additional of series cells connection if an output voltage increase is required without any need for including clipping circuits [
26].
Figure 2 shows a single-phase CHB multilevel converter with three B2B modules, composed of six H-bridge cells, with an input series and output-parallel (ISOP) arrays. Other arrangements are developed in
Section 5 to demonstrate the proposed graph theory methodology scalability.
The CHB-B2B structure presents singularities regarding the control strategies used, such as the impossibility to drive this topology through conventional pulse width modulation (PWM) due to the appearance of several internal short circuit states, as highlighted in
Figure 2. For example, for the 3-modules CHB-B2B in the ISOP array, the converter has 24 semiconductor switches, totaling
different switching states (4096), of which 104 switching states are valid and do not generate internal short circuits, representing approximately only 2.5% of the converter total switching states. This limitation corroborates the importance of developing an automatic methodology for mapping all the prohibitive converter states. Thus, the proposed mapping graph theory methodology is addressed in
Section 3 to support the MPC strategy used to control the CHB-B2B converter.
3. Graph Theory Methodology for Mapping the Possible Switching States
As mentioned, a CHB-B2B structure applied as a static converter to achieve some control objective may generate internal short circuits according to the switching performed, making it necessary to find out in which switching states this event is observed. This can be done from a circuit visual inspection. However, the bigger it is, the greater the complexity of this task. Moreover, it is not possible to know whether all the prohibitive states have been found, making this strategy inefficient and doubtful. Hence, an efficient alternative solution that arises to this question is the use of graph theory.
A graph is a mathematical structure used to model relationships between objects of a certain set and is defined as
, in which
V is a non-empty finite set of elements denominated as vertices, and
E is a set of subsets
, where
u,
v V are denominated as edges. A graph can be directed or not, in which for the first case, the edges will consist of ordered pairs called arcs. Thus, an
arc will be directed from
u (head) to
v (tail). From a graph, it is possible to trace paths, which can be informally defined as a sequence of vertices and edges, without repetition. A path that does not have loops, orientation and multiple edges is defined as simple. A path that starts and ends at the same vertex consists of a cycle. However, a graph that does not fulfill this condition is called acyclic. In the case that in a graph there is at least one path that interconnects any pair of its vertices, it is called a connected graph. If this same graph is acyclic, it will consist of a tree [
27].
In the graph theory universe, some algorithms can be used to trace specific paths. Among them, breadth-first search (BFS) appears as an option to find all possible simple paths from one vertex to another. This algorithm is used for either directed or undirected graphs, and briefly, its working principle consists of the following: starting from an origin vertex
u, the BFS algorithm explores systematically the edges of a graph to find all other vertices that are reachable from vertex
u and computes the distance between them. The algorithm produces a
u-origin tree that contains all reachable vertices. For each vertex
v attainable from the origin vertex
u, the simple path that connects these two vertices in the obtained tree will also consist of the shortest path that connects these elements in the analyzed graph [
28].
Considering electrical nodes as vertices, and electrical switches as edges, a CHB-B2B electrical circuit can be modeled as a connected and undirected
G graph [
29] (
Figure 3) for a namely 3-modules CHB-B2B in ISOP array (
Figure 2), where the vertices of the resulting graph are highlighted (
). The list of edges of the formed graph and a correlation of these with the static switches are presented in
Table 1. As can be observed, three paths are tracked in
Figure 3. The red one corresponds to the short circuit highlighted in red in
Figure 2. The others, in blue, correspond to distinguish paths that form the short circuit highlighted in blue in
Figure 2.
To find all the converter prohibitive switching states, initially, the conditions that can lead to a short circuit must be defined, which are as follows: the terminals of each capacitor become shorted (as highlighted in red in
Figure 2), and the opposite terminals of a group of capacitors become connected (as highlighted in blue in
Figure 2), which implies a ring with series connections of these capacitors. This results for the topology are used as an example, in the interconnections between capacitors, as it is shown in
Figure 4. Thus, by finding simple paths in a graph that interconnect vertices which represent both terminals of a capacitor ([
], [
], [
]), it is possible to visualize part of the prohibitive switching states, which results in circuits like the ones highlighted in
Figure 4a–c. The other part of the prohibitive switching states is obtained by joining disjoint paths (paths that do not share any vertex) that interconnect different pairs of opposite terminals for any number of capacitors ([
], [
], [
], [
], [
], [
]). These paths must be disjointed because an electric current flows “from one vertex to another”, without repetition. Thus, vertex sequences [
], [
], [
], [
] and [
] can be formed, which will have the same meaning of circuits as the ones highlighted in
Figure 4d–h, respectively.
All these paths can be found using a modified BFS algorithm. However, the algorithm should be able to ignore paths that represent obvious short circuits, such as those that occur when two switches of the same H-bridge’s leg are turned on. This condition itself is ignored by the converter control law, which should interlock these switches, limiting the sample space of the switching possibilities, reducing it to states, where L is the number of legs in the converter topology.
The biggest challenge that emerges from this task is to check all possible combinations that form the mentioned ring with a series capacitor connection, which increases exponentially, as there is an increment in the number of the capacitors. A short circuit could occur with two, or as many capacitors the topology has, and their position into the series connection could be permuted, with each representing a different converter switching state. To solve this issue, a possible solution is to apply an abstraction that models a new directed graph named
H, in which vertices consist of a representation of terminals’ pairs from different polarities and capacitors (
). Notably, each of these
H vertices correspond to a set of traced paths that interconnect the
G graph vertices. Meanwhile, the edges will interconnect vertices whose negative terminal on the first corresponds to the same capacitor as the positive terminal of the second vertex (e.g., [
]), as shown in
Table 2 for 3-modules CHB-B2B in the ISOP array.
Figure 5 presents the resulting
H graph.
Finally, all possible combinations of interconnection between the capacitors are obtained using BFS from the tracing of some possible paths that respect certain laws. Each path must have a source
u and a target vertex
v in which the positive terminal index of the representation of a vertex
u coincides with the negative terminal index of the representation of a vertex
v (e.g., [
]), as shown in
Table 3 for the 3-modules CHB-B2B in ISOP array. However, not all possible paths found generate only one short circuit possibility for series-connected capacitors. Indeed, there are some restrictions, such as paths being unable to have vertices with the same positive terminal index in the corresponding interconnection (e.g.,
and
). Moreover, paths cannot have vertices that have the same negative terminal index (e.g.,
and
) in the corresponding interconnection. These restrictions are necessary, as they represent interconnections between capacitors with multiple short circuits and would only consist of unnecessary redundancies. Two cases in which this situation occurs in the
H graph are highlighted (in red) in
Figure 6, where the connection between the vertices
with
is performed.
Figure 7 elements show the possible paths (in blue) that can be traced with the BFS algorithm for the 3-modules CHB-B2B in the ISOP array. It can be highlighted that
Figure 7a,e represent the same capacitors interconnection, and the same thing occurs for other
Figure 7 elements, such as
Figure 7b,g,j;
Figure 7c,f,k;
Figure 7d,i; and finally,
Figure 7h,l. Relating all the paths shown in
Figure 7 with
Figure 4 elements, it can be observed that the elements
Figure 7a–d,h represent the connection conditions of
Figure 4d–h, respectively.
As discussed, with the results obtained from paths traced in the H graph, each vertex of these paths corresponds to a set of paths traced in the G graph, which can be combined to obtain a physical path of the electric current that represents a state of the short circuit in the converter. For each finally obtained path, the union of consecutive vertices to be visited corresponds to an edge, which has the physical meaning of a static switch with an state. The edges that are not part of the analyzed path have an indeterminate state, being able to assume and values. Thus, a converter’s prohibitive switching matrix containing all the prohibitive switching states of the converter can be formed and used to obtain the valid converter switching matrix from a matrix containing all possible switches.
Figure 8 presents a flowchart overview of the proposed strategy to obtain the desired converter switching matrix.
4. Model Predictive Control (MPC)
Model predictive control, initially introduced in the process industry in the 1970s, addresses a broad concept, consisting of predicting all system future states in a given time horizon, based on a mathematical model [
30,
31,
32,
33,
34]. An optimized control action is then chosen to minimize a function that is based on a reference and predicted states, also known as a cost function. The use of MPC in power electronics began in the 1980s in low switching frequency applications since higher switching frequencies require more complex calculations due to the fact that cost function optimization requires a lot of computational effort, which was not available at that time [
30,
31,
35,
36]. It was only from the 1990s onwards that this technology had a leap of development due to the great technological advance of microprocessors capable of performing a large number of mathematical operations. Thus, the interest in using the MPC in applications with previously unfeasible high switching frequency has intensified, gaining the attention of power electronics researchers. Furthermore, the MPC is a simple and intuitive way to control the converters, being capable of dealing with multivariable goals, with good controllability, fast dynamic response, and the capacity to incorporate, in a straightforward way, nonlinearities and constraints into the control law [
37]. MPC is divided into two classes regarding the optimization problem nature, as shown in
Figure 9.
Due to the discrete characteristics of power electronics applications, the finite control set MPC (FCS-MPC) makes their implementation simpler since it does not require modulation techniques to act on the converter [
30,
37,
38]. The optimal switching vector MPC (OSV-MPC) was the first predictive control strategy adopted in power electronics applications and is still the most widely used today due to its low implementation complexity and rapid dynamic response. However, as a disadvantage, this class presents a variable switching frequency. Nevertheless, some studies aim to minimize the frequency harmonic spectrum dispersion by incorporating specific goals into the cost function [
38,
39].
Power electronics-based systems have as their main characteristic the finite number of switching states, so in power electronics converters, the control action is limited to the set of switching states possible in the converter, making the MPC an option that is feasible and easy to implement. Its cost function is directly associated with the controlled variables set.
At each sampling time, the microprocessors perform various calculations and predict the variables future for each possible switching state based on the predictive model, measurements and system states. Then, the switching state with the lowest cost is applied to the converter. Thus, this control technique is intrinsically linked to the switching process, dispensing the use of a modulation technique.
Although the MPC is an open-loop optimization algorithm, when repeated at each sampling time, it behaves like a feedback loop control based on optimization, making its dynamic response quick in the face of reference variations or disturbances [
30].
6. Simulation Results for 4-Modules CHB-B2B
After defining the discrete equations for each topology of the CHB-B2B, the values of the converter’s elements must be projected to perform OSV-MPC. Initially, based on a 4-modules ISOS CHB-B2B topology, electrical grids having 1440 V peak voltage are considered. Therefore, the nominal value for the DC-links can be obtained from the division of the grid voltage and the number of converter modules (
= 360 V), considering a modulation factor
, according to Equation (
23). In this research paper, a 4/5 is considered since a minimum 3/4 modulation factor is necessary to obtain the nine voltage levels of this topology [
42].
Thus, a 450 V is achieved for the DC-links voltage value, and it is used for all other CHB-B2B configurations (IPOP, ISOP, and IPOS). However, due to the limitations of these configurations caused by the smallest number of possible switches, a modulation factor of 2/3 is considered, in order to obtain a “slack” for the converter, resulting in a value of equal to 300 V.
The next step is to define other parameters, such as the switching frequency , the power demanded by the converter and the grid frequency , for which , and values are respectively considered. Different switching and grid frequency values for each side of the converter could be considered.
For parallel connection sides, the value of
should be considered as the peak voltage of the connected grid since the converter is limited to three voltage levels as discussed (
). For mixed series/parallel configurations (ISOP, IPOS), due to the serial connection being limited to five levels, a value of 2
is considered as the peak voltage of the connected grid (2
). Finally, using Equations (
1)–(
4),
Table 5 can be constructed, which shows the values of the converter elements for different configurations of a 4-modules CHB-B2B example.
6.1. 4-Modules CHB-B2B Simulation Results
From the dimensioning performed and presented in
Table 5 for different configurations of 4-modules CHB-B2B converters, the graph theory application as a solution to obtain the switching matrix of these converters can be validated. The steady-state performance of the OSV-MPC control systems presented in this section is verified via simulation, through the Simulink/Matlab computational platform, to confirm the non-occurrence of internal short circuits in the converter and that the control objectives are reached.
6.1.1. 4-Modules ISOS Configuration
The results of the 4-modules ISOS CHB-B2B topology are presented below, in which the steady-state behavior of the currents on the primary (
) and secondary sides (
), DC link voltages (
) and the switching voltages on the primary (
), secondary (
) of each converter module (
) are highlighted. As can be seen in
Figure 15a,b, the converter can synthesize the expected nine voltage levels, both on the primary and secondary sides. It is also verified that each module presents a variable switching frequency, without a defined pattern.
Figure 15c shows that the DC-links could be tuned to nominal values, as compared to the
reference, which is essential for the correct control operation. However, as CHB does not have natural three-phase characteristics, the DC-links voltages present an oscillation with the double of the fundamental grid frequency (50 Hz) [
20]. In
Figure 15c, a maximum 2 V (0.44%) oscillation in the magnitude is observed, which conforms to the DC-link design requirements (4.5 V).
The currents in the primary and secondary of the converter are verified in
Figure 15d,e, respectively. As can be seen, they satisfactorily follow the
and
references and are in phase with the
and
grid voltages, making the converter power factor unitary. A maximum 0.2 A (1.44%) oscillation in
is obtained, while for
, a 0.14 A (1%) value is observed, which conforms to the filter design requirements (0.69 A). Finally, it can be concluded that the control system operates properly, making it possible to affirm that the used converter switching matrix eliminates all the prohibitive switching states.
6.1.2. 4-Modules IPOP Configuration
The results of the 4-modules IPOP CHB-B2B topology are presented below, in which the steady-state behavior of the currents on the primary (
) and secondary sides (
), modules’ currents (
), DC link voltages (
) and switching voltages of each converter module (
) are highlighted. As can be seen in
Figure 16a,b, the converter can synthesize only three voltage levels, both on the primary and on the secondary sides, as it is expected. It is also verified that each module presents a variable switching frequency, without a defined pattern.
Figure 16c shows that the DC-links could be tuned to nominal values. Compared to the
reference, a maximum 2.5 V (0.55%) oscillation in the magnitude is obtained, which conforms to the DC-link design requirements (4.5 V). The currents in the primary and secondary of the converter are verified in
Figure 16d,e, respectively. As it can be seen, they satisfactorily follow the
and
references and are in phase with the
and
grid voltages, making the converter power factor unitary. Each primary module’s currents which constitute
are the same and they are superimposed on the graph. The same thing happens for the currents that constitute
.
A maximum of 2.15 A (3.25%) oscillations in and current components are observed, which conforms to the filter design requirements (3.33 A). Finally, the control system operates properly, which affirms that the used converter switching matrix eliminates all the prohibitive switching states.
6.1.3. 4-Modules ISOP Configuration
The results of the 4-modules ISOP CHB-B2B topology are presented below, in which the steady-state behavior of the currents on the primary (
) and secondary sides (
), secondary modules’ currents (
), DC link voltages (
) and switching voltages on the primary (
) and of each converter module (
) are highlighted. As can be seen in
Figure 17a,b, the converter can synthesize only five voltage levels as expected, on the primary side. On the secondary side, due to the parallel connection, only five voltage levels are synthesized. It is also verified that each module presents a variable switching frequency, without a defined pattern.
Figure 17c shows that the DC-links could be tuned to nominal values, as compared to the
reference, with a maximum 3.5 V (0.77%) oscillation in the magnitude, which conforms to the DC-link design requirements (4.5 V). The currents in the primary and secondary of the converter are verified in
Figure 17d,e, respectively. As it can be seen, they satisfactorily follow the
and
references and are in phase with the
and
grid voltages, making the converter power factor unitary. Each secondary modules’ currents which constitute
are the same, and they are superimposed on the graph.
A maximum of 0.27 A (0.81%) oscillation in is obtained, while for current components a 1.08 A (1.62%) is observed. This conforms to both filter design requirements ( = 1.67 A and = 3.33 A). Finally, it can be concluded that the control system works properly, making it possible to affirm that the used converter switching matrix eliminates all the prohibitive switching states.
6.1.4. 4-Modules IPOS Configuration
The results of 4-modules IPOS CHB-B2B topology are presented below, in which the steady-state behavior of the currents on the primary (
) and secondary sides (
), primary modules’ currents (
), DC link voltages (
) and switching voltages on the secondary (
) and of each converter module (
) are highlighted. As can be seen in
Figure 18a,b, the converter can synthesize only five voltage levels as it is expected, on the secondary side. On the primary side, due to the parallel connection, only three voltage levels are synthesized. It is also verified that each module presents a variable switching frequency, without a defined pattern.
Figure 18c shows that the DC-links could be tuned to nominal values. When compared to the
reference, a maximum 3.88 V (0.86%) oscillation in the magnitude is obtained, which conforms to the DC-link design requirements (4.5 V). The currents in the primary and secondary of the converter are verified in
Figure 18d,e, respectively. As can be seen, they satisfactorily follow the
and
references and are in phase with the
and
grid voltages, making the converter power factor unitary. Each primary module’s currents which constitute
are the same, and they are superimposed on the graph.
A maximum of 2.12 A (3.18%) oscillation in current is obtained, while for , a 0.28 A (0.84%) is observed. This conforms to both filter design requirements ( = 3.33 A and = 1.67 A). Finally, it can be concluded that the control system works properly, making it possible to affirm that the used converter switching matrix eliminates all the prohibitive switching states.
6.2. Hybrid Configurations
As discussed, and analyzing
Table 5, the ISOP and IPOS configurations for topologies with more than two modules do not allow the synthesis of more than five voltage levels for the side connected in series, due to the switching states that generate short circuits in the converter, making it impossible to take advantage of all the levels. A solution for this, keeping the characteristics of these topologies, is to divide the parallelism into pairs of modules connected in parallel. Thus, all levels on the series side can be synthesized. Therefore, new hybrid topologies could be proposed, namely HISOP (hybrid input-series output-parallel) and HIPOS (hybrid input-parallel output-series), and their characteristics are highlighted in
Table 6.