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

Grou** of $N-1$ Contingencies for Controller Synthesis: A Study for Power Line Failures

Authors: Neelay Junnarkar, Emily Jensen, Xiaofan Wu, Suat Gumussoy, Murat Arcak

Abstract: The problem of maintaining power system stability and performance after the failure of any single line in a power system (an "N-1 contingency") is investigated. Due to the large number of possible N-1 contingencies for a power network, it is impractical to optimize controller parameters for each possible contingency a priori. A method to partition a set of contingencies into groups of contingencie… ▽ More The problem of maintaining power system stability and performance after the failure of any single line in a power system (an "N-1 contingency") is investigated. Due to the large number of possible N-1 contingencies for a power network, it is impractical to optimize controller parameters for each possible contingency a priori. A method to partition a set of contingencies into groups of contingencies that are similar to each other from a control perspective is presented. Design of a single controller for each group, rather than for each contingency, provides a computationally tractable method for maintaining stability and performance after element failures. The choice of number of groups tunes a trade-off between computation time and controller performance for a given set of contingencies. Results are simulated on the IEEE 39-bus and 68-bus systems, illustrating that, with controllers designed for a relatively small number of groups, power system stability may be significantly improved after an N-1 contingency compared to continued use of the nominal controller. Furthermore, performance is comparable to that of controllers designed for each contingency individually. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: Submitted to the journal IEEE Transactions on Power Systems, 12 pages, 11 figures, 1 table

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework

Authors: Emily Jensen, Neelay Junnarkar, Murat Arcak, Xiaofan Wu, Suat Gumussoy

Abstract: This paper presents a novel framework for characterizing dissipativity of uncertain systems whose dynamics evolve according to differential-algebraic equations. Sufficient conditions for dissipativity (specializing to, e.g., stability or $L_2$ gain bounds) are provided in the case that uncertainties are characterized by integral quadratic constraints. For polynomial or linear dynamics, these condi… ▽ More This paper presents a novel framework for characterizing dissipativity of uncertain systems whose dynamics evolve according to differential-algebraic equations. Sufficient conditions for dissipativity (specializing to, e.g., stability or $L_2$ gain bounds) are provided in the case that uncertainties are characterized by integral quadratic constraints. For polynomial or linear dynamics, these conditions can be efficiently verified through sum-of-squares or semidefinite programming. Performance analysis of the IEEE 39-bus power network with a set of potential line failures modeled as an uncertainty set provides an illustrative example that highlights the computational tractability of this approach; conservatism introduced in this example is shown to be quite minimal. △ Less

Submitted 10 May, 2024; v1 submitted 16 August, 2023; originally announced August 2023.

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

PD-MORL: Preference-Driven Multi-Objective Reinforcement Learning Algorithm

Authors: Toygun Basaklar, Suat Gumussoy, Umit Y. Ogras

Abstract: Multi-objective reinforcement learning (MORL) approaches have emerged to tackle many real-world problems with multiple conflicting objectives by maximizing a joint objective function weighted by a preference vector. These approaches find fixed customized policies corresponding to preference vectors specified during training. However, the design constraints and objectives typically change dynamical… ▽ More Multi-objective reinforcement learning (MORL) approaches have emerged to tackle many real-world problems with multiple conflicting objectives by maximizing a joint objective function weighted by a preference vector. These approaches find fixed customized policies corresponding to preference vectors specified during training. However, the design constraints and objectives typically change dynamically in real-life scenarios. Furthermore, storing a policy for each potential preference is not scalable. Hence, obtaining a set of Pareto front solutions for the entire preference space in a given domain with a single training is critical. To this end, we propose a novel MORL algorithm that trains a single universal network to cover the entire preference space scalable to continuous robotic tasks. The proposed approach, Preference-Driven MORL (PD-MORL), utilizes the preferences as guidance to update the network parameters. It also employs a novel parallelization approach to increase sample efficiency. We show that PD-MORL achieves up to 25% larger hypervolume for challenging continuous control tasks and uses an order of magnitude fewer trainable parameters compared to prior approaches. △ Less

