• Keine Ergebnisse gefunden

Example 6.5. Consider the following IVP 2

4 1 0 0 0 0 0 3 5

x˙1(t)

˙ x2(t)

= 2 4

0 0

0 0

0 α(t) 3 5

x1(t) x2(t)

‚ +

2 4

0 0 0 1 0 0 3 5

x1(t−τ) x2(t−τ)

‚ +

2 4

cos(t)

cos(tτ)

−a(t)cos(t) 3

5, (6.14a)

for t∈[0, 10τ]. The delayτis chosen to be1and the initial function is φ(t)=

si n(t) cos(t)

, for t∈[−τ, 0]. (6.14b)

The functionαis given by

α(t)=

(0 for t∈[0, 2τ], 1 for t∈(2τ, 10τ].

We see that on the interval[0, 2τ]the DDAE(6.14a)is noncausal, and therefore the solver RADAR5 [60] fails to handle the IVP(6.14). The BVP method, however, successfully solves the IVP(6.14). To compute the numerical solution to the IVP(6.14), we implemented the three stage Gauß- Lobatto collocation method, as in [80], to the strangeness-free DDAE (6.8), which is pointwise computed automatically. The numerical solution and the ab-solute error are presented in Figure6.2. The stepsize is h=0.01.

0 2 4 6 8 10

−1

−0.5 0 0.5

1 x1

x2

0 2 4 6 8 10

10−16 10−14 10−12 10−10

error x1 error x2

Figure 6.2:Numerical solution and absolute error of the IVP (6.14) with constant stepsize h=0.01.

Remark 6.6. Since the functionG in the DAE (6.8a) depends linearly onφ, the suffi-cient smoothness condition so that the claim ii) of Theorem6.4holds, isφCµ+1, and for the super-convergence in claim iii), the functionφshould be inC2s.

6.3. Examples 94 the number of stagess is three. First we consider their performance for retarded and neutral DDAEs.

Example 6.7. Consider the DDAE

•0 t 0 0

‚ •x˙1(t)

˙ x2(t)

=

•1 0 0 1

‚ •x1(t) x2(t)

‚ +

•0 1 0 0

‚ •x1(t−τ) x2(t−τ)

‚ +

•−et+1

t

, (6.15) in the time intervalI=[0, 10τ], with the delayτ=1. We choose an initial functionφto be

et t

for t∈[−τ, 0]. Taking the derivative of the second equation of (6.15)and scaling it with t , we deduce that

0=tx˙2(t)−t.

Adding this equation to the first equation of (6.15)and eliminating tx˙2(t)on both sides, we see that

0=x1(t)+x2(t−τ)−et+1−t.

Therefore, the strangeness-free formulation of the DDAE(6.15)is

•0 0 0 0

˙ x(t)=

•1 0 0 1

x(t)+

•0 1 0 0

x(tτ)+

•−et+1−t

t

‚ , which implies that(6.15)is of neutral type.

The relative errors with respect to the exact solution x(t)=

et t

for the two methods are presented in Figure6.3. There, by GMOS (resp. BVP) we denote the relative errors of the solution obtained by the generalized method of steps (resp., the BVP method). The constant stepsize is h=0.01.

In the next example we consider a causal DDAE of advanced type.

Example 6.8. Consider the DDAE

•0 1 0 0

˙ x(t)=

•1 0 0 1

x(t)+

•1 0 0 1

x(tτ)+

•1−etet−1 1−2t

, (6.16)

in the time interval I= [0, 10τ], with the delay τ =1. From (6.16), one obtains the strangeness-free DDAE

•0 0 0 0

˙ x(t)=

•1 0 0 1

x(t)+

•1 0 0 1

x(tτ)+

•0 1 0 0

˙

x(tτ)+

•−1−etet−1 1−2t

‚ , which implies that (6.16) is of advanced type. The relative errors with respect to the exact solution x(t)=

et t

are also presented in Figure6.3. There, by GMOS (resp. BVP) we denote the relative errors of the solution obtained by the generalized method of steps (resp., the BVP method). The constant stepsize is h=0.01.

In Figure6.3, we see that if a DDAE is of retarded or neutral type, then the general-ized method of steps seems to be more efficient than the BVP method. Otherwise, if a DDAE is of advanced type then the BVP method seems to be a better candidate. The

0 2 4 6 8 10 10−18

10−16 10−14 10−12 10−10

GMOSBVP

0 2 4 6 8 10

10−16 10−14 10−12 10−10 10−8

GMOSBVP

Figure 6.3:Relative error of the DDAE (6.15) (left) and of the DDAE (6.16) (right) with con-stant stepsizeh=0.01.

reason is that the generalized method of steps solves the discretized system on consec-utive intervals and hence, due to the advancedness of a DDAE, the error on each inter-val [(i−1)τ,iτ] is rapidly amplified when one proceeds to the next interval [iτ, (i+1)τ].

Furthermore, the BVP method can also handle advanced DDAEs, whose the strangeness-free formulations are of high order. This is demonstrated in the following example.

Example 6.9. Consider the DDAE 2

6 6 6 4

0 0 1 0 0 0 0 1 0 0 0 0 3 7 7 7 5 2 4

x˙1(t)

˙ x2(t)

˙ x3(t)

3 5=

2 6 6 6 4

0 1 0

0 0 1

0 0 0

H(t−τ) 0 0 3 7 7 7 5 2 4

x1(t) x2(t) x3(t) 3 5+

2 6 6 6 4

0 0 0 1 0 0 0 0 0 0 0 0 3 7 7 7 5 2 4

x1(t−τ) x2(t−τ) x3(t−τ) 3 5+

2 6 6 6 4

−t

−1−et−1 1

−H(t−τ)et 3 7 7 7 5 , (6.17) on the time intervalI=[0,)with`=6,τ=1. Here H is the Heaviside function given by

H(t)=

(0, if t60, 1, if t>0.

By directly verifying Hypothesis5.22, one sees that the shift index of (6.17)is given by κ=

(1, if t6τ, 0, if t>τ.

By performing as in Example5.8, we deduce that the regular, strangeness-free formula-tion of the DDAE(6.17)takes the form

− 2 4

0 0 0 0 0 0 1 0 0 3 5 2 4

¨ x1(t)

¨ x2(t)

¨ x3(t)

3 5=

2 4

0 1 0 0 0 1 0 0 0 3 5

2 4

x1(t) x2(t) x3(t) 3 5+

2 4

0 0 0 1 0 0 0 0 0 3 5

2 4

x1(t−τ) x2(t−τ) x3(t−τ) 3 5

+ 2 4

1 0 0 0 0 0 0 0 0 3 5 2 4

˙ x1(t)

˙ x2(t)

˙ x3(t)

3 5+

2 4

tet−1

−1−et−1

et 3

5, for t∈(0,τ),

(6.18a)

6.3. Examples 96 and

2 4 0 0 0 3 5=

2 4

0 1 0 0 0 1 1 0 0 3 5

2 4

x1(t) x2(t) x3(t) 3 5+

2 4

0 0 0 1 0 0 0 0 0 3 5

2 4

x1(t−τ) x2(t−τ) x3(t−τ) 3 5

+ 2 4

1 0 0 0 0 0 0 0 0 3 5 2 4

˙ x1(t)

˙ x2(t)

˙ x3(t)

3 5+

2 4

−t−et1

−1−et−1

et 3

5, for t∈(τ,`τ),

