Showing 1–10 of 10 results for author: Gumussoy, S

SSD -- Software for Systems with Delays: Reproducible Examples and Benchmarks on Model Reduction and H2 Norm Computation

Authors: Suat Gumussoy

Abstract: We present SSD, Software for Systems with Delays, a de novo MATLAB package for the analysis and model reduction of retarded time delay systems (RTDS). Underneath, our delay system object bridges RTDS representation and Linear Fractional Transformation (LFT) representation of MATLAB. This allows seamless use of many available visualizations of MATLAB. In addition, we implemented a set of key functi… ▽ More We present SSD, Software for Systems with Delays, a de novo MATLAB package for the analysis and model reduction of retarded time delay systems (RTDS). Underneath, our delay system object bridges RTDS representation and Linear Fractional Transformation (LFT) representation of MATLAB. This allows seamless use of many available visualizations of MATLAB. In addition, we implemented a set of key functionalities such as H2 norm and system gramian computations, balanced realization and reduction by direct integral definitions and utilizing sparse computation. As a theoretical contribution, we extend the frequency-limited balanced reduction to delay systems first time, propose a computational algorithm and give its implementation. We collected two sets of benchmark problems on H2 norm computation and model reduction. SSD is publicly available in GitHub at https://github.com/gumussoysuat/ssd. Our reproducible paper and two benchmark collections are shared as executable notebooks. △ Less

Submitted 24 August, 2022; originally announced August 2022.

Comments: Accepted to IFAC Workshop on Time Delay Systems at Montreal, 2022

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

Authors: Suat Gumussoy, Wim Michiels

Abstract: 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… ▽ More 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. △ Less

Submitted 23 March, 2020; originally announced March 2020.

Comments: Recent Advances in Optimization and its Applications in Engineering, Springer, 2010

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

Authors: Suat Gumussoy, Wim Michiels

Abstract: 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 D… ▽ More 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. △ Less

Submitted 19 March, 2020; originally announced March 2020.

Comments: arXiv admin note: text overlap with arXiv:2003.04695, arXiv:2003.05728

Journal ref: SIAM Journal on Control and Optimization, vol. 49, no. 2, pp. 2212-2238, 2011

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

Authors: Wim Michiels, Suat Gumussoy

Abstract: 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… ▽ More 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. △ Less

Submitted 17 March, 2020; originally announced March 2020.

Journal ref: SIAM Journal on Matrix Analysis and Applications, vol. 31, no. 4, pp. 2093-2115, 2010

On the Zeros of Quasi-Polynomials with Single Delay

Authors: Suat Gumussoy

Abstract: A new numerical method is introduced for calculation of quasi-polynomial zeros with constant single delay. The trajectories of zeros are obtained depending on time-delay from zero to final time-delay value. The method determines all the zeros of the quasi-polynomial in any right half-plane. The approach is used to determine stability analysis of time-delay systems. The method is easy to implement,… ▽ More A new numerical method is introduced for calculation of quasi-polynomial zeros with constant single delay. The trajectories of zeros are obtained depending on time-delay from zero to final time-delay value. The method determines all the zeros of the quasi-polynomial in any right half-plane. The approach is used to determine stability analysis of time-delay systems. The method is easy to implement, robust and applicable to quasi-polynomials with high order. The effectiveness of the method is shown on an example. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Journal ref: 2008 American Control Conference, Seattle, WA, 2008, pp. 5282-5286

Analytic Solution of a Delay Differential Equation Arising in Cost Functionals for Systems with Distributed Delays

Authors: Suat Gumussoy, Murad Abu-Khalaf