Submitted 29 May, 2023; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: 24 pages, 8 Figures, 9 Tables, Published as a conference paper at ICLR 2023, https://openreview.net/forum?id=zS9sRyaPFlJ

Hypervector Design for Efficient Hyperdimensional Computing on Edge Devices

Authors: Toygun Basaklar, Yigit Tuncel, Shruti Yadav Narayana, Suat Gumussoy, Umit Y. Ogras

Abstract: Hyperdimensional computing (HDC) has emerged as a new light-weight learning algorithm with smaller computation and energy requirements compared to conventional techniques. In HDC, data points are represented by high-dimensional vectors (hypervectors), which are mapped to high-dimensional space (hyperspace). Typically, a large hypervector dimension ($\geq1000$) is required to achieve accuracies com… ▽ More Hyperdimensional computing (HDC) has emerged as a new light-weight learning algorithm with smaller computation and energy requirements compared to conventional techniques. In HDC, data points are represented by high-dimensional vectors (hypervectors), which are mapped to high-dimensional space (hyperspace). Typically, a large hypervector dimension ($\geq1000$) is required to achieve accuracies comparable to conventional alternatives. However, unnecessarily large hypervectors increase hardware and energy costs, which can undermine their benefits. This paper presents a technique to minimize the hypervector dimension while maintaining the accuracy and improving the robustness of the classifier. To this end, we formulate the hypervector design as a multi-objective optimization problem for the first time in the literature. The proposed approach decreases the hypervector dimension by more than $32\times$ while maintaining or increasing the accuracy achieved by conventional HDC. Experiments on a commercial hardware platform show that the proposed approach achieves more than one order of magnitude reduction in model size, inference time, and energy consumption. We also demonstrate the trade-off between accuracy and robustness to noise and provide Pareto front solutions as a design parameter in our hypervector design. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Comments: 9 pages, 6 figures, accepted to tinyML 2021 Research Symposium

Transfer Learning for Human Activity Recognition using Representational Analysis of Neural Networks

Authors: Sizhe An, Ganapati Bhat, Suat Gumussoy, Umit Ogras

Abstract: Human activity recognition (HAR) research has increased in recent years due to its applications in mobile health monitoring, activity recognition, and patient rehabilitation. The typical approach is training a HAR classifier offline with known users and then using the same classifier for new users. However, the accuracy for new users can be low with this approach if their activity patterns are dif… ▽ More Human activity recognition (HAR) research has increased in recent years due to its applications in mobile health monitoring, activity recognition, and patient rehabilitation. The typical approach is training a HAR classifier offline with known users and then using the same classifier for new users. However, the accuracy for new users can be low with this approach if their activity patterns are different than those in the training data. At the same time, training from scratch for new users is not feasible for mobile applications due to the high computational cost and training time. To address this issue, we propose a HAR transfer learning framework with two components. First, a representational analysis reveals common features that can transfer across users and user-specific features that need to be customized. Using this insight, we transfer the reusable portion of the offline classifier to new users and fine-tune only the rest. Our experiments with five datasets show up to 43% accuracy improvement and 66% training time reduction when compared to the baseline without using transfer learning. Furthermore, measurements on the Nvidia Jetson Xavier-NX hardware platform reveal that the power and energy consumption decrease by 43% and 68%, respectively, while achieving the same or higher accuracy as training from scratch. △ Less

Submitted 23 February, 2021; v1 submitted 4 December, 2020; originally announced December 2020.

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

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 26 March, 2020; originally announced March 2020.

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

Journal ref: Low-Complexity Controllers for Time-Delay Systems (edited volume), pp. 95-110, Springer, 2014

An Online Learning Methodology for Performance Modeling of Graphics Processors

Authors: Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy, Umit Ogras