(6.18b)

Unfortunately, the generalized method of steps fails to determine the strangeness-free formulation(6.18), because it is not a first order DDAE. Furthermore, it is complicated to implement Runge-Kutta methods or BDF methods for(6.18)and the error in the ap-proximation of x(t˙ −τ)is also an important issue. For higher dimensional DDAEs, if the considered system is causal and of advanced type, then typically the strangeness-free formulation can contain high order derivatives of x(t)and x(tτ), which makes it im-possible to use the generalized method of steps. The BVP method, however, can work fine in this case, if the strangeness indexµis sufficiently small. For example, the BVP method successfully handles the corresponding IVP for the DDAE (6.17), since the strangeness-index of the DAE (6.8a) is always two. The numerical solution and the relative error are presented in Figure6.4. Here we use again the three stage Gauß-Lobatto collocation method, as in [80], to the strangeness-free DDAE(6.9), which is pointwise computed au-tomatically. The constant stepsize is h=0.01.

0 2 4 6 8 10

−1 0 1 2 3 4

5 x1

x2 x3

0 2 4 6 8 10

10−20 10−15 10−10 10−5

error x1 error x2 error x3

Figure 6.4:The solution and the absolute error of the DDAE (6.17) with constant stepsize h=0.01.

Solvability Analysis of General Nonlinear DDAEs

This chapter is devoted to the solvability analysis of initial value problems for general nonlinear DDAEs of the form

F(t,x(t), ˙x(t),x(tτ))=0, (7.1a) for allt∈I=(0,tf), together with an initial function

x(t)=φ(t), for allt∈[−τ, 0]. (7.1b) The extensions of the results in Chapters5,6for general nonlinear, noncausal DDAEs are desired. However, this is still an open question and therefore, in this chapter we only present some important results in prior investigations about the numerical anal-ysis of nonlinear DDAEs.

For notational convenience, we consider only real-valued problems where bothF and xare real vector-valued functions. To obtain the results for complex-valued problems, we can analyze the real and imaginary part of the equation and the unknown sepa-rately. Furthermore, let us restrict our consideration to square systems, i. e.,m=n.

Together with (7.1a), we are also interested in the associated DAE

F(t,x(t), ˙x(t))=0. (7.2)

In order to discuss the theoretical and numerical solution of the IVP (7.1), within this chapter we assume that the IVP (7.1) has a unique solution. Similar to the linear case, we see that the piecewise differentiable solution concept is more suitable for IVPs of DDAEs. Therefore, we recall this concept in the following definition.

Definition 7.1. i) A functionx:Iτ→Rnis called apiecewise differentiable solutionof (7.1a), if it is continuous, piecewise continuously differentiable and satisfies (7.1a) al-most everywhere. Throughout this chapter whenever we speak of a solution, we mean a piecewise differentiable solution.

ii) An initial functionφis calledconsistentif the IVP (7.1) has at least one solution.

iii) The DDAE (7.1a) is called solvableif it has at least one solution. It is called regu-97

98 lar if in addition, the solution to the IVP (7.1) is unique, provided a consistent initial function.

There are very few references about the solvability analysis of nonlinear DDAEs and among them we want to mention the following papers [5,60,68,86] for solution pro-cedures, and [10] for some difficulties that may occur for the numerical integration of DDAEs. Except [5], where the type of a DDAE is examined and the index reduction procedure is performed whenever it is necessary, the other references directly apply numerical methods to a given DDAE, without any regularization procedure.

Precisely, the authors showed in [5] that a retarded, Hessenberg DDAE of differentia-tion index at most three, takes the following form

˙

x(t) = f(x(t),x(tτ),y(t),y(tτ)),

0 = g(x(t),x(tτ),y(t)), (7.3)

(where∂yg is nonsingular) for differentiation index one,

˙

x(t) = f(x(t),x(tτ),y(t)),

0 = g(x(t)), (7.4)

(wheregxyf is nonsingular) for differentiation index two,

˙

y(t) = f(x(t),x(tτ),y(t),y(tτ),z(t)),

˙

x(t) = g(x(t),x(tτ),y(t)),

0 = h(x(t)),

(7.5)

(where∂h∂x ∂g∂y∂f∂z is nonsingular) for differentiation index three.

Furthermore, in the cases that the functiong in (7.3) is allowed to depend ony(t−τ) and g in (7.4) is allowed to depend on x(tτ) then the corresponding system is of neutral type. Then, in [5] the authors constructed an index reduction procedure to derive adelay-essential-underlying ODE(DEUODE) and investigated the convergence and order of numerical methods like BDF methods, projected implicit Runge-Kutta methods applied to index one and index two retarded and neutral Hessenberg DDAEs.

It is also shown that a DDAE is (numerically) stable, or well-conditioned if its DEUODE is (numerically) stable.

Without considering any regularization or any index reduction procedure, in the article [60] the authors applied the 3-stage Radau IIA method and implemented it in the solver RADAR5 to compute the solution of IVPs for quasi-linear DDAEs of the form

My˙(t)=f(t,y(t),y(α(t,y(t)))), (7.6a) with the initial condition

y(t0)=y0, y(t)=g(t), for t<t0, (7.6b) where the matrixM is constant but allowed to be singular. The state-dependent delay α(t,y(t)) satisfiesα(t,y(t))6t for alltt0. Note that this includes small delays, i.e.,

tα(t,y(t))¿t, and vanishing delays, i.e.,α(t,y(t))=tfor somet.

The Radau IIA method has successfully handled a variety of systems including retarded and neutral DDEs and also DDAEs where the associated non-delayed DAE is regular and strangeness-free. However, since no regularization procedure was considered for the DDAE (7.6a), this method may not work, or it may give wrong results for general high index, noncausal DDAEs.

The other important studies are [68,86] where the authors considered retarded DDAEs in the semi-explicit form

˙

x(t) = f(t,x(t),y(t),x(α(t,x(t)))),

