- Research
- Open Access

# Simulation of electromagnetic descriptor models using projectors

- Nicodemus Banagaaya
^{1}Email author and - Wil Schilders
^{}

**3**:1

https://doi.org/10.1186/2190-5983-3-1

© Banagaaya and Schilders; licensee Springer 2013

**Received:**26 June 2012**Accepted:**6 February 2013**Published:**11 February 2013

## Abstract

Electromagnetic descriptor models are models which lead to differential algebraic equations (DAEs). Some of these models mostly arise from electric circuit and power networks. The most frequently used modeling technique in the electric network design is the modified nodal analysis (MNA) which leads to differential algebraic equations in descriptor form. DAEs are known to be very difficult to solve numerically due to the sensitivity of their solutions to perturbations. We use the tractability index to measure this sensitivity since it can be computed numerically. Simulation of DAEs is a very difficult task especially for those with index greater than one. To solve higher-index DAEs, one needs to use multistep methods such as Backward difference formulas (BDFs). In this paper, we present an easier method of solving DAEs numerically using special projectors. This is done by first splitting the DAE system into differential and algebraic parts. We then use the existing numerical integration methods to approximate the solutions of the differential part and the solutions of the algebraic parts are computed explicitly. The desired solution of the DAE system is obtained by taking the linear combination of the solutions of the differential and algebraic parts. Our method is robust and efficient, and can be used on both small and very large systems.

## Keywords

- Differential Part
- Electric Network
- Differential Algebraic Equation
- Numerical Integration Method
- Matrix Pencil

## 1 Introduction

where $\mathbf{C}\in {\mathbb{R}}^{{n}_{C},{n}_{C}}$, $\mathbf{L}\in {\mathbb{R}}^{{n}_{L},{n}_{L}}$ and $\mathbf{G}\in {\mathbb{R}}^{{n}_{G},{n}_{G}}$ are the capacitance, inductance and conductance matrices, respectively which are usually assumed to be symmetric and positive-definite. We need to find the unknowns $x={(e,{\u0131}_{L},{\u0131}_{V})}^{T}$ of the system (1). If we let $n={n}_{e}+{n}_{L}+{n}_{V}$ and $m={n}_{I}+{n}_{V}$, then $\mathbf{E},\mathbf{A}\in {\mathbb{R}}^{n,n}$, $\mathbf{B}\in {\mathbb{R}}^{n,m}$ and $u\in {\mathbb{R}}^{m}$. Equation (1) can be solved depending to the elements in the electric networks. For example if we consider a resistor network, (1) simplifies to a system of algebraic equations which implies that $\mathbf{E}=\mathbf{0}$. Thus we need to solve a linear system of the form $-\mathbf{A}x=\mathbf{B}u$. But if the network contains a combination of resistors and other elements, this leads to differential algebraic equations (DAEs), *i.e.*, $det(\mathbf{E})=0$. In this paper, we consider electric networks which leads to DAEs.

DAEs are very difficult to solve numerically due to the sensitivity of their solutions to perturbations. This sensitivity is measured by the *index concepts* such as differentiation index, perturbation index and tractability index. We use the tractability index because it can be obtained numerically. According to [1], a DAE-index from electric networks cannot be greater than 2. Thus we assume (1) has maximum index of 2. In order to solve DAEs we assume the following: (i) the matrix pencil $\lambda \mathbf{E}-\mathbf{A}$ must be nonsingular for some $\lambda \in \mathbb{C}$. (ii) the input vector *u* must be smooth enough. Further more consistent initial values $x(0)={x}_{0}$ must be applied.

A lot of work has been done to solve DAE system using multistep methods such BDFs, NDFs and Runge–Kutta methods [2]. Although these methods are accurate they need a lot of computational effort depending on the index of DAE system, for example index-2 systems, BDF is convergent and globally accurate to $\mathcal{O}({h}^{k})$ but these require tight Newton solutions accurate to $\mathcal{O}({h}^{k+1})$ [3]. The implicit Euler method loses order of accuracy with each increase in index, thus cannot be used in practice to solve DAE systems numerically [3].