Abstract: Approximately 18 percent of the 3.2 million smartphone applications rely on integrated graphics processing units (GPUs) to achieve competitive performance. Graphics performance, typically measured in frames per second, is a strong function of the GPU frequency, which in turn has a significant impact on mobile processor power consumption. Consequently, dynamic power management algorithms have to as… ▽ More Approximately 18 percent of the 3.2 million smartphone applications rely on integrated graphics processing units (GPUs) to achieve competitive performance. Graphics performance, typically measured in frames per second, is a strong function of the GPU frequency, which in turn has a significant impact on mobile processor power consumption. Consequently, dynamic power management algorithms have to assess the performance sensitivity to the frequency accurately to choose the operating frequency of the GPU effectively. Since the impact of GPU frequency on performance varies rapidly over time, there is a need for online performance models that can adapt to varying workloads. This paper presents a light-weight adaptive runtime performance model that predicts the frame processing time of graphics workloads at runtime without apriori characterization. We employ this model to estimate the frame time sensitivity to the GPU frequency, i.e., the partial derivative of the frame time with respect to the GPU frequency. The proposed model does not rely on any parameter learned offline. Our experiments on commercial platforms with common GPU benchmarks show that the mean absolute percentage error in frame time and frame time sensitivity prediction are 4.2 and 6.7 percent, respectively. △ Less

Submitted 26 March, 2020; originally announced March 2020.

Journal ref: in IEEE Transactions on Computers, vol. 67, no. 12, pp. 1677-1691, 1 Dec. 2018

Analysis and Control of Power-Temperature Dynamics in Heterogeneous Multiprocessors

Authors: Ganapati Bhat, Suat Gumussoy, Umit Y. Ogras

Abstract: Virtually all electronic systems try to optimize a fundamental trade-off between higher performance and lower power consumption. The latter becomes critical in mobile computing systems, such as smartphones, which rely on passive cooling. Otherwise, the heat concentrated in a small area drives both the junction and skin temperatures up. High junction temperatures degrade the reliability, while skin… ▽ More Virtually all electronic systems try to optimize a fundamental trade-off between higher performance and lower power consumption. The latter becomes critical in mobile computing systems, such as smartphones, which rely on passive cooling. Otherwise, the heat concentrated in a small area drives both the junction and skin temperatures up. High junction temperatures degrade the reliability, while skin temperature deteriorates the user experience. Therefore, there is a strong need for a formal analysis of power consumption-temperature dynamics and predictive thermal management algorithms. This paper presents a theoretical power-temperature analysis of multiprocessor systems, which are modeled as multi-input multi-output dynamic systems. We analyze the conditions under which the system converges to a stable steady-state temperature. Then, we use these models to design a control algorithm that manages the temperature of the system without affecting the performance of the application. Experiments on the Odroid-XU3 board show that the control algorithm is able to regulate the temperature with a minimal loss in performance when compared to the default thermal governors. △ Less

Submitted 24 March, 2020; originally announced March 2020.

Comments: Will appear in a future issue of IEEE Transactions on Control Systems Technology

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

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

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 22 March, 2020; originally announced March 2020.

Journal ref: Automatica, volume 54, pages 266-271, 2015

Coprime Inner/Outer Factorization of SISO Time-Delay Systems and FIR Structure of Their Optimal H-Infinity Controllers

Authors: Suat Gumussoy

Abstract: The approach in Foias et al. (1996) is one of the well-developed methods to design H-infinity controllers for general infinite dimensional systems. This approach is applicable if the plant admits a special coprime inner/outer factorization. We give the largest class of single-input-single-output (SISO) time delay systems for which this factorization is possible and factorize the admissible plants.… ▽ More The approach in Foias et al. (1996) is one of the well-developed methods to design H-infinity controllers for general infinite dimensional systems. This approach is applicable if the plant admits a special coprime inner/outer factorization. We give the largest class of single-input-single-output (SISO) time delay systems for which this factorization is possible and factorize the admissible plants. Based on this factorization, we compute the optimal H-infinity performance and eliminate unstable pole-zero cancellations in the optimal H-infinity controller. We extend the results on the finite impulse response (FIR) structure of optimal H-infinity controllers by showing that this structure appears not only for plants with input/output (I/O) delays, but also for general SISO time-delay plants. △ Less

Submitted 22 March, 2020; originally announced March 2020.

Journal ref: International Journal of Robust and Nonlinear Control, vol. 22, no. 9, pp. 981-998, 2012

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

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 19 March, 2020; originally announced March 2020.

