Source author record

Wim Michiels

Wim Michiels appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

25works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2022arXiv

A structure preserving shift-invert infinite Arnoldi algorithm for a class of delay eigenvalue problems with Hamiltonian symmetry

In this work we consider a class of delay eigenvalue problems that admit a spectrum similar to that of a Hamiltonian matrix, in the sense that the spectrum is symmetric with respect to both the real and imaginary axis. More precisely, we present a method to iteratively approximate the eigenvalues of such delay eigenvalue problems closest to a given purely real or imaginary shift, while preserving the symmetries of the spectrum. To this end the presented method exploits the equivalence between the considered delay eigenvalue problem and the eigenvalue problem associated with a linear but infinite-dimensional operator. To compute the eigenvalues closest to the given shift, we apply a specifically chosen shift-invert transformation to this linear operator and compute the eigenvalues with the largest modulus of the new shifted and inverted operator using an (infinite) Arnoldi procedure. The advantage of the chosen shift-invert transformation is that the spectrum of the transformed operator has a "real skew-Hamiltonian"-like structure. Furthermore, it is proven that the Krylov space constructed by applying this operator, satisfies an orthogonality property in terms of a specifically chosen bilinear form. By taking this property into account during the orthogonalization process, it is ensured that even in the presence of rounding errors, the obtained approximation for, e.g., a simple, purely imaginary eigenvalue is simple and purely imaginary. The presented work can thus be seen as an extension of [V. Mehrmann and D. Watkins, "Structure-Preserving Methods for Computing Eigenpairs of Large Sparse Skew-Hamiltonian/Hamiltonian Pencils", SIAM J. Sci. Comput. (22.6), 2001], to the considered class of delay eigenvalue problems. Although the presented method is initially defined on function spaces, it can be implemented using finite dimensional linear algebra operations.

preprint2020arXiv

A Predictor-Corrector Type Algorithm for the Pseudospectral Abscissa Computation of Time-Delay Systems

The pseudospectrum of a linear time-invariant system is the set in the complex plane consisting of all the roots of the characteristic equation when the system matrices are subjected to all possible perturbations with a given upper bound. The pseudospectral abscissa is defined as the maximum real part of the characteristic roots in the pseudospectrum and, therefore, it is for instance important from a robust stability point of view. In this paper we present an accurate method for the computation of the pseudospectral abscissa of retarded delay differential equations with discrete pointwise delays. Our approach is based on the connections between the pseudospectrum and the level sets of an appropriately defined complex function. The computation is done in two steps. In the prediction step, an approximation of the pseudospectral abscissa is obtained based on a rational approximation of the characteristic matrix and the application of a bisection algorithm. Each step in this bisection algorithm relies on checking the presence of the imaginary axis eigenvalues of a complex matrix, similar to the delay free case. In the corrector step, the approximate pseudospectral abscissa is corrected to any given accuracy, by solving a set of nonlinear equations that characterize extreme points in the pseudospectrum contours.

preprint2020arXiv

A scalable controller synthesis method for the robust control of networked systems

This manuscript discusses a scalable controller synthesis method for networked systems with a large number of identical subsystems based on the H-infinity control framework. The dynamics of the individual subsystems are described by identical linear time-invariant delay differential equations and the effect of transport and communication delay is explicitly taken into account. The presented method is based on the result that, under a particular assumption on the graph describing the interconnections between the subsystems, the H-infinity norm of the overall system is upper bounded by the robust H-infinity norm of a single subsystem with an additional uncertainty. This work will therefore briefly discuss a recently developed method to compute this last quantity. The resulting controller is then obtained by directly minimizing this upper bound in the controller parameters.

preprint2020arXiv

Analysis and Design of Strongly Stabilizing PID Controllers for Time-Delay Systems