*μ*is the tractability index. Moreover, the spectrum of the decoupled system consists not only of the spectrum of the matrix pencil $(E,A)$ of the original system but also of additional infinite eigenvalues [5]. In practice a system should be stable otherwise it may not work properly or may even be destroyed in practical use. There is a direct criterion for the stability of regular descriptor linear systems which indicates that the stability of the system (1) is totally determined by spectrum of the matrix pencil $\sigma (\mathbf{E},\mathbf{A})$ [6]. The set of all finite eigenvalues of the matrix pencil $(\mathbf{E},\mathbf{A})$ is denoted by ${\sigma}_{f}(\mathbf{E},\mathbf{A})$ which is called the finite spectrum while the infinite spectrum of the matrix pencil $(\mathbf{E},\mathbf{A})$ is denoted by ${\sigma}_{\mathrm{\infty}}(\mathbf{E},\mathbf{A})$. Thus the spectrum of $(\mathbf{E},\mathbf{A})$ is donated by $\sigma (\mathbf{E},\mathbf{A})={\sigma}_{f}(\mathbf{E},\mathbf{A})\cup {\sigma}_{\mathrm{\infty}}(\mathbf{E},\mathbf{A})$. System (1) is stable if and only if

Thus, we need to make sure the physical properties of the DAE system (1) such as stability to be inherited in its decoupled system. This motivated us to do some modifications in the März decomposition, using special basis vectors, which leads to a modified decoupled system of dimension *n*. Moreover, this decoupling preserves the spectrum of the matrix pencil $(E,A)$ of the DAE.

This paper is organized as follows: In Section 2, we discuss the decoupling of LTI DAE system using März decomposition and its limitation. In Section 3, we propose the modification of the März decomposition using bases of special projectors. In this section we further discuss the modified decoupling of index-1 and -2 electric systems. We observed that higher index DAEs can decoupled into two ways depending on the spectrum of the matrix pencil $(\mathbf{E},\mathbf{A})$. In Section 4, we check whether the decoupled system preserves the physical properties of the DAE system. In Section 4.1, we compare the numerical accuracy of the decoupled and undecoupled system. In Section 5, we test the proposed method on both simple and industrial problems. The industrial examples show the feasibility of this method on real-life applications. This paper is concluded by some final remarks in Section 6.

## 2 Decoupling of LTI DAE systems using projectors

*μ*. Setting ${\mathbf{E}}_{0}:=\mathbf{E}$, ${\mathbf{A}}_{0}:=\mathbf{A}$, then the projector and matrix chains of the matrix pair $(\mathbf{E},\mathbf{A})$ can be written as: ${\mathbf{E}}_{j+1}={\mathbf{E}}_{j}-{\mathbf{A}}_{j}{\mathbf{Q}}_{j}$, ${\mathbf{A}}_{j+1}:={\mathbf{A}}_{j}{\mathbf{P}}_{j}$, $j\ge 0$, where the image space of the projector ${\mathbf{Q}}_{j}$ is equal to the nullspace of singular matrix ${\mathbf{E}}_{j}$,

*i.e.*, $Im{\mathbf{Q}}_{j}=Ker{\mathbf{E}}_{j}$ and ${\mathbf{P}}_{j}=\mathbf{I}-{\mathbf{Q}}_{j}$ is the complementary projector. There exists

*μ*such that ${\mathbf{E}}_{\mu}$ is nonsingular while ${\mathbf{E}}_{j}$ are singular for all $0\le j<\mu -1$. In order to make sure projector products are also projectors, März [4] suggested an additional constraint ${\mathbf{Q}}_{j}{\mathbf{Q}}_{i}=0$, $j>i$ on the projector construction for higher index DAEs. Using these chains we can rewrite (1) as projected system of index-

*μ*:

As a consequence, (2) can be decoupled into 1 differential part and *μ* algebraic parts. Unfortunately, März decomposition leads to decoupled system of larger dimension $(1+\mu )n$ than the dimension *n* of (1) and also it doesn’t preserve the spectrum of the matrix pencil. This motivated us to modify her decoupled system using special basis vectors introduced in [7] and [5] for index-1 and -2, respectively. This modification leads to a decoupled system which preserves the dimension and the stability of the DAE system. In fact, the dimension of the differential part is equal to the dimension of the finite spectrum of the matrix pencil $(\mathbf{E},\mathbf{A})$. Thus, the stability of the solutions of the decoupled system is guaranteed. We discuss this modification for index-1 and -2 systems in the next section.