Comments: arXiv admin note: text overlap with arXiv:2003.04672

Journal ref: Automatica, volume 48, issue 3, 2012

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

Relative Stability Analysis of Closed-Loop SISO Dead-Time Systems: non-imaginary axis case

Authors: Suat Gumussoy

Abstract: We present a numerical method to analyze the relative stability of closed-loop single-input-single-output (SISO) dead-time systems on a given left complex half-plane for all positive delays. The well-known boundary crossing method for the imaginary axis is extended to a given vertical line stability boundary in the complex plane for these type of systems. The method allows to compute the character… ▽ More We present a numerical method to analyze the relative stability of closed-loop single-input-single-output (SISO) dead-time systems on a given left complex half-plane for all positive delays. The well-known boundary crossing method for the imaginary axis is extended to a given vertical line stability boundary in the complex plane for these type of systems. The method allows to compute the characteristic roots crossing the relative stability boundary and their corresponding delays up to a maximum predefined delay. Based on this method, we analyze the relative stability of the closed-loop system for all positive delays. Both numerical methods are effective for high-order SISO dead-time systems. △ Less

Submitted 19 March, 2020; originally announced March 2020.

Journal ref: Transactions of the Institute of Measurement and Control, vol. 34, no. 4, pp. 411-421, 2012

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

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 16 March, 2020; originally announced March 2020.

Comments: arXiv admin note: text overlap with arXiv:2003.04737

Journal ref: Automatica, volume 46, issue 4, 2010, pages 657-664

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

Stable H-infinity controller design for time-delay systems

Authors: Suat Gumussoy, Hitay Ozbay

Abstract: This paper investigates stable suboptimal H-infinity controllers for a class of single-input single-output time-delay systems. For a given plant and weighting functions, the optimal controller minimizing the mixed sensitivity (and the central suboptimal controller) may be unstable with finitely or infinitely many poles in complex right half-plane. For each of these cases search algorithms are prop… ▽ More This paper investigates stable suboptimal H-infinity controllers for a class of single-input single-output time-delay systems. For a given plant and weighting functions, the optimal controller minimizing the mixed sensitivity (and the central suboptimal controller) may be unstable with finitely or infinitely many poles in complex right half-plane. For each of these cases search algorithms are proposed to find stable suboptimal H-infinity controllers. These design methods are illustrated with examples. △ Less

Submitted 13 March, 2020; originally announced March 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:2003.01573

Journal ref: International Journal of Control, vol. 81, no. 4, pp. 546-556, 2008

Improving Linear State-Space Models with Additional Iterations

Authors: Suat Gumussoy, Ahmet Arda Ozdemir, Tomas McKelvey, Lennart Ljung, Mladen Gibanica, Rajiv Singh

Abstract: An estimated state-space model can possibly be improved by further iterations with estimation data. This contribution specifically studies if models obtained by subspace estimation can be improved by subsequent re-estimation of the B, C, and D matrices (which involves linear estimation problems). Several tests are performed, which shows that it is generally advisable to do such further re-estimati… ▽ More An estimated state-space model can possibly be improved by further iterations with estimation data. This contribution specifically studies if models obtained by subspace estimation can be improved by subsequent re-estimation of the B, C, and D matrices (which involves linear estimation problems). Several tests are performed, which shows that it is generally advisable to do such further re-estimation steps using the maximum likelihood criterion. Stated more succinctly in terms of MATLAB functions, ssest generally outperforms n4sid. △ Less

Submitted 13 March, 2020; originally announced March 2020.

Comments: 18th IFAC Symposium on System Identification, Stockholm, Sweden, July 9-11, 2018

Journal ref: IFAC-PapersOnLine, volume 51, issue 15, 2018, pages 341-346

Transfer Function Estimation in System Identification Toolbox via Vector Fitting

Authors: Ahmet Arda Ozdemir, Suat Gumussoy

