-
$\mathcal{H}_2$-optimal model reduction of linear quadratic-output systems by multivariate rational interpolation
Authors:
Sean Reiter,
Ion Victor Gosea,
Igor Pontes Duff,
Serkan Gugercin
Abstract:
This paper addresses the $\mathcal{H}_2$-optimal approximation of linear dynamical systems with quadratic-output functions, also known as linear quadratic-output systems. Our major contributions are threefold. First, we derive interpolation-based first-order optimality conditions for the linear quadratic-output $\mathcal{H}_2$ minimization problem. These conditions correspond to the mixed-multipoi…
▽ More
This paper addresses the $\mathcal{H}_2$-optimal approximation of linear dynamical systems with quadratic-output functions, also known as linear quadratic-output systems. Our major contributions are threefold. First, we derive interpolation-based first-order optimality conditions for the linear quadratic-output $\mathcal{H}_2$ minimization problem. These conditions correspond to the mixed-multipoint tangential interpolation of the full-order linear- and quadratic-output transfer functions, and generalize the Meier-Luenberger optimality framework for the $\mathcal{H}_2$-optimal model reduction of linear time-invariant systems. Second, given the interpolation data, we show how to enforce these mixed-multipoint tangential interpolation conditions explicitly by Petrov-Galerkin projection of the full-order model matrices. Third, to find the optimal interpolation data, we build on this projection framework and propose a generalization of the iterative rational Krylov algorithm for the $\mathcal{H}_2$-optimal model reduction of linear quadratic-output systems, called LQO-IRKA. Upon convergence, LQO-IRKA produces a reduced linear quadratic-output system that satisfies the interpolatory optimality conditions. The method only requires solving shifted linear systems and matrix-vector products, thus making it suitable for large-scale problems. Numerical examples are included to illustrate the effectiveness of the proposed method.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
$\mathcal{H}_2$ optimal model reduction of linear systems with multiple quadratic outputs
Authors:
Sean Reiter,
Igor Pontes Duff,
Ion Victor Gosea,
Serkan Gugercin
Abstract:
In this work, we consider the $\mathcal{H}_2$ optimal model reduction of dynamical systems that are linear in the state equation and up to quadratic nonlinearity in the output equation. As our primary theoretical contributions, we derive gradients of the squared $\mathcal{H}_2$ system error with respect to the reduced model quantities and, from the stationary points of these gradients, introduce G…
▽ More
In this work, we consider the $\mathcal{H}_2$ optimal model reduction of dynamical systems that are linear in the state equation and up to quadratic nonlinearity in the output equation. As our primary theoretical contributions, we derive gradients of the squared $\mathcal{H}_2$ system error with respect to the reduced model quantities and, from the stationary points of these gradients, introduce Gramian-based first-order necessary conditions for the $\mathcal{H}_2$ optimal approximation of a linear quadratic output (LQO) system. The resulting $\mathcal{H}_2$ optimality framework neatly generalizes the analogous Gramian-based optimality framework for purely linear systems. Computationally, we show how to enforce the necessary optimality conditions using Petrov-Galerkin projection; the corresponding projection matrices are obtained from a pair of Sylvester equations. Based on this result, we propose an iteratively corrected algorithm for the $\mathcal{H}_2$ model reduction of LQO systems, which we refer to as LQO-TSIA (linear quadratic output two-sided iteration algorithm). Numerical examples are included to illustrate the effectiveness of the proposed computational method against other existing approaches.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Data-Driven Identification of Rayleigh-Damped Second-Order Systems
Authors:
Igor Pontes Duff,
Pawan Goyal,
Peter Benner
Abstract:
In this paper, we present a data-driven approach to identify second-order systems, having internal Rayleigh damping. This means that the damping matrix is given as a linear combination of the mass and stiffness matrices. These systems typically appear when performing various engineering studies, e.g., vibrational and structural analysis. In an experimental setup, the frequency response of a system…
▽ More
In this paper, we present a data-driven approach to identify second-order systems, having internal Rayleigh damping. This means that the damping matrix is given as a linear combination of the mass and stiffness matrices. These systems typically appear when performing various engineering studies, e.g., vibrational and structural analysis. In an experimental setup, the frequency response of a system can be measured via various approaches, for instance, by measuring the vibrations using an accelerometer. As a consequence, given frequency samples, the identification of the underlying system relies on rational approximation. To that aim, we propose an identification of the corresponding second-order system, extending the Loewner framework for this class of systems. The efficiency of the proposed method is demonstrated by means of various numerical benchmarks.
△ Less
Submitted 2 October, 2019;
originally announced October 2019.
-
New Gramians for Linear Switched Systems: Reachability, Observability, and Model Reduction
Authors:
Igor Pontes Duff,
Sara Grundel,
Peter Benner
Abstract:
In this paper, we propose new algebraic Gramians for continuous-time linear switched systems, which satisfy generalized Lyapunov equations. The main contribution of this work is twofold. First, we show that the ranges of those Gramians encode the reachability and observability spaces of a linear switched system. As a consequence, a simple Gramian-based criterion for reachability and observability…
▽ More
In this paper, we propose new algebraic Gramians for continuous-time linear switched systems, which satisfy generalized Lyapunov equations. The main contribution of this work is twofold. First, we show that the ranges of those Gramians encode the reachability and observability spaces of a linear switched system. As a consequence, a simple Gramian-based criterion for reachability and observability is established. Second, a balancing-based model order reduction technique is proposed and, under some sufficient conditions, stability preservation and an error bound are shown. Finally, the efficiency of the proposed method is illustrated by means of numerical examples.
△ Less
Submitted 1 June, 2018;
originally announced June 2018.
-
Optimal $\mathcal{H}_{2}$ model approximation based on multiple input/output delays systems
Authors:
Igor Pontes Duff,
Charles Poussot-Vassal,
Cédric Seren
Abstract:
In this paper, the $\mathcal{H}_{2}$ optimal approximation of a $n_{y}\times{n_{u}}$ transfer function $\mathbf{G}(s)$ by a finite dimensional system $\hat{\mathbf{H}}_{d}(s)$ including input/output delays, is addressed. The underlying $\mathcal{H}_{2}$ optimality conditions of the approximation problem are firstly derived and established in the case of a poles/residues decomposition. These latter…
▽ More
In this paper, the $\mathcal{H}_{2}$ optimal approximation of a $n_{y}\times{n_{u}}$ transfer function $\mathbf{G}(s)$ by a finite dimensional system $\hat{\mathbf{H}}_{d}(s)$ including input/output delays, is addressed. The underlying $\mathcal{H}_{2}$ optimality conditions of the approximation problem are firstly derived and established in the case of a poles/residues decomposition. These latter form an extension of the tangential interpolatory conditions, presented in~\cite{gugercin2008h_2,dooren2007} for the delay-free case, which is the main contribution of this paper. Secondly, a two stage algorithm is proposed in order to practically obtain such an approximation.
△ Less
Submitted 16 November, 2015;
originally announced November 2015.
-
Realization independent single time-delay dynamical model interpolation and $\mathcal{H}_2$-optimal approximation
Authors:
I. Pontes Duff,
C. Poussot-Vassal,
C. Seren
Abstract:
In this paper, the realization-free model approximation problem, as stated in \cite{mayo2007framework,beattie2012realization}, is revisited in the case where the interpolating model might be time-delay dependent. To this aim, the Loewner framework, initially settled for delay-free realization, is firstly generalized to the single delay case. Secondly, the (infinite) model approximation…
▽ More
In this paper, the realization-free model approximation problem, as stated in \cite{mayo2007framework,beattie2012realization}, is revisited in the case where the interpolating model might be time-delay dependent. To this aim, the Loewner framework, initially settled for delay-free realization, is firstly generalized to the single delay case. Secondly, the (infinite) model approximation $\mathcal{H}_2$ optimality conditions are established through the use of the Lambert functions. Finally, a numerically effective iterative scheme, named \textbf{dTF-IRKA}, similar to the \textbf{TF-IRKA} \cite{beattie2012realization}, is proposed to reach a part of the aforementioned optimality conditions. The proposed method validity and interest are assessed on different numerical examples.
△ Less
Submitted 24 April, 2015;
originally announced April 2015.