## 3 Modification of the März decomposition

In this section, we modify the März decomposition using special basis vectors. This decomposition leads to a decouple system that preserves the dimension and the spectrum of the matrix pencil of the DAE system.

### 3.1 Decoupling of index-1 electric networks

where ${\mathbf{A}}_{p}:={\mathbf{p}}_{0}^{\ast T}{\mathbf{E}}_{1}^{-1}{\mathbf{A}}_{0}{\mathbf{p}}_{0}\in {\mathbb{R}}^{{n}_{0},{n}_{0}}$, ${\mathbf{B}}_{p}:={\mathbf{p}}_{0}^{\ast T}{\mathbf{E}}_{1}^{-1}\mathbf{B}\in {\mathbb{R}}^{{n}_{0},m}$, ${\mathbf{A}}_{q}:={\mathbf{q}}_{0}^{\ast T}{\mathbf{E}}_{1}^{-1}{\mathbf{A}}_{0}{\mathbf{p}}_{0}\in {\mathbb{R}}^{{k}_{0},{n}_{0}}$ and ${\mathbf{B}}_{q}:={\mathbf{q}}_{0}^{\ast T}{\mathbf{E}}_{1}^{-1}\mathbf{B}\in {\mathbb{R}}^{{k}_{0},m}$. Observe that (3a) and (3b) can be solved in a hierarchical way and the desired solutions of the DAE system can be obtained using (4). We observe that the differential part (3a) can be solved using ODE numerical methods and algebraic part (3b) can solved explicitly using the solutions from the differential part. This decoupled system always preserves the dimension since $n={n}_{0}+{k}_{0}$ and the stability of (1) since it can easily be proved that $\sigma ({\mathbf{A}}_{p})={\sigma}_{f}(\mathbf{E},\mathbf{A})$. The proof can be found in [7]. ${n}_{0}$ and ${k}_{0}$ is the number of differential and algebraic equations, respectively.

### 3.2 Decoupling of index-2 electric networks

We now assume (1) is of index-2 which implies $\mu =2$ in Equation (2). We first construct basis vectors $({\mathbf{p}}_{0},{\mathbf{q}}_{0})$ in ${\mathbb{R}}^{n}$ with their inversion ${({\mathbf{p}}_{0}\ast ,{\mathbf{q}}_{0}\ast )}^{T}$ for the projectors ${\mathbf{P}}_{0}$ and ${\mathbf{Q}}_{0}$, where ${\mathbf{p}}_{0}\in {\mathbb{R}}^{n,{n}_{0}}$, ${\mathbf{q}}_{0}\in {\mathbb{R}}^{n,{k}_{0}}$. For this case we have two possibilities depending on the spectrum of the matrix pencil $(\mathbf{E},\mathbf{A})$.

#### 3.2.1 Matrix pencil $(\mathbf{E},\mathbf{A})$ with at least one finite eigenvalue

Here, we assume that the matrix pencil $(\mathbf{E},\mathbf{A})$ of Equation (1) has at least one finite eigenvalue. Using projector chains ${\mathbf{Q}}_{1},{\mathbf{P}}_{1}\in {\mathbb{R}}^{n,n}$ leads to a theorem below [5].

**Theorem 1** *Let* ${\mathbf{P}}_{01}={\mathbf{p}}_{0}^{\ast T}{\mathbf{P}}_{1}{\mathbf{p}}_{0}$, ${\mathbf{Q}}_{01}={\mathbf{p}}_{0}^{\ast T}{\mathbf{Q}}_{1}{\mathbf{p}}_{0}$. *Then* ${\mathbf{P}}_{01},{\mathbf{Q}}_{01}\in {\mathbb{R}}^{{n}_{0},{n}_{0}}$ *are projectors in* ${\mathbb{R}}^{{n}_{0}}$ *provided the constraint condition* ${\mathbf{Q}}_{1}{\mathbf{Q}}_{0}=0$ *holds*.