Abstract: This paper considers black- and grey-box continuous-time transfer function estimation from frequency response measurements. The first contribution is a bilinear map** of the original problem from the imaginary axis onto the unitdisk. This improves the numerics of the underlying Sanathanan-Koerner iterations and the more recent instrumental-variable iterations. Orthonormal rational basis function… ▽ More This paper considers black- and grey-box continuous-time transfer function estimation from frequency response measurements. The first contribution is a bilinear map** of the original problem from the imaginary axis onto the unitdisk. This improves the numerics of the underlying Sanathanan-Koerner iterations and the more recent instrumental-variable iterations. Orthonormal rational basis functions on the unit disk are utilized. Each iteration step necessitates a minimal state-space realization with these basis functions. One such derivation is the second contribution. System identification with these basis functions yield zero-pole-gain models. The third contribution is an efficient method to express transfer function coefficient constraints in terms of the orthonormal rational basis functions. This allows for estimating transfer function models with arbitrary relative degrees (including improper models), along with other fixed and bounded parameter values. The algorithm is implemented in the tfest function in System Identification Toolbox (Release 2016b, for use with MATLAB) for frequency domain data. Two examples are presented to demonstrate the algorithm performance. △ Less

Submitted 13 March, 2020; originally announced March 2020.

Comments: 20th IFAC World Congress, Toulouse, France, July 9-14, 2017

Journal ref: IFAC-PapersOnLine, volume 50, issue 1, 2017, pages 6232-6237

On the Mixed Sensitivity Minimization for Systems with Infinitely Many Unstable Modes

Authors: Suat Gumussoy, Hitay Ozbay

Abstract: In this note we consider a class of linear time invariant systems with infinitely many unstable modes. By using the parameterization of all stabilizing controllers and a data transformation, we show that H-infinity controllers for such systems can be computed using the techniques developed earlier for infinite dimensional plants with finitely many unstable modes. In this note we consider a class of linear time invariant systems with infinitely many unstable modes. By using the parameterization of all stabilizing controllers and a data transformation, we show that H-infinity controllers for such systems can be computed using the techniques developed earlier for infinite dimensional plants with finitely many unstable modes. △ Less

Submitted 11 March, 2020; originally announced March 2020.

Comments: arXiv admin note: text overlap with arXiv:2003.01003

Journal ref: Systems & Control Letters, volume 53, issues 3-4, 2004, pages 211-216

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

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 10 March, 2020; originally announced March 2020.

Comments: Proceedings of the 18th IFAC World Congress, Milano, Italy, August 28-September 2, 2011. arXiv admin note: text overlap with arXiv:2003.04695

Journal ref: IFAC Proceedings Volumes, volume 44, issue 1, 2011

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

Authors: Wim Michiels, Suat Gumussoy

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

Submitted 24 March, 2020; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: Delay Systems: Advances in Delays and Dynamics, Springer, 2014

Computing the Pseudospectral Abscissa of Time-Delay Systems

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 6 March, 2020; originally announced March 2020.

Comments: arXiv admin note: text overlap with arXiv:2003.03248

Journal ref: 8th IFAC Workshop on Time-Delay Systems (IFAC Proceedings Volumes, vol. 42, no. 14, pp. 130-135, 2009)

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

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 10 March, 2020; originally announced March 2020.

Comments: Proceedings of the 18th IFAC World Congress, Milano, Italy, August 28-September 2, 2011

Journal ref: IFAC Proceedings Volumes, volume 45, issue 14, 2012, pages 144-149

Computer Aided Control System Design for Time Delay Systems using MATLAB

Authors: Suat Gumussoy, Pascal Gahinet

Abstract: Computer Aided Control System Design (CACSD) allows to analyze complex interconnected systems and design controllers achieving challenging control requirements. We extend CACSD to systems with time delays and illustrate the functionality of Control System Toolbox in MATLAB for such systems. We easily define systems in time and frequency domain system representations and build the overall complex s… ▽ More Computer Aided Control System Design (CACSD) allows to analyze complex interconnected systems and design controllers achieving challenging control requirements. We extend CACSD to systems with time delays and illustrate the functionality of Control System Toolbox in MATLAB for such systems. We easily define systems in time and frequency domain system representations and build the overall complex system by interconnecting subsystems. We analyze the overall system in time and frequency domains and design PID controllers satisfying design requirements. Various visualization tools are used for analysis and design verification. Our goal is to introduce these functionalities to researchers and engineers and to discuss the open directions in computer algorithms for control system design. △ Less