This paper presents the analysis of the stability properties of PID controllers for dynamical systems with multiple state delays, focusing on the mathematical characterization of the potential sensitivity of stability with respect to infinitesimal parametric perturbations. These perturbations originate for instance from neglecting feedback delay, a finite difference approximation of the derivative action, or neglecting fast dynamics. The analysis of these potential sensitivity problems leads us to the introduction of a `robustified' notion of stability called \emph{strong stability}, inspired by the corresponding notion for neutral functional differential equations. We prove that strong stability can be achieved by adding a low-pass filter with a sufficiently large cut-off frequency to the control loop, on the condition that the filter itself does not destabilize the nominal closed-loop system. Throughout the paper, the theoretical results are illustrated by examples that can be analyzed analytically, including, among others, a third-order unstable system where both proportional and derivative control action are necessary for achieving stability, while the regions in the gain parameter-space for stability and strong stability are not identical. Besides the analysis of strong stability, a computational procedure is provided for designing strongly stabilizing PID controllers. Computational case-studies illustrating this design procedure complete the presentation.

preprint2020arXiv

Characterization and computation of H-infinity norms for time-delay systems

We consider the characterization and computation of H-infinity norms for a class of time-delay systems. It is well known that in the finite dimensional case the H-infinity norm of a transfer function can be computed using the connections between the corresponding singular value curves and the imaginary axis eigenvalues of a Hamiltonian matrix, leading to the established level set methods. We show a similar connection between the transfer function of a time-delay system and the imaginary axis eigenvalues of an infinite dimensional linear operator $\mathcal{L}_ξ^N$. Based on this result, we propose a predictor-corrector algorithm for the computation of the H-infinity norm. In the prediction step, a finite-dimensional approximation of the problem, induced by a spectral discretization of the operator $\mathcal{L}_ξ$, and an adaptation of the algorithms for finite-dimensional systems, allow to obtain an approximation of the H-infinity norm of the transfer function of the time-delay system. In the next step the approximate results are corrected to the desired accuracy by solving a set of nonlinear equations which are obtained from the reformulation of the eigenvalue problem for the linear infinite-dimensional operator $\mathcal{L}_ξ^N$ as a finite dimensional nonlinear eigenvalue problem. These equations can be interpreted as characterizations of peak values in the singular value plot. The effects of the discretization in the predictor step are fully characterized and the choice of the number of discretization points is discussed. The paper concludes with a numerical example and the presentation of the results of extensive benchmarking.

preprint2020arXiv

Computation of Extremum Singular Values and the Strong H-infinity Norm of SISO Time-Delay Systems

We consider the computation of H-infinity norms for Single-Input-Single-Output (SISO) time-delay systems, which are described by delay differential algebraic equations. Unlike the iterative level set methods in the literature, we present a novel numerical method to compute the H-infinity norm. This method requires solving one eigenvalue problem of at most twice the size of the eigenvalue problem in every iteration of a level set method, but in practice often considerably lower. We first show that the computation of extrema of the transfer function can be turned into the computation of the imaginary axis zeros of a transcendental function. We compute these zeros by a predictor-corrector type algorithm. It is known that the H-infinity norm of delay differential algebraic systems, which can model both retarded and neutral type systems, might be sensitive with respect to arbitrarily small delay perturbations. This recently led to the concept of strong H-infinity norms, which explicitly take into account such small delay perturbations. We present a direct numerical method to compute the strong H-infinity norm of SISO time-delay systems. Our algorithm is applicable to the closed-loop system of interconnections (series, parallel, feedback, junctions) of time-delay systems and/or controllers.

preprint2020arXiv

Computing H-infinity Norms of Time-Delay Systems

In this paper we consider the computation of H-infinity norm of retarded time-delay systems with discrete pointwise state delays. It is well known that in the finite dimensional case H-infinity norm of a system is computed using the connection between the singular values of the transfer function and the imaginary axis eigenvalues of an Hamiltonian matrix. We show a similar connection between the singular values of a transfer function of a time-delay system and the imaginary axis eigenvalues of an infinite dimensional operator $\mathcal{L}_ξ$. Using spectral methods, this linear operator is approximated with a matrix. The approximate H-infinity norm of the time-delay system is calculated using the connection between the imaginary eigenvalues of this matrix and the singular values of a finite dimensional approximation of the time-delay system. Finally the approximate results are corrected by solving a set of equations which are obtained from the reformulation of the eigenvalue problem for $\mathcal{L}_ξ$ as a finite dimensional nonlinear eigenvalue problem.

preprint2020arXiv

Computing the Pseudospectral Abscissa of Time-Delay Systems

The pseudospectra of a linear time-invariant system are the sets in the complex plane consisting of all the roots of the characteristic equation when the system matrices are subjected to all possible perturbations with a given upper bound. The pseudospectral abscissa are defined as the maximum real part of the characteristic roots in the pseudospectra and, therefore, they are for instance important from a robust stability point of view. In this paper we present a numerical method for the computation of the pseudospectral abscissa of retarded delay differential equations with discrete pointwise delays. Our approach is based on the connections between the pseudospectra and the level sets of an appropriately defined complex function. These connections lead us to a bisection algorithm for the computation of the pseudospectral abscissa, where each step relies on checking the presence of imaginary axis eigenvalues of an appropriately defined operator. Because this operator is infinite-dimensional a predictor-corrector approach is taken. In the predictor step the bisection algorithm is applied where the operator is discretized into a matrix, yielding approximations for the pseudospectral abscissa. The effect of the discretization is fully characterized in the paper. In the corrector step, the approximate pseudospectral abscissa are corrected to any given accuracy, by solving a set of nonlinear equations that characterize extreme points in the pseudospectra contours.

preprint2020arXiv

Continuation Based Computation of Root-Locus for SISO Dead-Time Systems

We present a numerical method to plot the root-locus of Single-Input-Single-Output (SISO) dead-time systems on a given right half-plane up to a predefined controller gain. We compute the starting and intersection points of root-locus inside the region and we obtain the root-loci of each root based on a predictor-corrector type continuation method. The method is effective for high-order SISO dead-time systems.

preprint2020arXiv

Eigenvalue based algorithms and software for the design of fixed-order stabilizing controllers for interconnected systems with time-delays

An eigenvalue based framework is developed for the stability analysis and stabilization of coupled systems with time-delays, which are naturally described by delay differential algebraic equations. The spectral properties of these equations are analyzed and their stability properties are studied, taking into account the effect of small delay perturbations. Subsequently, numerical methods for stability assessment and for designing stabilizing controllers with a prescribed structure or order, based on a direct optimization approach, are briefly addressed. The effectiveness of the approach is illustrated with a software demo. The paper concludes by pointing out the similarities with the computation and optimization of H-infinity norms.

preprint2020arXiv

Fixed-order H-infinity control for interconnected systems using delay differential algebraic equations

We analyze and design H-infinity controllers for general time-delay systems with time-delays in systems' state, inputs and outputs. We allow the designer to choose the order of the controller and to introduce constant time-delays in the controller. The closed-loop system of the plant and the controller is modeled by a system of delay differential algebraic equations (DDAEs). The advantage of the DDAE modeling framework is that any interconnection of systems and controllers prone to various types of delays can be dealt with in a systematic way, without using any elimination technique. We present a predictor-correct algorithm for the H-infinity norm computation of systems described by DDAEs. Instrumental to this we analyze the properties of the H-infinity norm. In particular, we illustrate that it may be sensitive with respect to arbitrarily small delay perturbations. Due to this sensitivity, we introduce the strong H-infinity norm which explicitly takes into account small delay perturbations, inevitable in any practical control application. We present a numerical algorithm to compute the strong H-infinity norm for DDAEs. Using this algorithm and the computation of the gradient of the strong H-infinity norm with respect to the controller parameters, we minimize the strong H-infinity norm of the closed-loop system based on non-smooth, non-convex optimization methods. By this approach, we tune the controller parameters and design H-infinity controllers with a prescribed order or structure.

preprint2020arXiv

Fixed-Order H-infinity Optimization of Time-Delay Systems

H-infinity controllers are frequently used in control theory due to their robust performance and stabilization. Classical H-infinity controller synthesis methods for finite dimensional LTI MIMO plants result in high-order controllers for high-order plants whereas low-order controllers are desired in practice. We design fixed-order H-infinity controllers for a class of time-delay systems based on a non-smooth, non-convex optimization method and a recently developed numerical method for H-infinity norm computations.

preprint2020arXiv

Fixed-order strong H-infinity control of interconnected systems with time-delays

We design fixed-order strong H-infinity controllers for general time-delay systems. The designer chooses the controller order and may introduce constant time-delays in the controller. We represent the closed-loop system of the plant and the controller as delay differential algebraic equations (DDAEs). This representation deals with any interconnection of systems with time-delays without any elimination techniques. We present a numerical algorithm to compute the strong H-infinity norm for DDAEs which is robust to arbitrarily small delay perturbations, unlike the standard H-infinity norm. We optimize the strong H-infinity norm of the closed-loop system based on non-smooth, non-convex optimization methods using this algorithm and the computation of the gradient of the strong H-infinity norm with respect to the controller parameters. We tune the controller parameters and design H-infinity controllers with a prescribed order or structure.

preprint2020arXiv

On the sensitivity of the H-infinity norm of systems described by delay differential algebraic equations

We consider delay differential algebraic equations (DDAEs) to model interconnected systems with time-delays. The DDAE framework does not require any elimination techniques and can directly deal with any interconnection of systems and controllers with time-delays. In this framework, we analyze the properties of the H-infinity norm of systems described by delay differential algebraic equations. We show that the standard H-infinity norm may be sensitive to arbitrarily small delay perturbations. We introduce the strong H-infinity norm which is insensitive to small delay perturbations and describe its properties. We conclude that the strong H-infinity norm is more appropriate in any practical control application compared to the standard H-infinity norm for systems with time-delays whenever there are high-frequency paths in control loops.

preprint2020arXiv

Root Locus for SISO Dead-Time Systems: A Continuation Based Approach

We present a numerical method to plot the root locus of Single-Input-Single-Output (SISO) dead-time systems with respect to the controller gain or the system delay. We compute the trajectories of characteristic roots of the closed-loop system on a prescribed complex right half-plane. We calculate the starting, branch and boundary crossing roots of root-locus branches inside the region. We compute the root locus of each characteristic root based on a predictor-corrector type continuation method. To avoid the high sensitivity of roots with respect to the locus parameter in the neighborhood of branch points, the continuation method relies on a natural parameterization of the root-locus trajectory in terms of a distance in the (characteristic root, locus parameter)-space. The method is numerically stable for high order SISO dead-time systems.

preprint2020arXiv

Tuning an H-Infinity Controller with a Given Order and a Structure for Interconnected Systems with Delays

An eigenvalue based framework is developed for the H-infinity norm analysis and its norm minimization of coupled systems with time-delays, which are naturally described by delay differential algebraic equations (DDAEs). For these equations H-infinity norms are analyzed and their sensitivity with respect to small delay perturbations is studied. Subsequently, numerical methods for the H-infinity norm computation and for designing controllers minimizing the H-infinity norm with a prescribed structure or order, based on a direct optimization approach, are briefly addressed. The effectiveness of the approach is illustrated with a software demo. The chapter concludes by pointing out the similarities with the computation and optimization of characteristic roots of DDAEs.

preprint2014arXiv

An Inequality Constrained SL/QP Method for Minimizing the Spectral Abscissa

We consider a problem in eigenvalue optimization, in particular finding a local minimizer of the spectral abscissa - the value of a parameter that results in the smallest value of the largest real part of the spectrum of a matrix system. This is an important problem for the stabilization of control systems. Many systems require the spectra to lie in the left half plane in order for them to be stable. The optimization problem, however, is difficult to solve because the underlying objective function is nonconvex, nonsmooth, and non-Lipschitz. In addition, local minima tend to correspond to points of non-differentiability and locally non-Lipschitz behavior. We present a sequential linear and quadratic programming algorithm that solves a series of linear or quadratic subproblems formed by linearizing the surfaces corresponding to the largest eigenvalues. We present numerical results comparing the algorithms to the state of the art.

preprint2014arXiv

Some Special Cases in the Stability Analysis of Multi-Dimensional Time-Delay Systems Using The Matrix Lambert W function

This paper revisits a recently developed methodology based on the matrix Lambert W function for the stability analysis of linear time invariant, time delay systems. By studying a particular, yet common, second order system, we show that in general there is no one to one correspondence between the branches of the matrix Lambert W function and the characteristic roots of the system. Furthermore, it is shown that under mild conditions only two branches suffice to find the complete spectrum of the system, and that the principal branch can be used to find several roots, and not the dominant root only, as stated in previous works. The results are first presented analytically, and then verified by numerical experiments.

preprint2013arXiv

Model-free control of microgrids

A new "model-free" control methodology is applied for the first time to power systems included in microgrids networks. We evaluate its performances regarding output load and supply variations in different working configuration of the microgrid. Our approach, which utilizes "intelligent" PI controllers, does not require any converter or microgrid model identification while ensuring the stability and the robustness of the controlled system. Simulations results show that with a simple control structure, the proposed control method is almost insensitive to fluctuations and large load variations.

preprint2013arXiv

Model-free control of nonlinear power converters

A new "model-free" control methodology is applied to a boost power converter. The properties of the boost converter allow to evaluate the performances of the model-free strategy in the case of switching nonlinear transfer functions, regarding load variations. Our approach, which utilizes "intelligent" PI controllers, does not require any converter model identification while ensuring the stability and the robustness of the controlled system. Simulation results show that, with a simple control structure, the proposed control method is almost insensitive to fluctuations and large load variations.

preprint2012arXiv

An Inner Convex Approximation Algorithm for BMI Optimization and Applications in Control

In this work, we propose a new local optimization method to solve a class of nonconvex semidefinite programming (SDP) problems. The basic idea is to approximate the feasible set of the nonconvex SDP problem by inner positive semidefinite convex approximations via a parameterization technique. This leads to an iterative procedure to search a local optimum of the nonconvex problem. The convergence of the algorithm is analyzed under mild assumptions. Applications in static output feedback control are benchmarked and numerical tests are implemented based on the data from the COMPLeib library.

preprint2012arXiv

An inverse iteration method for eigenvalue problems with eigenvector nonlinearities

Consider a symmetric matrix $A(v)\in\RR^{n\times n}$ depending on a vector $v\in\RR^n$ and satisfying the property $A(αv)=A(v)$ for any $α\in\RR\backslash{0}$. We will here study the problem of finding $(λ,v)\in\RR\times \RR^n\backslash\{0\}$ such that $(λ,v)$ is an eigenpair of the matrix $A(v)$ and we propose a generalization of inverse iteration for eigenvalue problems with this type of eigenvector nonlinearity. The convergence of the proposed method is studied and several convergence properties are shown to be analogous to inverse iteration for standard eigenvalue problems, including local convergence properties. The algorithm is also shown to be equivalent to a particular discretization of an associated ordinary differential equation, if the shift is chosen in a particular way. The algorithm is adapted to a variant of the Schrödinger equation known as the Gross-Pitaevskii equation. We use numerical simulations toillustrate the convergence properties, as well as the efficiency of the algorithm and the adaption.

preprint2012arXiv

Computing a partial Schur factorization of nonlinear eigenvalue problems using the infinite Arnoldi method

The partial Schur factorization can be used to represent several eigenpairs of a matrix in a numerically robust way. Different adaptions of the Arnoldi method are often used to compute partial Schur factorizations. We propose here a technique to compute a partial Schur factorization of a nonlinear eigenvalue problem (NEP). The technique is inspired by the algorithm in [8], now called the infinite Arnoldi method. The infinite Arnoldi method is a method designed for NEPs, and can be interpreted as Arnoldi's method applied to a linear infinite-dimensional operator, whose reciprocal eigenvalues are the solutions to the NEP. As a first result we show that the invariant pairs of the operator are equivalent to invariant pairs of the NEP. We characterize the structure of the invariant pairs of the operator and show how one can carry out a modification of the infinite Arnoldi method by respecting the structure. This also allows us to naturally add the feature known as locking. We nest this algorithm with an outer iteration, where the infinite Arnoldi method for a particular type of structured functions is appropriately restarted. The restarting exploits the structure and is inspired by the well-known implicitly restarted Arnoldi method for standard eigenvalue problems. The final algorithm is applied to examples from a benchmark collection, showing that both processing time and memory consumption can be considerably reduced with the restarting technique.

preprint2011arXiv

Combining Convex-Concave Decompositions and Linearization Approaches for solving BMIs, with application to Static Output Feedback

A novel optimization method is proposed to minimize a convex function subject to bilinear matrix inequality (BMI) constraints. The key idea is to decompose the bilinear mapping as a difference between two positive semidefinite convex mappings. At each iteration of the algorithm the concave part is linearized, leading to a convex subproblem.Applications to various output feedback controller synthesis problems are presented. In these applications the subproblem in each iteration step can be turned into a convex optimization problem with linear matrix inequality (LMI) constraints. The performance of the algorithm has been benchmarked on the data from COMPleib library.

preprint2010arXiv

Computing singularities of perturbation series

Many properties of current \emph{ab initio} approaches to the quantum many-body problem, both perturbational or otherwise, are related to the singularity structure of Rayleigh--Schrödinger perturbation theory. A numerical procedure is presented that in principle computes the complete set of singularities, including the dominant singularity which limits the radius of convergence. The method approximates the singularities as eigenvalues of a certain generalized eigenvalue equation which is solved using iterative techniques. It relies on computation of the action of the perturbed Hamiltonian on a vector, and does not rely on the terms in the perturbation series. Some illustrative model problems are studied, including a Helium-like model with $δ$-function interactions for which Møller--Plesset perturbation theory is considered and the radius of convergence found.