is a strictly lower triangular nilpotent matrix of index 2. Also the decoupled system (7a)-(7c) can be solved in a hierarchical way and the desired solutions of the DAE system can be obtained using (7c).

#### 3.2.2 Matrix pencil $(\mathbf{E},\mathbf{A})$ with no finite eigenvalues

*i.e.*$det(\lambda E-A)=c\in \mathbb{R}\setminus \{0\}$, $\mathrm{\forall}\lambda \in \mathbb{C}$. Thus Equation (1) can be decoupled as:

where ${\xi}_{q}={({\xi}_{q,1},{\xi}_{q,0})}^{T}\in {\mathbb{R}}^{n}$, ${\mathbf{B}}_{q}={({\mathbf{B}}_{q,1},{\mathbf{B}}_{q,0})}^{T}\in {\mathbb{R}}^{n,m}$, ${u}^{(i)}=\frac{{\mathrm{d}}^{i}u}{\mathrm{d}t}\in {\mathbb{R}}^{m}$ and
is also a strictly lower triangular nilpotent matrix of index 2 which is defined as (8). We can observe that we do not need initial conditions to solve system (11a) and (11b), in fact the solutions are computed explicitly. We note that the input vector *u* must be at least $\mu -1$ times differentiable.

We have discussed that index-1 and -2 electric networks can be decoupled using special basis vectors. These special basis vectors can be computed numerically in an efficient way using the LUQ routine discussed in [8]. Hence this procedure can be applied even on very large electric networks as illustrated in Section 5.2. We call this method the Split-DAE method since it involves splitting the DAE system into differential and algebraic variables.

## 4 Analysis of decoupled electric networks

where $\tilde{\mathbf{E}},\tilde{\mathbf{A}},\mathbf{V}\in {\mathbb{R}}^{n,n}$, $\tilde{\mathbf{B}}\in {\mathbb{R}}^{n,m}$ and $\xi \in {\mathbb{R}}^{n}$ is the projected state space. We note that the solutions of (1) and (12a) and (12b) coincide since the two systems are equivalent to each other. This implies the spectrum of matrix pair $(\mathbf{E},\mathbf{A})$ and $(\tilde{\mathbf{E}},\tilde{\mathbf{A}})$ must also coincide. System (12a) and (12b) is much easier to solve than its counter part and moreover it reveals the interconnection or structure of the DAE system. Assume the matrix pencil $(\mathbf{E},\mathbf{A})$ of (1) has at least one finite eigenvalue then following theorem below holds:

**Theorem 2**

*If the matrix pair*$(\mathbf{E},\mathbf{A})$

*has at least one finite eigenvalue*,

*there exist finite*$\lambda \in \mathbb{C}$

*such that*:

*This implies that* ${\sigma}_{f}(\mathbf{E},\mathbf{A})=\sigma ({\mathbf{A}}_{p})$.

Thus the stability of the decoupled system (12a) and (12b) depends on the stability of the differential part. Hence if Equation (1) is stable then also (12a) and (12b) must be stable.

- 1.
Index 1 electric networks

- 2.
Index 2 electric networks

- (i)
Matrix pencil $(\mathbf{E},\mathbf{A})$ with at least one finite eigenvalue

- (ii)
Matrix pencil $(\mathbf{E},\mathbf{A})$ with no finite eigenvalues

We observe that the descriptor form with differential part takes the same form for the case of index-1 and -2 system though for index-1 systems. We use this form only for analysis of the solutions of the DAE system (1) but not for solving. For solving one need to solve the decoupled systems derived in the previous section.

### 4.1 Numerical accuracy of the decoupled system

*N*subintervals using $h=\frac{T-0}{N}$ time-steps and set ${t}_{n}=ih$, $i=0,1,\dots ,N-1$. We can then approximate the solutions of DAE system (12a) and (12b) at every point. For simplicity, we consider the implicit Euler method since is the starting point for most high order methods and numerically stable. Applying this method on (12a), we obtain:

*i.e.*$i=1$ using the following cases.

- 1.
Index 1 systems

- 2.
Index 2 systems

- (i)
Matrix pencil $(\mathbf{E},\mathbf{A})$ with at least one finite eigenvalue

- (ii)
Matrix pencil $(\mathbf{E},\mathbf{A})$ with no finite eigenvalue