0 = g(t,x(t),y(t),x(α(t,x(t)))), (7.7) (where∂yg is nonsingular) for differentiation index one, and

˙

x(t) = f(t,x(t),y(t),x(α(t,x(t)))),

0 = g(t,x(t)), (7.8)

(wheregxyf is nonsingular) for differentiation index two.

Here the delayα(t,x(t)) is state-dependent and non-vanishing, i.e., there existδ>0 such thatα(t,x)6tδ. There in [68], the author investigated the convergence of col-location methods for the system (7.7), (7.8). One important contribution of the studies [60,68] is the discontinuity detection in the state dependent delay case.

We further note that all the investigation presented above, similar to the other in-vestigation about the solvability analysis of IVPs for linear DDAEs [25,29,83,122,142], are restricted to systems that have the following features:

i) The associated non-delayed DAE is uniquely solvable, and hence the considered DDAE is causal;

ii) The considered DDAE is of either retarded or neutral type.

Furthermore, prior work on DDAEs (for both linear and nonlinear systems) usually make use of the method of steps for the solution procedure. Because of this reason, we now recall the method of steps for nonlinear, causal DDAEs.

Introducing the vector-valued functions for eachi∈N xi: [0,τ] → Rn

t 7→ x(t+(i−1)τ), (7.9a)

and

Fi: [0,τ]×Rn×Rn×Rn → Rn

(t,xi(t), ˙xi(t),xi−1(t)) 7→ F(t+(i−1)τ,xi(t), ˙xi(t),xi−1(t)), (7.9b) we rewrite the IVP (7.1) as a sequence of DAEs