Abstract: The solvability of a delay differential equation arising in the construction of quadratic cost functionals, i.e. Lyapunov functionals, for a linear time-delay system with a constant and a distributed delay is investigated. We present a delay-free auxiliary ordinary differential equation system with algebraically coupled split-boundary conditions, that characterizes the solutions of the delay diffe… ▽ More The solvability of a delay differential equation arising in the construction of quadratic cost functionals, i.e. Lyapunov functionals, for a linear time-delay system with a constant and a distributed delay is investigated. We present a delay-free auxiliary ordinary differential equation system with algebraically coupled split-boundary conditions, that characterizes the solutions of the delay differential equation and is used for solution synthesis. A spectral property of the time-delay system yields a necessary and sufficient condition for existence and uniqueness of solutions to the auxiliary system, equivalently the delay differential equation. The result is a tractable analytic solution framework to the delay differential equation. △ Less

Submitted 20 September, 2019; v1 submitted 18 April, 2018; originally announced April 2018.

Comments: Accepted version by IEEE Transactions on Automatic Control

Journal ref: https://doi.org/10.1109/TAC.2019.2921658

Comments on: "Lyapunov matrices for a class of time delay systems" by V. L. Kharitonov

Authors: Murad Abu-Khalaf, Suat Gumussoy

Abstract: We prove that an auxiliary two-point boundary value problem presented in V. L. Kharitonov, Lyapunov matrices for a class of time delay systems, Systems & Control Letters 55 (2006) 610-617 has linearly dependent boundary conditions, and consequently a unique solution does not exist. Therefore, the two-point boundary value problem presented therein fails to be a basis for constructing Lyapunov matri… ▽ More We prove that an auxiliary two-point boundary value problem presented in V. L. Kharitonov, Lyapunov matrices for a class of time delay systems, Systems & Control Letters 55 (2006) 610-617 has linearly dependent boundary conditions, and consequently a unique solution does not exist. Therefore, the two-point boundary value problem presented therein fails to be a basis for constructing Lyapunov matrices for the class of time delay systems investigated. △ Less

Submitted 19 February, 2018; originally announced February 2018.

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

Authors: Quoc Tran Dinh, Suat Gumussoy, Wim Michiels, Moritz Diehl

Abstract: 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 synthes… ▽ More 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. △ Less

Submitted 15 September, 2011; originally announced September 2011.

Comments: 22 pages

H2 for HIFOO

Authors: Denis Arzelier, Deaconu Georgia, Suat Gumussoy, Didier Henrion

Abstract: HIFOO is a public-domain Matlab package initially designed for Hinfinity fixed-order controller synthesis, using nonsmooth nonconvex optimization techniques. It was later on extended to multi-objective synthesis, including strong and simultaneous stabilization under Hinfinity constraints. In this paper we describe a further extension of HIFOO to H2 performance criteria, making it possible to addre… ▽ More HIFOO is a public-domain Matlab package initially designed for Hinfinity fixed-order controller synthesis, using nonsmooth nonconvex optimization techniques. It was later on extended to multi-objective synthesis, including strong and simultaneous stabilization under Hinfinity constraints. In this paper we describe a further extension of HIFOO to H2 performance criteria, making it possible to address mixed H2/Hinfinity synthesis. We give implementation details and report our extensive benchmark results. △ Less

Submitted 7 October, 2010; originally announced October 2010.

Multiobjective Robust Control with HIFOO 2.0

Authors: Suat Gumussoy, Didier Henrion, Marc Millstone, Michael L. Overton

Abstract: Multiobjective control design is known to be a difficult problem both in theory and practice. Our approach is to search for locally optimal solutions of a nonsmooth optimization problem that is built to incorporate minimization objectives and constraints for multiple plants. We report on the success of this approach using our public-domain Matlab toolbox HIFOO 2.0, comparing our results with ben… ▽ More Multiobjective control design is known to be a difficult problem both in theory and practice. Our approach is to search for locally optimal solutions of a nonsmooth optimization problem that is built to incorporate minimization objectives and constraints for multiple plants. We report on the success of this approach using our public-domain Matlab toolbox HIFOO 2.0, comparing our results with benchmarks in the literature. △ Less

Submitted 25 May, 2009; v1 submitted 20 May, 2009; originally announced May 2009.