Hence implicit Euler method loses accuracy for each increase in the index if used on the DAE system directly. Thus first decoupling the DAE system (1) into differential and algebraic parts is a robust and effective way of solving DAEs. Since on the differential part one can use any numerical integration method and then the solutions of the algebraic part can be obtained explicitly. Hence the Split-DAE method is a very accurate method and very easy to implement as compared to its counterparts discussed in [2].

## 5 Numerical experiments

In this section, we test our proposed method in Section 3 using problems from electromagnetic community since is the main focus of this paper but it can also be applied to other applications.

### 5.1 Simple examples

Here, we explicitly discuss how to decouple DAEs into differential and algebraic parts using projectors. We illustrate this using examples below. Example 1 is an index-1 electric network while Example 2 is an index-2 electric network whose decoupled system has a differential part. In Example 3, we illustrate the decoupling of index-2 system without differential part.

**Example 1**Consider a linear RLC electric network in Figure 1. We need to find the unknowns $x={[{e}_{1}\phantom{\rule{0.25em}{0ex}}{e}_{2}\phantom{\rule{0.25em}{0ex}}{e}_{3}\phantom{\rule{0.25em}{0ex}}{\u0131}_{L}\phantom{\rule{0.25em}{0ex}}{\u0131}_{V}]}^{T}$ in the above electric network. In order to find the unknowns we use the MNA to formulate a mathematical model of the form (1) with system matrices:

**Example 2**

We can easily check that ${\mathbf{E}}_{2}$ is non-singular. Thus Equation (27) is of index-2.

We observe that ${n}_{10}=1$, ${k}_{1}=1$, ${k}_{0}=2\Rightarrow n={n}_{10}+{k}_{1}+{k}_{0}=4$ and ${\sigma}_{f}(\mathbf{E},\mathbf{A})=\sigma ({\mathbf{A}}_{p})=\{-\frac{1}{GL}\}$. Equations (34a) and (34b) can be solved if we apply ${\xi}_{p}(0)={\u0131}_{L}(0)$. Thus the DAE system (27) is decoupled into 1 differential and 3 algebraic equations. The solutions of system (27) and (34a) and (34b), (35) coincides though the later is easier to solve than the former.

**Example 3**Consider a simple RL electric network in Figure 2. We need to find the unknowns $x={[{e}_{1},{e}_{2},{\u0131}_{L}]}^{T}$ in the electric network. Using the Modified Nodal Analysis on this network leads to DAE system of the form (1), where $u=\u0131(t)$ with system matrices given by

### 5.2 Industrial applications

In this section, we test the Split-DAE method on large scale descriptor electromagnetic models from industries. Examples 4 and 5 are index-1 and -2 systems respectively. These examples are multiple-input multiple-output (MIMO) type, *i.e.* we are interested in a few solutions of the DAE system.

**Example 4**This is a descriptor model of a large scale power system originating from [9]. It is called $\mathrm{b}\mathrm{a}\mathrm{u}\mathrm{r}\mathrm{u}\mathrm{5727}$ power system and can be downloaded from [10]. It is an index-1 DAE system of dimension $n=40\text{,}266$ with 2 inputs and 2 outputs. The sparsity of its matrix pencil is shown in Figure 3. We decoupled the DAE system into $5\text{,}727$ differential equations and $34\text{,}639$ algebraic equations using the procedure we discussed in Section 3.1,

*i.e.*${n}_{0}=5\text{,}727$ and ${k}_{0}=34\text{,}639$. The sparsity of the matrix pencil of the decoupled system in the descriptor form is given in Figure 4. We observe that the sparsity in Figure 4 has the same structures as matrix pencil $(\tilde{\mathbf{E}},\tilde{\mathbf{A}})$ in Equation (13). We solved the decoupled system in Matlab using ODE solver ($\mathrm{o}\mathrm{d}\mathrm{e}\mathrm{15}\mathrm{s}$) to solve the differential part. We obtained good solutions as shown in Figure 5 and the simulation took $3\text{,}486$ seconds. We used input function $u(t)={[cos(t)\phantom{\rule{0.25em}{0ex}}sin(t)]}^{T}$, $t\in [0,\pi ]$ and time step $h=1.5\times {10}^{-4}$. We tried to solve the DAE system directly using he Matlab DAE solver ($\mathrm{o}\mathrm{d}\mathrm{e}\mathrm{15}\mathrm{s}$) but failed to solve it. It just gave us a warning: ‘This DAE appears to be of index greater than 1’.