Submitted 24 March, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Journal ref: Delay Systems: Advances in Delays and Dynamics, vol 1. Springer, 2014

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

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 10 March, 2020; originally announced March 2020.

Comments: Proceedings of the 9th IFAC Workshop on Time-Delay Systems, 2010

Journal ref: IFAC Proceedings Volumes, Volume 43, Issue 2, 2010, Pages 81-86

H-infinity Strong Stabilization via HIFOO, a Package for Fixed-Order Controller Design

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

Abstract: We report on our experience with strong stabilization using HIFOO, a toolbox for H-infinity fixed-order controller design. We applied HIFOO to 21 fixed-order stable H-infinity controller design problems in the literature, comparing the results with those published for other methods. The results show that HIFOO often achieves good H-infinity performance with low-order stable controllers, unlike oth… ▽ More We report on our experience with strong stabilization using HIFOO, a toolbox for H-infinity fixed-order controller design. We applied HIFOO to 21 fixed-order stable H-infinity controller design problems in the literature, comparing the results with those published for other methods. The results show that HIFOO often achieves good H-infinity performance with low-order stable controllers, unlike other methods in the literature. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Comments: arXiv admin note: text overlap with arXiv:2003.02295

Journal ref: 2008 47th IEEE Conference on Decision and Control, Cancun, 2008, pp. 4135-4140

Computing H-infinity Norms of Time-Delay Systems

Authors: Suat Gumussoy, Wim Michiels

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

Submitted 6 March, 2020; originally announced March 2020.

Journal ref: Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, Shanghai, 2009, pp. 263-268

Fixed-Order H-infinity Controller Design via HIFOO, a Specialized Nonsmooth Optimization Package

Authors: Suat Gumussoy, Michael L. Overton

Abstract: We report on our experience with fixed-order H-infinity controller design using the HIFOO toolbox. We applied HIFOO to various benchmark fixed (or reduced) order H-infinity controller design problems in the literature, comparing the results with those published for other methods. The results show that HIFOO can be used as an effective alternative to existing methods for fixed-order HIFOO controlle… ▽ More We report on our experience with fixed-order H-infinity controller design using the HIFOO toolbox. We applied HIFOO to various benchmark fixed (or reduced) order H-infinity controller design problems in the literature, comparing the results with those published for other methods. The results show that HIFOO can be used as an effective alternative to existing methods for fixed-order HIFOO controller design. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Journal ref: 2008 American Control Conference, Seattle, WA, 2008, pp. 2750-2754

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

Remarks on H-infinity Controller Design for SISO Plants with Time Delays

Authors: Suat Gumussoy, Hitay Ozbay

Abstract: The skew Toeplitz approach is one of the well developed methods to design H-infinity controllers for infinite dimensional systems. In order to be able to use this method the plant needs to be factorized in some special manner. This paper investigates the largest class of SISO time delay systems for which the special factorizations required by the skew Toeplitz approach can be done. Reliable implem… ▽ More The skew Toeplitz approach is one of the well developed methods to design H-infinity controllers for infinite dimensional systems. In order to be able to use this method the plant needs to be factorized in some special manner. This paper investigates the largest class of SISO time delay systems for which the special factorizations required by the skew Toeplitz approach can be done. Reliable implementation of the optimal controller is also discussed. It is shown that the finite impulse response (FIR) block structure appears in these controllers not only for plants with I/O delays, but also for general time-delay plants. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Journal ref: 5th IFAC Symposium on Robust Control Design, 2006

Sensitivity minimization by stable controllers for a class of unstable time-delay systems

Authors: Suat Gumussoy, Hitay Ozbay