Fi(t, ˙xi(t),xi(t),xi1(t))=0, (7.10a) for all t ∈ (0,τ), and for all i = 1, 2, . . . ,`. The function x0 is prescribed by

100 x0(t) :=φ(t−τ). Here equation (7.10a) is a parameter dependent DAE in variablexi with a function parameterxi−1. The initial condition for the DAE (7.10a) is

xi(0)=xi1(τ). (7.10b)

Assuming that the DDAE (7.1a) is causal, it implies that the IVP (7.10) is uniquely solv-able for any sufficiently smooth function parameterxi1and any consistent initial vec-torxi(0). Having found the functionxi, we can proceed in the same way to obtainxi+1 and so on. Therefore, the solutionx(t) to the IVP (7.1) is successfully constructed step by step, provided that an initial functionφis sufficiently smooth and satisfies certain consistency conditions.

In analogy to the linear DDAE case, we see that there are two unmentioned issues in prior investigations that motivates our future research:

1. How to categorize general nonlinear, noncausal DDAEs by their types (retarded, neutral and advanced) and to solve IVPs for retarded and neutral systems.

2. How to classify advanced DDAEs in order to figure out which class of advanced DDAEs can be efficiently integrated.

In this chapter we present some conclusions and some possible open problems found during the work.

Conclusion

The combination of differential-algebraic equations arising from an automatic model-ing based approach and the appearance of time delays due to the physical properties or feedback control naturally leads to delay differential-algebraic equations (DDAEs).

Despite of their natural importance and broad range of applications, DDAEs are not well understood even for fundamental problems such as the solvability analysis. In this thesis we have mainly studied the analytical and numerical solution to initial value problems for linear DDAEs.

Important properties inherited from the theories of DAEs and of DDEs lead to crit-ical consequences for DDAEs such as a solution concept, the discontinuity propaga-tion or a system classificapropaga-tion. However, the combinapropaga-tion between these two sub-classes DAEs and DDEs has lead to many interesting properties. In Chapter3we have discussed some characteristics of DDAEs, which are the starting points for important consequences associated with the computational solution of the corresponding IVPs.

In summary, initial value problems for DDAEs present four different difficulties:

1. The hidden type of a system, i. e., retarded, neutral or advanced.

2. The causality or noncausality of a system.

3. The linearity or nonlinearity of a system.

4. The type of delays and the number of delays.

Different from prior studies, which mostly considered the last two difficulties, in this work we have considered the first two difficulties. Until now, there is no treatment for all these four difficulties.

Chapter4addresses linear time invariant DDAEs, where all the system coefficients are constant matrices. The DDAEs are studied by three approaches: first, analyzing the structure of matrix triples, second, a matrix polynomial approach, and third, an al-gebraic method. An important contribution of this chapter is to point out the link be-tween the existence and uniqueness of solutions (of IVPs for DDAEs) and the regularity of either the matrix pair (E,A) or the matrix triple (E,A,B), depending on whether the time interval is bounded or not. This result allows to study the solvability of a DDAE by investigating spectral properties of its matrix coefficients. Furthermore, the

ma-101

102 trix polynomial approach is applicable for a much broader class of time delay systems including both underdetermined and overdetermined systems. Finally, another ap-proach in the theory of DAEs, namely an algebraic method, is examined to study gen-eral noncausal DDAEs of retarded and neutral types.

Chapter5studies the solvability analysis and reformulation of general linear time variable coefficients DDAEs, with a special focus on the numerical solution. IVPs for DDAEs are studied by two different approaches, which aim at different types of DDAEs.

While the first approach, the generalized method of steps, can successfully handle re-tarded and neutral DDAEs, the second one, the BVP method, is advantageous for study-ing advanced DDAEs.

The first approach, by introducing the shift index concept in order to estimate the noncausality of a DDAE, has extended the results in the theory of DAEs [75] to de-duce a strangeness-free formulation (and consequently, the underlying DDE), and also to obtain the necessary and sufficient conditions for a consistent initial function and a consistent inhomogeneity. To compute the solution of IVPs for DDAEs, numerical methods for DDEs are applied to the strangeness-free formulation, which is pointwise computed automatically. Furthermore, the nonadvancedness of a considered DDAE is checked by a verifiable condition.

Different from the first approach, the second approach removes the delay and studies IVPs for DDAEs as BVPs for DAEs. Thus, one does not need to worry about the delay and the type of the system. The interesting feature of this approach is that it is not be-ing limited to retarded and neutral DDAEs but clearly shows which advanced DDAEs (and consequently, advanced DDEs) can be efficiently integrated. This concept has not yet been mentioned in the literature, even for advanced DDEs.

Based on the two methods presented in Chapter 5, we have developed in Chap-ter6two strategies for the numerical integration of general linear DDAEs. The first strategy is based on the observation that the generalized method of steps is applica-ble for retarded and neutral DDAEs. As discussed in Chapter5, the strangeness-free formulation is pointwise computed in parallel with verifying the type of the consid-ered system to prevent the advanced situation. Following the method of steps, the Radau collocation method with Lagrange interpolation for the history function is then applied to this strangeness-free formulation. On the other hand, the second strategy makes use of well-known integration methods for the corresponding boundary value problems of the reformulated DAEs. The Gauß-Lobatto collocation method is applied to the strangeness-free formulation of the reformulated DAEs. It turns out that, for different type of DDAEs, one should choose different integration strategies. In more details, the generalized method of steps has shown better performance for retarded or neutral DDAEs, while the BVP method is more suitable for advanced DDAEs. The BVP method has shown the possibility to treat not only causal, advanced DDAEs but even noncausal, advanced DDAEs, whose the strangeness-free formulation is of high order and has complicated structure.

Outlook

There are many possible open research problems related to the work in this thesis. In the following, we list some related open problems and research directions, which may be of interest in the future.

Regularization and numerical solution to general nonlinear DDAEs. Linear DDAEs are treated within the scope of this thesis. However, most problems in real life appli-cations are nonlinear and therefore, a systematic study for nonlinear DDAEs is indis-pensable. Nevertheless, only two special classes of causal systems, namely Hessenberg systems ([5]) and semi-explicit, index one systems ([10], [60]) have been studied. The cases of advanced DDAEs and general noncausal DDAEs are still entirely open. We expect that the two approaches presented in Chapter 5can be extended to general nonlinear DDAEs.

Regularization of delay descriptor systems. DDAEs with control variable are often calleddelay descriptorsystems, which naturally occurs in many applications. Besides the two approaches presented in Chapter5, it would be interesting to extend the be-havior approach ([76]) to delay descriptor systems.

Fundamental control properties of delay descriptor systems. Once the regulariza-tion are well studied for delay descriptor systems, we wish to investigate fundamental control concepts such as stability, stabilization, controllability, observability, etc. Also of interest is the spectral analysis of Delay-DAEs and the computation of spectral ex-ponents and spectral intervals.

104

[1] R. M. ALEXANDER,Simple models of human movement, Appl. Mech. Rev., (1995), pp. 461 – 469. (Cited on page5.)

[2] P. ANTOGNETTI ANDG. MASSOBRIO,Semiconductor device modeling with SPICE, McGraw-Hill, New York, NY, 1997. (Cited on page2.)

[3] C. ARÉVALO ANDP. LÖTSTEDT,Improving the accuracy of BDF methods for index 3 differential-algebraic equations, BIT, 35 (1995), pp. 297–308. (Cited on page21.) [4] U. M. ASCHER, R. MATTHEIJ, AND R. RUSSELL, Numerical Solution of

Bound-ary Value Problems for OrdinBound-ary Differential Equations, SIAM Publications, Philadelphia, PA, 2nd ed., 1995. (Cited on pages81and91.)

[5] U. M. ASCHER ANDL. R. PETZOLD,The numerical solution of delay-differential algebraic equations of retarded and neutral type, SIAM J. Numer. Anal., 32 (1995), pp. 1635–1657. (Cited on pages2,3,32,34,98, and103.)

[6] , Computer Methods for Ordinary Differential and Differential-Algebraic Equations, SIAM Publications, Philadelphia, PA, 1998. (Cited on pages 2, 19, and21.)

[7] S. BÄCHLE AND F. EBERT, Element-based topological index reduction for differential-algebraic equations in circuit simulation, Technical Report 246, DFG Research Center MATHEON, TU Berlin, Berlin, Germany, 2004. Submitted for patenting. (Cited on page7.)

[8] Z. BAI, D. BINDEL, J. CLARK, J. C. Z, J. DEMMEL, N. ZHOU, K. PISTER,ANDN. Z.

Z,New numerical techniques and tools in SUGAR for 3D MEMS Simulation, in Proc. Fourth Technical International Conference on Modeling and Simulation of Microsystems, Hilton Head Island, SC, 2001, pp. 31–34. (Cited on page21.) [9] Z. BAI, P. DE WILDE, AND R. W. FREUND, Reduced order modeling, in

Hand-book of Numerical Analysis. Vol. XIII, Numerical Methods in Electromagnetics, W. Schilders and E. J. W. ter Maten, eds., 2005, pp. 825–895. (Cited on page21.) [10] C. T. H. BAKER, C. A. H. PAUL, AND H. TIAN, Differential algebraic equations

with after-effect, J. Comput. Appl. Math., 140 (2002), pp. 63–80. (Cited on pages2, 3,32,98, and103.)

105

BIBLIOGRAPHY 106 [11] M. BANDYOPADHYAY ANDS. BANERJEE,A stage-structured prey - predator model with discrete time delay, Appl. Math. Comput., 182 (2006), pp. 1385 – 1398. (Cited on page2.)

[12] A. BELLEN, N. GUGLIELMI, ANDA. RUEHLI,Methods for linear systems of circuit delay differential equations of neutral type, IEEE Trans. Circ. and Syst., 46 (1999), pp. 212–215. (Cited on page8.)

[13] A. BELLEN AND M. ZENNARO, Numerical Methods for Delay Differential Equa-tions, Oxford University Press, Oxford, UK, 2003. (Cited on pages 24, 25, 26, and87.)

[14] R. BELLMAN,On the computational solution of differential-difference equations, J. Math. Anal. Appl., 2 (1961), pp. 108 – 110. (Cited on page26.)

[15] R. BELLMAN ANDK. L. COOKE,Differential-difference equations, Mathematics in Science and Engineering, Elsevier Science, 1963. (Cited on pages2, 24, 25, 26, and38.)

[16] , On the computational solution of a class of functional differential equa-tions, J. Math. Anal. Appl., 12 (1965), pp. 495 – 500. (Cited on page26.)

[17] R. E. BELLMAN, J. D. BUELL, AND R. E. KALABA, Numerical integration of a differential-difference equation with a decreasing time-lag, Commun. ACM, 8 (1965), pp. 227–228. (Cited on page26.)

[18] L. T. BIEGLER, S. L. CAMPBELL, AND V. MEHRMANN, eds., Control and Opti-mization with Differential-Algebraic Constraints, SIAM Publications, Philadel-phia, PA, 2012. (Cited on page2.)

[19] S. BOISGÉRAULT, Growth bound of delay-differential algebraic equations, Comptes Rendus Mathematique, 351 (2013), pp. 645 – 648. (Cited on page2.) [20] L. BOLTZMAN, Zur Theorie der elastischen Nachwirkungen, Leipzig: Verlag

Jo-hann Ambrosius Barth, 1909, pp. 616–644. (Cited on page2.)

[21] R. BRAYTON, Small-signal stability criterion for electrical networks containing lossless transmission lines, IBM J. RES. DEV., 12 (1968), pp. 431–440. (Cited on page8.)

[22] K. E. BRENAN, S. L. CAMPBELL, AND L. R. PETZOLD, Numerical Solution of Initial-Value Problems in Differential Algebraic Equations, SIAM Publications, Philadelphia, PA, 2nd ed., 1996. (Cited on pages2,19, and21.)

[23] R. BYERS, T. GEERTS,ANDV. MEHRMANN,Descriptor systems without controlla-bility at infinity, SIAM J. Cont., 35 (1997), pp. 462–479. (Cited on page56.) [24] R. BYERS, P. KUNKEL,ANDV. MEHRMANN,Regularization of linear descriptor

sys-tems with variable coefficients, SIAM J. Cont., 35 (1997), pp. 117–133. (Cited on page56.)

[25] S. L. CAMPBELL, Singular linear systems of differential equations with delays, Appl. Anal., 2 (1980), pp. 129–136. (Cited on pages2,3,32,35,43, and99.) [26] , Singular Systems of Differential Equations I, Pitman, San Francisco, CA,

1980. (Cited on pages11,13, and43.)

[27] , Index two linear time varying singular systems of differential equations, Circ. Syst. Signal Process., 5 (1986), pp. 97–108. (Cited on page74.)

[28] ,A general form for solvable linear time varying singular systems of differen-tial equations, SIAM J. Math. Anal., 18 (1987), pp. 1101–1115. (Cited on page74.) [29] ,Comments on 2-D descriptor systems, Automatica, 27 (1991), pp. 189–192.

(Cited on pages2,3,32, and99.)

[30] , Nonregular 2D descriptor delay systems, IMA J. Math. Control Appl., 12 (1995), pp. 57–67. (Cited on pages48and49.)

[31] S. L. CAMPBELL ANDV. H. LINH,Stability criteria for differential-algebraic equa-tions with multiple delays and their numerical soluequa-tions, Appl. Math Comput., 208 (2009), pp. 397 – 415. (Cited on pages2,32,34,35, and48.)

[32] S. L. CAMPBELL ANDW. MARSZALEK,DAEs arising from traveling wave solutions of PDEs, J. Comput. Appl. Math., 82 (1997), pp. 41 – 58. 7th ICCAM 96 Congress.

(Cited on page21.)

[33] S. L. CAMPBELL, C. D. MEYER, AND N. J. ROSE, Applications of the Drazin in-verse to linear systems of differential equations with singular constant coefficients, SIAM J. Appl. Math., 31 (1976), pp. 411–425. (Cited on page12.)

[34] T. CARABALLO ANDJ. REAL,Navier-Stokes equations with delays, Proc. R. Soc. A, 457 (2001), pp. 2441–2453. (Cited on page9.)

[35] K. F. CHEN, Standing human - an inverted pendulum, Lat. Am. J. Phys. Educ., (2008), pp. 197 – 200. (Cited on page5.)

[36] H. CHI, J. BELL, AND B. HASSARD,Numerical solution of a nonlinear advance-delay-differential equation from nerve conduction theory, J. Math. Biol., 24 (1986), pp. 583–601. (Cited on page27.)

[37] E. N. CHUKWU,Stability and time-optimal control of hereditary systems, Mathe-matics in Science and Engineering, Elsevier Science, 1992. (Cited on page2.) [38] L. DAI,Singular Control Systems, Springer-Verlag, Berlin, Germany, 1989. (Cited

on page11.)

[39] L. DIECI AND T. EIROLA, On smooth decompositions of matrices, SIAM J. Matr.

Anal. Appl., 20 (1999), pp. 800–819. (Cited on page16.)

[40] R. DRIVER,Ordinary and delay differential equations, Applied mathematical sci-ences, Springer-Verlag, 1977. (Cited on pages2and27.)

BIBLIOGRAPHY 108 [41] N. H. DU, V. H. LINH, V. MEHRMANN, AND D. D. THUAN,Stability and robust stability of linear time-invariant delay differential-algebraic equations., SIAM J.

Matr. Anal. Appl., 34 (2013), pp. 1631–1654. (Cited on page2.)

[42] DYNASIM AB,Dymola, Multi-Engineering Modelling and Simulation, Ideon Re-search Park - SE-223 70 Lund - Sweden, 2006. (Cited on page2.)

[43] E. EICH-SOELLNER ANDC. FÜHRER,Numerical Methods in Multibody Dynamics, European Consortium for Mathematics in Industry, Teubner, 1998. (Cited on page21.)

[44] , Numerical Methods in Multibody Dynamics, European Consortium for Mathematics in Industry, Morgan Kaufmann, 2013. (Cited on page6.)

[45] R. ENGLAND, R. LAMOUR,ANDJ. LOPEZ-ESTRADA,Multiple shooting using a di-chotomically stable integrator for solving DAEs, Appl. Numer. Math., 42 (2003), pp. 117–131. (Cited on page91.)

[46] T. ERNEUX, Applied Delay Differential Equations, Surveys and Tutorials in the Applied Mathematical Sciences, Springer, 2009. (Cited on pages2and27.) [47] D. ESTÉVEZ-SCHWARZ, U. FELDMANN, R. MÄRZ, S. STURTZEL,ANDC. TISCHEN

-DORF,Finding beneficial DAE structures in circuit simulation, Tech. Report 00-7, Institut für Mathematik, Humboldt Universität zu Berlin, Berlin, Germany, 2000.

(Cited on page7.)

[48] D. ESTÉVEZ-SCHWARZ AND C. TISCHENDORF, Structural analysis for electrical circuits and consequences for MNA, Internat. J. Circ. Theor. Appl., 28 (2000), pp. 131–162. (Cited on page7.)

[49] B. FABIEN, Analytical System Dynamics: Modeling and Simulation, Springer, 2008. (Cited on page2.)

[50] M. J. GARRIDO-ATIENZA ANDP. MARÍN-RUBIO,Navier-Stokes equations with de-lays on unbounded domains, Nonlinear Anal., 64 (2006), pp. 1100–1118. (Cited on page9.)

[51] C. W. GEAR,The simultaneous numerical solution of differential-algebraic equa-tions, IEEE Trans. Circ. Theor., CT-18 (1971), pp. 89–95. (Cited on page1.)

[52] M. GERDTS, Direct shooting method for the numerical solution of higher index DAE optimal control problems, J. Optim. Th. Appl., 117 (2003), pp. 267–294.

(Cited on page91.)

[53] , Local minimum principle for optimal control problems subject to differential-algebraic equations of index two, J. Optim. Th. Appl., 130 (2006), pp. 443–462. (Cited on page21.)

[54] H. GLUESING-LUERSSEN,Linear Delay-Differential Systems with Commensurate Delays: An Algebraic Approach, Springer, Berlin, 2002. (Cited on pages24and25.)

[55] I. GOHBERG, P. LANCASTER, AND L. RODMAN, Matrix Polynomials, Academic Press, New York, NY, 1982. (Cited on page55.)

[56] K. GOPALSAMY,Stability and Oscillations in Delay Differential Equations of Pop-ulation Dynamics, Mathematics and Its Applications, Springer, 1992. (Cited on pages2and27.)

[57] C. GROSSMANN, H. ROOS, ANDM. STYNES,Numerical Treatment of Partial Dif-ferential Equations, Springer-Verlag Berlin Heidelberg, 2007. (Cited on page9.) [58] K. GU ANDS.-I. NICULESCU,Survey on recent results in the stability and control

of time-delay systems, J. Dyn. Sys., Meas., Control, 125(2) (2003), pp. 158–165.

(Cited on page2.)

[59] N. GUGLIELMI AND E. HAIRER, Implementing Radau IIA methods for stiff delay differential equations, Computing, 67 (2001), pp. 1–12. (Cited on page88.) [60] , Computing breaking points in implicit delay differential equations, Adv.

Comput. Math., 29 (2008), pp. 229–247. (Cited on pagesvi,viii,2,3,32,34,35, 87,88,89,93,98,99, and103.)

[61] A. W. GULIN, O. M. DROSDOVA, S. W. KARTYSHOV,ANDI. M. KOSHELEV, Numer-ical analysis of stability of high-order differential algebraic systems with delays, tech. report, Keldysh Institute of Applied Mathematics, Soviet Academy of Sci-ences, Moscow, RU, 1988. (Cited on page2.)

[62] M. GÜNTHER ANDU. FELDMANN,CAD-based electric-circuit modeling in indus-try I. Mathematical structure and index of network equations, Surv. Math. Ind., 8 (1999), pp. 97–129. (Cited on page7.)

[63] P. HA ANDV. MEHRMANN,Analysis and reformulation of linear delay differential-algebraic equations, Electr. J. Lin. Alg., 23 (2012), pp. 703–730. (Cited on pagesix, xi,2,22,35, and37.)

[64] P. HA AND V. MEHRMANN, Analysis and numerical solution of linear delay differential-algebraic equations, in prepatation, Institut für Mathematik, TU Berlin, D-10623 Berlin, 2014. (Cited on pagexi.)

[65] P. HA, V. MEHRMANN, AND A. STEINBRECHER, Analysis of linear variable coef-ficient delay differential-algebraic equations, J. Dynam. Differential Equations, (2014), pp. 1–26. (Cited on pagesix,xi,2,3,35,37, and68.)

[66] E. HAIRER, C. LUBICH, ANDM. ROCHE,The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta Methods, Springer-Verlag, Berlin, Germany, 1989. (Cited on page19.)

[67] J. HALE AND S. LUNEL, Introduction to Functional Differential Equations, Springer, 1993. (Cited on page25.)

[68] R. HAUBER, Numerical treatment of retarded differential algebraic equations by collocation methods, Adv. Comput. Math., 7 (1997), pp. 573–592. (Cited on pages32,34,89,98, and99.)

BIBLIOGRAPHY 110 [69] C.-W. HO, A. RUEHLI,ANDP. A. BRENNAN,The modified nodal approach to net-work analysis, IEEE Trans. Circ. and Syst., 22 (1975), pp. 504–509. (Cited on page7.)

[70] R. HORN AND C. JOHNSON,Matrix Analysis, Cambridge University Press, 1990.

(Cited on page50.)

[71] P. HÖVEL ANDE. SCHÖLL,Control of unstable steady states by time-delayed feed-back methods, Phys. Rev. E, 72 (2005), p. 046203. (Cited on page2.)

[72] A. ILCHMANN AND T. REIS, Surveys in Differential-Algebraic Equations I, Differential-Algebraic Equations Forum, Springer, 2013. (Cited on page2.) [73] T. INSPERGER, R. WOHLFART, J. TURI,ANDG. STEPAN,Equations with advanced

arguments in stick balancing models, vol. 423 of Lecture Notes in Control and Information Sciences, Springer Berlin Heidelberg, 2012, pp. 161–172. (Cited on page27.)

[74] Y. KUANG, Delay Differential Equations: With Applications in Population Dy-namics, Mathematics in Science and Engineering, Elsevier Science, 1993. (Cited on pages2,27, and32.)

[75] P. KUNKEL AND V. MEHRMANN,Differential-Algebraic Equations – Analysis and Numerical Solution, EMS Publishing House, Zürich, Switzerland, 2006. (Cited on pages2,3,13,14,15,18,21,22,33,43,67,81,91, and102.)

[76] P. KUNKEL, V. MEHRMANN, AND W. RATH, Analysis and numerical solution of control problems in descriptor form, Math. Control, Signals, Sys., 14 (2001), pp. 29–61. (Cited on pages67and103.)

[77] P. KUNKEL, V. MEHRMANN, W. RATH, AND J. WEICKERT, A new software pack-age for linear differential–algebraic equations, SIAM J. Sci. Comput., 18 (1997), pp. 115–138. (Cited on page91.)

[78] P. KUNKEL, V. MEHRMANN, ANDR. STÖVER,Multiple shooting for unstructured nonlinear differential-algebraic equations of arbitrary index, SIAM J. Numer.

Anal., 42 (2004), pp. 2277–2297. (Cited on page91.)

[79] , Symmetric collocation for unstructured nonlinear differential-algebraic equations of arbitrary index, Numer. Math., 98 (2004), pp. 277–304. (Cited on pages4and91.)

[80] P. KUNKEL ANDR. STÖVER,Symmetric collocation methods for linear differential-algebraic boundary value problems, Numer. Math., 91 (2002), pp. 475–501. (Cited on pages4,91,92,93, and96.)

[81] R. LAMOUR,A shooting method for fully implicit index-2 DAEs, SIAM J. Sci. Com-put., 18 (1997), pp. 94–114. (Cited on page91.)

[82] R. LAMOUR, R. MÄRZ, AND C. TISCHENDORF, Differential-algebraic equations:

A projector based analysis., Differential-Algebraic Equations Forum 1. Berlin:

Springer, 2013. (Cited on pages2,7, and19.)

[83] Y. LI, L. SUN, AND Q. YU, Stability of two-step Runge - Kutta methods for neu-tral delay differential-algebraic equations, Internat. J. Comput. Math., 88 (2011), pp. 375–383. (Cited on pages2,3,32,34, and99.)

[84] C. LIU, Q. ZHANG,ANDX. DUAN,Dynamical behavior in a harvested differential-algebraic prey - predator model with discrete time delay and stage structure, J.

Franklin Inst., 346 (2009), pp. 1038 – 1059. (Cited on page2.)

[85] W. LIU,Asymptotic behavior of solutions of time-delayed Burgers’ equation, Dis-crete. Cont. Dyn.-B, 2 (2002), pp. 47–56. (Cited on page8.)

[86] Y. LIU, Runge - Kutta collocation methods for systems of functional differential and functional equations, Adv. Comput. Math., 11 (1999), pp. 315–329. (Cited on pages34,98, and99.)

[87] I. D. LORAM, S. M. KELLY,ANDM. LAKIE,Human balancing of an inverted pen-dulum: is sway size controlled by ankle impedance?, J. Physiol. (London), (2001), pp. 879 – 891. (Cited on page6.)

[88] S. LORD, C. SHERRINGTON, H. MENZ, ANDJ. CLOSE,Falls in Older People: Risk Factors and Strategies for Prevention, Cambridge University Press, 2007. (Cited on page4.)

[89] W. MARSZALEK ANDS. CAMPBELL,DAEs arising from traveling wave solutions of PDEs II, Comput. Math. Appl., 37 (1999), pp. 15 – 34. (Cited on page21.)

[90] R. MÄRZ, On difference and shooting methods for boundary value problems in differential-algebraic equations, Preprint 24, Sektion Mathematik, Humboldt-Universität zu Berlin, Berlin, Germany, 1982. (Cited on page91.)

[91] THEMATHWORKS, INC.,MATLAB Version 8.3.0.532 (R2014a), Natick, MA, 2014.

(Cited on pages2and76.)

[92] ,Simulink Version 8.3, Natick, MA, 2014. (Cited on page2.)

[93] V. MEHRMANN AND C. SHI, Transformation of high order linear differential-algebraic systems to first order, Numer. Alg., 42 (2006), pp. 281–307. (Cited on pages21and22.)

[94] W. MICHIELS,Spectrum-based stability analysis and stabilisation of systems de-scribed by delay differential algebraic equations, IET Control Theory Appl., 5 (2011), pp. 1829–1842. (Cited on page2.)

[95] W. MICHIELS AND S.-I. NICULESCU, Stability and Stabilization of Time-Delay Systems: An Eigenvalue-based Approach, SIAM, 2007. (Cited on pages2,24,26, and27.)

[96] J. MILTON, J. L. CABRERA, T. OHIRA, S. TAJIMA, Y. TONOSAKI, C. W. EURICH,

ANDS. A. CAMPBELL,The time-delayed inverted pendulum: Implications for hu-man balance control, Chaos: An Interdisciplinary Journal of Nonlinear Science, 19 (2009), p. 026110. (Cited on pages4and6.)

BIBLIOGRAPHY 112 [97] N. MINORSKY,Nonlinear oscillations, Van Nostrand, 1962. (Cited on pagesxv,2,

and7.)

[98] P. G. MORASSO ANDM. SCHIEPPATI,Can muscle stiffness alone stabilize upright standing?, J. Neurophysiol., (1999), pp. 1622 – 1626. (Cited on page6.)

[99] P. MÜLLER, P. RENTROP, W. KORTÜM, AND C. FÜHRER,Constrained mechanical systems in descriptor form - identification, simulation and control, in Proceed-ings of Advanced Multibody System Dynamics in Stuttgart 1993, Kluwer 1993, pp. 451–456. 23.01.2007. (Cited on page21.)

[100] H. NAKAJIMA,On analytical properties of delayed feedback control of chaos, Phys.

Lett. A, 232 (1997), pp. 207 – 210. (Cited on page2.)

[101] A. OPPENHEIM, A. WILLSKY, ANDS. NAWAB, Signals and Systems, Prentice-Hall signal processing series, Prentice Hall, 1997. (Cited on page32.)

[102] M. OTTER, H. ELMQVIST, AND S. E. MATTSSON, Multidomain Modeling with Modelica. Handbook of Dynamic System Modelling, Chapman & Hall/CRC, 2007, ch. 36. (Cited on page21.)

[103] M. G. PANDY,Simple and complex models for studying function in walking, Phil.

Trans. R. Soc. Lond. B, (2003), pp. 1501 – 1509. (Cited on page5.)

[104] G. PLANAS ANDE. HERNÁNDEZ,Asymptotic behaviour of two-dimensional time-delayed Navier-Stokes equations, Discrete. Contin. Dyn. S, 21 (2008), pp. 1245–

1258. (Cited on page8.)

[105] L. POPPE,The strangeness index of a linear delay differential-algebraic equation of retarded type, Proceedings of the Sixth IFAC Workshop on Time-Delay Sys-tems, 2006. (Cited on page2.)

[106] D. PRAVICA, N. RANDRIAMPIRY, AND M. SPURR, Applications of an advanced differential equation in the study of wavelets, Appl. Comput. Harmon. Anal., 27 (2009), pp. 2 – 11. (Cited on page27.)

[107] K. PYRAGAS,Continuous control of chaos by self-controlling feedback, Phys. Lett.

A, 170 (1992), pp. 421 – 428. (Cited on page2.)

[108] P. RABIER ANDW. RHEINBOLDT,Nonholonomic Motion of Rigid Mechanical Sys-tems from a DAE Viewpoint, SIAM Publications, 2000. (Cited on page21.)

[109] G. RANGAIAH, Multi-objective Optimization: Techniques and Applications in Chemical Engineering, Advances in process systems engineering, Hackensack, N.J., 2009. (Cited on pagesxvand9.)

[110] R. RIAZA, Differential-algebraic systems. Analytical aspects and circuit applica-tions, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ., 2008. (Cited on pages2and7.)

[111] J.-P. RICHARD, Time-delay systems: an overview of some recent advances and open problems, Automatica, 39 (2003), pp. 1667 – 1694. (Cited on pages2and24.)

[112] R. E. ROBERSON AND R. SCHWERTASSEK, Dynamics of Multibody Systems, Springer-Verlag, Heidelberg, Germany, 1988. (Cited on page6.)

[113] D. ROSS, Controller design for time lag systems via a quadratic criterion, IEEE Trans. Automat. Control, 16 (1971), pp. 664–672. (Cited on pages9and10.) [114] A. RUEHLI,Equivalent circuit models for three-dimensional multiconductor

sys-tems, IEEE Trans. Microw. Theory Techn., 22 (1974), pp. 216–221. (Cited on page8.)

[115] ,Partial element equivalent circuit (PEEC) method and its application in the frequency and time domain, in Electromagnetic Compatibility, 1996. Symposium Record. IEEE 1996 International Symposium on, Aug 1996, pp. 128–133. (Cited on page8.)

[116] A. RUEHLI, U. MIEKKALA, A. BELLEN, AND H. HEEB, Stable time domain solu-tions for EMC problems using PEEC circuit models, in Electromagnetic Compat-ibility, 1994. Symposium Record. Compatibility in the Loop., IEEE International Symposium on, Aug 1994, pp. 371–376. (Cited on page8.)

[117] J. SAND,On implicit Euler for high-order high-index DAEs, Appl. Numer. Math., 42 (2002), pp. 411 – 424. (Cited on page21.)

[118] W. SCHIEHLEN,Multibody Systems Handbook, Springer-Verlag, Heidelberg, Ger-many, 1990. (Cited on page6.)

[119] , Advanced multibody system dynamics, Kluwer Academic Publishers, Stuttgart, Germany, 1993. (Cited on page6.)

[120] G. M. SCHOEN, Stability and Stabilization of Time-Delay Systems, phd thesis, Swiss federal institute of technology Zurich, Zurich, Switzerland, 1995. (Cited on pagesxv,9,25, and39.)

[121] V. SCHULZ, H. G. BOCK,ANDM. C. STEINBACH,Exploiting invariants in the nu-merical solution of multipoint boundary value problems for DAE, SIAM J. Sci.

Comput., 19 (1998), pp. 440–446. (Cited on page91.)

[122] L. F. SHAMPINE AND P. GAHINET,Delay-differential-algebraic equations in con-trol theory, Appl. Numer. Math., 56 (2006), pp. 574–588. (Cited on pages2,3,32, 34, and99.)

[123] C. SHI,Linear Differential-Algebraic Equations of Higher-Order and the Regular-ity or SingularRegular-ity of Matrix Polynomial, dissertation, Institut für Mathematik, TU Berlin, Berlin, Germany, 2004. (Cited on pages21and22.)

[124] B. SIMEON, Computational Flexible Multibody Dynamics: A Differential-Algebraic Approach, Differential-Differential-Algebraic Equations Forum, Springer, 2013.

(Cited on page6.)

[125] R. SIPAHI, S.-I. NICULESCU, C. ABDALLAH, W. MICHIELS, ANDK. GU, Stability and stabilization of systems with time delay, Control Systems, IEEE, 31 (2011), pp. 38–65. (Cited on page2.)

BIBLIOGRAPHY 114 [126] R. SIPAHI, T. VYHLÍDAL, S. NICULESCU,ANDP. PEPE,Time Delay Systems: Meth-ods, Applications and New Trends, Lecture Notes in Control and Information Sci-ences, Springer, 2012. (Cited on pages2and27.)

[127] A. STEINBRECHER, Numerical Solution of Quasi-Linear Differential-Algebraic Equations and Industrial Simulation of Multibody Systems, dissertation, Institut für Mathematik, TU Berlin, Berlin, Germany, 2006. (Cited on pages3and6.) [128] G. STÉPÁN AND L. KOLLÁR, Balancing with reflex delay, Math. Comput.

Mod-elling, 31 (2000), pp. 199 – 205. Proceedings of the Conference on Dynamical Systems in Biology and Medicine. (Cited on page6.)

[129] R. STÖVER, Numerische Lösung von linearen differential-algebraischen Randw-ertproblemen, dissertation, Fachbereich Mathematik, Universität Bremen, Bre-men, Germany, 1999. (Cited on page81.)

[130] , Collocation methods for solving linear differential-algebraic boundary value problems, Numer. Math., 88 (2001), pp. 771–795. (Cited on pages 4, 84, and91.)

[131] H. TIAN, Q. YU, AND J. KUANG, Asymptotic stability of linear neutral de-lay differential-algebraic equations and Runge–Kutta methods, SIAM J. Numer.

Anal., 52 (2014), pp. 68–82. (Cited on pages2,3,32, and34.)

[132] C. TISCHENDORF, Topological index calculation of differential-algebraic equa-tions in circuit simulation, Surv. Math. Ind., 8 (1999), pp. 187–199. (Cited on page7.)

[133] T. TUMA AND Á. BURMEN˝ , Circuit Simulation with SPICE OPUS: Theory and Practice, Modeling and simulation in science, engineering & technology, Springer London, 2009. (Cited on pages2and7.)

[134] T. VYHLÍDAL, J. LAFAY, AND R. SIPAHI, Delay Systems: From Theory to Numer-ics and Applications, Advances in Delays and DynamNumer-ics, Springer International Publishing, 2013. (Cited on pages2and27.)

[135] T. J. WILLIAMS AND R. E. OTTO, A generalized chemical processing model for the investigation of computer control, American Institute of Electrical Engineers, Part I: Communication and Electronics, Transactions of the, 79 (1960), pp. 458–

473. (Cited on pages9and10.)

[136] D. WINTER,Biomechanics and Motor Control of Human Movement, Wiley, 2009.

(Cited on page6.)

[137] D. A. WINTER, A. E. PATLA, F. PRINCE, M. ISHAC,ANDK. GIELO-PERCZAK, Stiff-ness control of balance in quiet standing, J. Neurophysiol., (1998), pp. 1211 – 1221.

(Cited on page6.)

[138] M. H. WOOLLACOTT, C.VONHOSTEN,ANDB. RÖSBLAD,Relation between muscle response onset and body segmental movements during postural perturbations in humans, Exp. Brain Res., 72 (1988), pp. 593 – 604. (Cited on page6.)

[139] L. WUNDERLICH,Numerical treatment of second order differential-algebraic sys-tems, in Proc. Appl. Math. and Mech. (GAMM 2006, Berlin, March 27-31, 2006), vol. 6 (1), 2006, pp. 775–776. (Cited on pages21and22.)

[140] , Analysis and Numerical Solution of Structured and Switched Differential-Algebraic Systems, dissertation, Institut für Mathematik, TU Berlin, Berlin, Ger-many, 2008. (Cited on page22.)

[141] S. YANCHUK, M. WOLFRUM, P. HÖVEL, AND E. SCHÖLL, Control of unstable steady states by long delay feedback, Phys. Rev. E, 74 (2006), p. 026201. (Cited on page2.)

[142] W. ZHU AND L. R. PETZOLD, Asymptotic stability of linear delay differential-algebraic equations and numerical methods, Appl. Numer. Math., 24 (1997), pp. 247 – 264. (Cited on pages2,3,32,34, and99.)

[143] ,Asymptotic stability of Hessenberg delay differential-algebraic equations of retarded or neutral type, Appl. Numer. Math., 27 (1998), pp. 309 – 325. (Cited on pages2,3,32, and34.)

BIBLIOGRAPHY 116