**Example 5**In this example, we consider a RLC network descriptor model of electric power grid originating from [11]. It is called $\mathrm{M}\mathrm{8}\mathrm{O}\mathrm{P}\mathrm{I}$ system and can also be downloaded from [10]. It is an index-2 DAE system of dimension $n=4\text{,}182$ with 3 inputs and 3 outputs. The inputs are current signals injected into three buses given by:

*i.e.*${n}_{10}=4028$, ${k}_{1}=35$ and ${k}_{0}=119$. The sparsity of the matrix pencil of the decoupled system in the descriptor form is shown in Figure 7. We solved the differential part of the decoupled system using $\mathrm{o}\mathrm{d}\mathrm{e}\mathrm{23}\mathrm{t}$ solver and we obtained good solutions as shown in Figure 8. The simulation took 39 seconds. We could not compare with the Matlab inbuilt solvers since they cannot solve index-2 systems. We validated our results with those presented in [11].

## 6 Conclusion

In conclusion, splitting DAEs using special projectors leads to decoupled systems which are easier to solve than DAE systems directly. We have tested the Split-DAE method on both large and small problems and proved to be a robust and efficient method. We can now use any numerical integration method to solve DAE systems. Hence this method can be used to simulate electromagnetic descriptor models.

## Declarations

### Acknowledgements

This work was supported by The Netherlands Organization for Scientific Research (NWO).

## Authors’ Affiliations

## References

- Tischendorf C:
**Topological index calculation of differential-algebraic equations in circuit simulation.***Surv. Math. Ind.*1999,**8:**187–199.MATHMathSciNetGoogle Scholar - Brenan K, Campbell S, Petzold L:
*Numerical Solution of Initial Value Problems in Differential-Algebraic Equations*. SIAM, Philadelphia; 1996.MATHGoogle Scholar - Differential Algebraic Equations (DAEs) [http://www.lehigh.edu/~wes1/apci/11may00.pdf] Differential Algebraic Equations (DAEs) [http://www.lehigh.edu/~wes1/apci/11may00.pdf]Google Scholar
- März R:
**Canonical projectors for linear differential algebraic equations.***Comput. Math. Appl.*1996,**31:**121–135.MATHView ArticleGoogle Scholar - Alì G, Banagaaya N, Schilders W, Tischendorf C: Index-aware model order reduction for index-2 differential-algebraic equations. SIAM J. Sci. Comput., in press. Alì G, Banagaaya N, Schilders W, Tischendorf C: Index-aware model order reduction for index-2 differential-algebraic equations. SIAM J. Sci. Comput., in press.Google Scholar
- Duan GR:
*Analysis and Design of Descriptor Linear Systems*. Springer, New York; 2010.MATHView ArticleGoogle Scholar - Alì G, Banagaaya N, Schilders W, Tischendorf C: Index-aware model order reduction for differential-algebraic equations. Math. Comput. Model. Dyn. Syst., in press. Alì G, Banagaaya N, Schilders W, Tischendorf C: Index-aware model order reduction for differential-algebraic equations. Math. Comput. Model. Dyn. Syst., in press.Google Scholar
- Zhang Z, Wong N:
**An efficient projector-based passivity test for descriptor systems.***IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.*2010,**29:**1203–1214.View ArticleGoogle Scholar - Rommes J, Martins N, Freitas F:
**Computing rightmost eigenvalues for small-signal stability assessment of large-scale power systems.***IEEE Trans. Power Syst.*2010,**25:**929–938.View ArticleGoogle Scholar - Test Power Systems [http://sites.google.com/site/rommes/software] Test Power Systems [http://sites.google.com/site/rommes/software]Google Scholar
- Freitas F, Martins N, Varrichio S, Rommes J, Véliz F:
**Reduced-order transfer matrices from network descriptor models of electric power grids.***IEEE Trans. Power Syst.*2011,**26:**1905–1919.View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.