Abstract: In this paper sensitivity minimization problem is considered for a class of unstable time delay systems. Our goal is to find a stable controller stabilizing the feedback system and giving rise to smallest H-infinity norm for the sensitivity function. This problem has been solved by Ganesh and Pearson (1986) for finite dimensional plants using Nevanlinna-Pick interpolation. We extend their techniqu… ▽ More In this paper sensitivity minimization problem is considered for a class of unstable time delay systems. Our goal is to find a stable controller stabilizing the feedback system and giving rise to smallest H-infinity norm for the sensitivity function. This problem has been solved by Ganesh and Pearson (1986) for finite dimensional plants using Nevanlinna-Pick interpolation. We extend their technique to include possibly unstable time delay systems. Moreover, we illustrate suboptimal solutions, and their robust implementation. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Journal ref: 2006 9th International Conference on Control, Automation, Robotics and Vision, Singapore, 2006, pp. 1-5

Sensitivity Minimization by Strongly Stabilizing Controllers for a Class of Unstable Time-Delay Systems

Authors: Suat Gumussoy, Hitay Ozbay

Abstract: Weighted sensitivity minimization is studied within the framework of strongly stabilizing (stable) H-infinity controller design for a class of infinite dimensional systems. This problem has been solved by Ganesh and Pearson, [11], for finite dimensional plants using Nevanlinna-Pick interpolation. We extend their technique to a class of unstable time delay systems. Moreover, we illustrate suboptima… ▽ More Weighted sensitivity minimization is studied within the framework of strongly stabilizing (stable) H-infinity controller design for a class of infinite dimensional systems. This problem has been solved by Ganesh and Pearson, [11], for finite dimensional plants using Nevanlinna-Pick interpolation. We extend their technique to a class of unstable time delay systems. Moreover, we illustrate suboptimal solutions, and their robust implementation. △ Less

Submitted 19 March, 2020; v1 submitted 3 March, 2020; originally announced March 2020.

Journal ref: IEEE Transactions on Automatic Control, vol. 54, no. 3, pp. 590-595, 2009

On Stable H-infinity Controllers for Time Delay Systems

Authors: Suat Gumussoy, Hitay Ozbay

Abstract: In this paper, we study the stability of suboptimal H-infinity controllers for time-delay systems. The optimal H-infinity controller may have finitely or infinitely many unstable poles. A stable suboptimal H-infinity controller design procedure is given for each of these cases. The design methods are illustrated with examples. In this paper, we study the stability of suboptimal H-infinity controllers for time-delay systems. The optimal H-infinity controller may have finitely or infinitely many unstable poles. A stable suboptimal H-infinity controller design procedure is given for each of these cases. The design methods are illustrated with examples. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Comments: Proceedings of 16th International Symposium on Mathematical Theory of Network and Systems, 2004

Remarks on Strong Stabilization and Stable H-infinity Controller Design

Authors: Suat Gumussoy, Hitay Ozbay

Abstract: A state space based design method is given to find strongly stabilizing controllers for multiple-input-multiple-output plants (MIMO). A sufficient condition is derived for the existence of suboptimal stable H-infinity controller in terms of linear matrix inequalities (LMIs) and the controller order is twice that of the plant. A new parameterization of strongly stabilizing controllers is determined… ▽ More A state space based design method is given to find strongly stabilizing controllers for multiple-input-multiple-output plants (MIMO). A sufficient condition is derived for the existence of suboptimal stable H-infinity controller in terms of linear matrix inequalities (LMIs) and the controller order is twice that of the plant. A new parameterization of strongly stabilizing controllers is determined using linear fractional transformations (LFTs). △ Less

Submitted 11 March, 2020; v1 submitted 2 March, 2020; originally announced March 2020.

Journal ref: in IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 2083-2087, Dec. 2005

Controller Tuning for Active Queue Management Using a Parameter Space Method

Authors: Murat Saglam, Sami Ezercan, Suat Gumussoy, Hitay Ozbay

Abstract: In recent years, different mathematical models have been proposed for widely used internet control mechanisms. Simple low order controllers (such as PID, and Smith predictor based linear controllers that are easy to implement) are desired for network traffic management. In order to design such simple controllers for Active Queue Management (AQM), delay based linear models have been considered. In… ▽ More In recent years, different mathematical models have been proposed for widely used internet control mechanisms. Simple low order controllers (such as PID, and Smith predictor based linear controllers that are easy to implement) are desired for network traffic management. In order to design such simple controllers for Active Queue Management (AQM), delay based linear models have been considered. In this paper we discuss tuning of the PID controllers by using a parameter space method, which computes stability regions of a class of quasi-polynomials in terms of free controller parameters. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: Proceedings of the 16th International Symposium on Mathematical Theory of Network and Systems, 2004

Control of Systems with Infinitely Many Unstable Modes and Strongly Stabilizing Controllers Achieving a Desired Sensitivity

Authors: Suat Gumussoy, Hitay Ozbay

Abstract: In this paper we consider a class of linear time invariant systems with infinitely many unstable modes. By using the parameterization of all stabilizing controllers, we show that H-infinity controllers for such systems can be computed using the techniques developed earlier for infinite dimensional plants with finitely many unstable modes. We illustrate connections between the problem solved here a… ▽ More In this paper we consider a class of linear time invariant systems with infinitely many unstable modes. By using the parameterization of all stabilizing controllers, we show that H-infinity controllers for such systems can be computed using the techniques developed earlier for infinite dimensional plants with finitely many unstable modes. We illustrate connections between the problem solved here and an indirect method for strongly stabilizing H-infinity controller design for systems with time delays. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: Proceedings of the 15th International Symposium on Mathematical Theory of Network and Systems, pp. 1-10, 2002

Power and Thermal Analysis of Commercial Mobile Platforms: Experiments and Case Studies

Authors: Ganapati Bhat, Suat Gumussoy, Umit Y. Ogras

Abstract: State-of-the-art mobile processors can deliver fast response time and high throughput to maximize the user experience. However, high performance comes at the expense of larger power density, which leads to higher skin temperatures. Since this can degrade the user experience, there is a strong need for power consumption and thermal analysis in mobile processors. In this paper, we first perform expe… ▽ More State-of-the-art mobile processors can deliver fast response time and high throughput to maximize the user experience. However, high performance comes at the expense of larger power density, which leads to higher skin temperatures. Since this can degrade the user experience, there is a strong need for power consumption and thermal analysis in mobile processors. In this paper, we first perform experiments on the Nexus 6P phone to study the power, performance and thermal behavior of modern smartphones. Using the insight from these experiments, we propose a control algorithm that throttles select applications without affecting other apps. We demonstrate our governor on the Exynos 5422 processor employed in the Odroid-XU3 board. △ Less

Submitted 19 March, 2019; originally announced April 2019.

Comments: To appear in proceedings of IEEE DATE 2019

Power-Temperature Stability and Safety Analysis for Multiprocessor Systems

Authors: Ganapati Bhat, Suat Gumussoy, Umit Y. Ogras

Abstract: Modern multiprocessor system-on-chips (SoCs) integrate multiple heterogeneous cores to achieve high energy efficiency. The power consumption of each core contributes to an increase in the temperature across the chip floorplan. In turn, higher temperature increases the leakage power exponentially, and leads to a positive feedback with nonlinear dynamics. This paper presents a power-temperature stab… ▽ More Modern multiprocessor system-on-chips (SoCs) integrate multiple heterogeneous cores to achieve high energy efficiency. The power consumption of each core contributes to an increase in the temperature across the chip floorplan. In turn, higher temperature increases the leakage power exponentially, and leads to a positive feedback with nonlinear dynamics. This paper presents a power-temperature stability and safety analysis technique for multiprocessor systems. This analysis reveals the conditions under which the power-temperature trajectory converges to a stable fixed point. We also present a simple formula to compute the stable fixed point and maximum thermally-safe power consumption at runtime. Hardware measurements on a state-of-the-art mobile processor show that our analytical formulation can predict the stable fixed point with an average error of 2.6%. Hence, our approach can be used at runtime to ensure thermally safe operation and guard against thermal threats. △ Less

Submitted 16 June, 2018; originally announced June 2018.

Comments: Published in ACM TECS

Journal ref: ACM Trans. Embed. Comput. Syst. 16, 5s, Article 145 (September 2017), 19 pages

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 map** as a difference between two positive semidefinite convex map**s. 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 map** as a difference between two positive semidefinite convex map**s. 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.