-
Snapshot-driven Rational Interpolation of Parametric Systems
Authors:
Art J. R. Pelling,
Karim Cherifi,
Ion Victor Gosea,
Ennes Sarradj
Abstract:
Parametric data-driven modeling is relevant for many applications in which the model depends on parameters that can potentially vary in both space and time. In this paper, we present a method to obtain a global parametric model based on snapshots of the parameter space. The parameter snapshots are interpolated using the classical univariate Loewner framework and the global bivariate transfer funct…
▽ More
Parametric data-driven modeling is relevant for many applications in which the model depends on parameters that can potentially vary in both space and time. In this paper, we present a method to obtain a global parametric model based on snapshots of the parameter space. The parameter snapshots are interpolated using the classical univariate Loewner framework and the global bivariate transfer function is extracted using a linear fractional transformation (LFT). Rank bounds for the minimal order of the global realization are also derived. The results are supported by various numerical examples.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
$\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.
-
The Loewner framework for parametric systems: Taming the curse of dimensionality
Authors:
Athanasios C. Antoulas,
Ion Victor Gosea,
Charles Poussot-Vassal
Abstract:
The Loewner framework is an interpolatory approach designed for approximating linear and nonlinear systems. The goal here is to extend this framework to linear parametric systems with an arbitrary number n of parameters. One main innovation established here is the construction of data-based realizations for any number of parameters. Equally importantly, we show how to alleviate the computational b…
▽ More
The Loewner framework is an interpolatory approach designed for approximating linear and nonlinear systems. The goal here is to extend this framework to linear parametric systems with an arbitrary number n of parameters. One main innovation established here is the construction of data-based realizations for any number of parameters. Equally importantly, we show how to alleviate the computational burden, by avoiding the explicit construction of large-scale n-dimensional Loewner matrices of size $N \times N$. This reduces the complexity from $O(N^3)$ to about $O(N^{1.4})$, thus taming the curse of dimensionality and making the solution scalable to very large data sets. To achieve this, a new generalized multivariate rational function realization is defined. Then, we introduce the n-dimensional multivariate Loewner matrices and show that they can be computed by solving a coupled set of Sylvester equations. The null space of these Loewner matrices then allows the construction of the multivariate barycentric transfer function. The principal result of this work is to show how the null space of the n-dimensional Loewner matrix can be computed using a sequence of 1-dimensional Loewner matrices, leading to a drastic computational burden reduction. Finally, we suggest two algorithms (one direct and one iterative) to construct, directly from data, multivariate (or parametric) realizations ensuring (approximate) interpolation. Numerical examples highlight the effectiveness and scalability of the method.
△ Less
Submitted 20 June, 2024; v1 submitted 1 May, 2024;
originally announced May 2024.
-
Learning reduced-order Quadratic-Linear models in Process Engineering using Operator Inference
Authors:
Ion Victor Gosea,
Luisa Peterson,
Pawan Goyal,
Jens Bremer,
Kai Sundmacher,
Peter Benner
Abstract:
In this work, we address the challenge of efficiently modeling dynamical systems in process engineering. We use reduced-order model learning, specifically operator inference. This is a non-intrusive, data-driven method for learning dynamical systems from time-domain data. The application in our study is carbon dioxide methanation, an important reaction within the Power-to-X framework, to demonstra…
▽ More
In this work, we address the challenge of efficiently modeling dynamical systems in process engineering. We use reduced-order model learning, specifically operator inference. This is a non-intrusive, data-driven method for learning dynamical systems from time-domain data. The application in our study is carbon dioxide methanation, an important reaction within the Power-to-X framework, to demonstrate its potential. The numerical results show the ability of the reduced-order models constructed with operator inference to provide a reduced yet accurate surrogate solution. This represents an important milestone towards the implementation of fast and reliable digital twin architectures.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
A modified AAA algorithm for learning stable reduced-order models from data
Authors:
Tommaso Bradde,
Stefano Grivet-Talocia,
Quirin Aumann,
Ion Victor Gosea
Abstract:
In recent years, the Adaptive Antoulas-Anderson AAA algorithm has established itself as the method of choice for solving rational approximation problems. Data-driven Model Order Reduction (MOR) of large-scale Linear Time-Invariant (LTI) systems represents one of the many applications in which this algorithm has proven to be successful since it typically generates reduced-order models (ROMs) effici…
▽ More
In recent years, the Adaptive Antoulas-Anderson AAA algorithm has established itself as the method of choice for solving rational approximation problems. Data-driven Model Order Reduction (MOR) of large-scale Linear Time-Invariant (LTI) systems represents one of the many applications in which this algorithm has proven to be successful since it typically generates reduced-order models (ROMs) efficiently and in an automated way. Despite its effectiveness and numerical reliability, the classical AAA algorithm is not guaranteed to return a ROM that retains the same structural features of the underlying dynamical system, such as the stability of the dynamics. In this paper, we propose a novel algebraic characterization for the stability of ROMs with transfer function obeying the AAA barycentric structure. We use this characterization to formulate a set of convex constraints on the free coefficients of the AAA model that, whenever verified, guarantee by construction the asymptotic stability of the resulting ROM. We suggest how to embed such constraints within the AAA optimization routine, and we validate experimentally the effectiveness of the resulting algorithm, named stabAAA, over a set of relevant MOR applications.
△ Less
Submitted 18 January, 2024; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Generalizations of data-driven balancing: what to sample for different balancing-based reduced models
Authors:
Sean Reiter,
Ion Victor Gosea,
Serkan Gugercin
Abstract:
The Quadrature-based Balanced Truncation (QuadBT) framework of arXiv:2104.01006 is a "non-intrusive" reformulation of balanced truncation; a classical projection-based model-order reduction technique for linear systems. QuadBT is non-intrusive in the sense that it builds approximate balanced reduced-order models entirely from system response data (e.g., transfer function measurements) without the…
▽ More
The Quadrature-based Balanced Truncation (QuadBT) framework of arXiv:2104.01006 is a "non-intrusive" reformulation of balanced truncation; a classical projection-based model-order reduction technique for linear systems. QuadBT is non-intrusive in the sense that it builds approximate balanced reduced-order models entirely from system response data (e.g., transfer function measurements) without the need to reference an explicit state-space realization of the underlying full-order model. In this work, we generalize and extend QuadBT to other types of balanced truncation model reduction. Namely, we develop non-intrusive implementations for balanced stochastic truncation, positive-real balanced truncation, and bounded-real balanced truncation. We show that the data-driven construction of these balanced reduced-order models requires sampling certain spectral factors associated with the system of interest. Numerical examples are included in each case to validate our approach.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Loewner functions for bilinear systems
Authors:
Pauline Kergus,
Ion Victor Gosea,
Mihaly Petreczky
Abstract:
This work brings together the moment matching approach based on Loewner functions and the classical Loewner framework based on the Loewner pencil in the case of bilinear systems. New Loewner functions are defined based on the bilinear Loewner framework, and a Loewner equivalent model is produced using these functions. This model is composed of infinite series that needs to be truncated in order to…
▽ More
This work brings together the moment matching approach based on Loewner functions and the classical Loewner framework based on the Loewner pencil in the case of bilinear systems. New Loewner functions are defined based on the bilinear Loewner framework, and a Loewner equivalent model is produced using these functions. This model is composed of infinite series that needs to be truncated in order to be implemented in practice. In this context, a new notion of approximate Loewner equivalence is introduced. In the end, it is shown that the moment matching procedure based on the proposed Loewner functions and the classical interpolatory bilinear Loewner framework both result in $κ$-Loewner equivalent models, the main difference being that the latter preserves bilinearity at the expense of a higher order.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Implicit and explicit matching of non-proper transfer functions in the Loewner framework
Authors:
Ion Victor Gosea,
Jan Heiland
Abstract:
The reduced-order modeling of a system from data (also known as system identification) is a classical task in system and control theory and well understood for standard linear systems with the so-called Loewner framework as one of many established approaches. In the case of descriptor systems for which the transfer function is not proper anymore, recent research efforts have addressed strategies t…
▽ More
The reduced-order modeling of a system from data (also known as system identification) is a classical task in system and control theory and well understood for standard linear systems with the so-called Loewner framework as one of many established approaches. In the case of descriptor systems for which the transfer function is not proper anymore, recent research efforts have addressed strategies to deal with the non-proper parts more or less explicitly. In this work, we propose a variant of a Loewner matrix-based interpolation algorithm that implicitly addresses possibly non-proper components of the system response. We evaluate the performance of the suggested approach by comparing against recently-developed explicit algorithms for which we propose a linearized Navier-Stokes model with a significant non-proper behavior as a benchmark example.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Structured barycentric forms for interpolation-based data-driven reduced modeling of second-order systems
Authors:
Ion Victor Gosea,
Serkan Gugercin,
Steffen W. R. Werner
Abstract:
An essential tool in data-driven modeling of dynamical systems from frequency response measurements is the barycentric form of the underlying rational transfer function. In this work, we propose structured barycentric forms for modeling dynamical systems with second-order time derivatives using their frequency domain input-output data. By imposing a set of interpolation conditions, the systems' tr…
▽ More
An essential tool in data-driven modeling of dynamical systems from frequency response measurements is the barycentric form of the underlying rational transfer function. In this work, we propose structured barycentric forms for modeling dynamical systems with second-order time derivatives using their frequency domain input-output data. By imposing a set of interpolation conditions, the systems' transfer functions are rewritten in different barycentric forms using different parametrizations. Loewner-like algorithms are developed for the explicit computation of second-order systems from data based on the developed barycentric forms. Numerical experiments show the performance of these new structured data driven modeling methods compared to other interpolation-based data-driven modeling techniques from the literature.
△ Less
Submitted 22 March, 2023;
originally announced March 2023.
-
Data-driven and low-rank implementations of Balanced Singular Perturbation Approximation
Authors:
Björn Liljegren-Sailer,
Ion Victor Gosea
Abstract:
Balanced Singular Perturbation Approximation (SPA) is a model order reduction method for linear time-invariant systems that guarantees asymptotic stability and for which there exists an a priori error bound. In that respect, it is similar to Balanced Truncation (BT). However, the reduced models obtained by SPA generally introduce better approximation in the lower frequency range and near steady-st…
▽ More
Balanced Singular Perturbation Approximation (SPA) is a model order reduction method for linear time-invariant systems that guarantees asymptotic stability and for which there exists an a priori error bound. In that respect, it is similar to Balanced Truncation (BT). However, the reduced models obtained by SPA generally introduce better approximation in the lower frequency range and near steady-states, whereas BT is better suited for the higher frequency range. Even so, independently of the frequency range of interest, BT and its variants are more often applied in practice, since there exist more efficient algorithmic realizations thereof. In this paper, we aim at closing this practically-relevant gap for SPA. We propose two novel and efficient algorithms that are adapted for different settings. Firstly, we derive a low-rank implementation of SPA that is applicable in the large-scale setting. Secondly, a data-driven reinterpretation of the method is proposed that only requires input-output data, and thus, is realization-free. A main tool for our derivations is the reciprocal transformation, which induces a distinct view on implementing the method. While the reciprocal transformation and the characterization of SPA is not new, its significance for the practical algorithmic realization has been overlooked in the literature. Our proposed algorithms have well-established counterparts for BT, and as such, also a comparable computational complexity. The numerical performance of the two novel implementations is tested for several numerical benchmarks, and comparisons to their counterparts for BT as well as the existing implementations of SPA are made.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Practical challenges in data-driven interpolation: dealing with noise, enforcing stability, and computing realizations
Authors:
Quirin Aumann,
Ion Victor Gosea
Abstract:
In this contribution, we propose a detailed study of interpolation-based data-driven methods that are of relevance in the model reduction and also in the systems and control communities. The data are given by samples of the transfer function of the underlying (unknown) model, i.e., we analyze frequency-response data. We also propose novel approaches that combine some of the main attributes of the…
▽ More
In this contribution, we propose a detailed study of interpolation-based data-driven methods that are of relevance in the model reduction and also in the systems and control communities. The data are given by samples of the transfer function of the underlying (unknown) model, i.e., we analyze frequency-response data. We also propose novel approaches that combine some of the main attributes of the established methods, for addressing particular issues. This includes placing poles and hence, enforcing stability of reduced-order models, robustness to noisy or perturbed data, and switching from different rational function representations. We mention here the classical state-space format and also various barycentric representations of the fitted rational interpolants. We show that the newly-developed approaches yield, in some cases, superior numerical results, when comparing to the established methods. The numerical results include a thorough analysis of various aspects related to approximation errors, choice of interpolation points, or placing dominant poles, which are tested on some benchmark models and data-sets.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Approximating a flexible beam model in the Loewner framework
Authors:
A. Zuyev,
I. V. Gosea
Abstract:
The paper develops the Loewner approach for data-based modeling of a linear distributed-parameter system. This approach is applied to a controlled flexible beam model coupled with a spring-mass system. The original dynamical system is described by the Euler-Bernoulli partial differential equation with the interface conditions due to the oscillations of the lumped part. The transfer function of thi…
▽ More
The paper develops the Loewner approach for data-based modeling of a linear distributed-parameter system. This approach is applied to a controlled flexible beam model coupled with a spring-mass system. The original dynamical system is described by the Euler-Bernoulli partial differential equation with the interface conditions due to the oscillations of the lumped part. The transfer function of this model is computed analytically, and its sampled values are then used for the data-driven design of a reduced model. A family of approximate realizations of the corresponding input-output map is constructed within the Loewner framework. It is shown that the proposed finite-dimensional approximations are able to capture the key properties of the original dynamics over a given range of observed frequencies. The robustness of the method to noisy data is also investigated.
△ Less
Submitted 11 December, 2022;
originally announced December 2022.
-
Data-driven quadratic modeling in the Loewner framework from input-output time-domain measurements
Authors:
D. S. Karachalios,
I. V. Gosea,
L. Gkimisis,
A. C. Antoulas
Abstract:
In this study, we present a purely data-driven method that uses the Loewner framework (LF) along with nonlinear optimization techniques to infer quadratic with affine control dynamical systems that admit Volterra series (VS) representations from input-output (i/o) time-domain measurements. The proposed method extensively employs optimization tools for interpolating the symmetric generalized freque…
▽ More
In this study, we present a purely data-driven method that uses the Loewner framework (LF) along with nonlinear optimization techniques to infer quadratic with affine control dynamical systems that admit Volterra series (VS) representations from input-output (i/o) time-domain measurements. The proposed method extensively employs optimization tools for interpolating the symmetric generalized frequency response functions (GFRFs) derived in the VS framework. The GFRF estimations are obtained from the Fourier spectrum (phase and amplitude) of the quasi-steady state system response under harmonic excitation. Appropriate treatment of these measurements under the developed framework allows the identification of low-order quadratic state-space models with non-trivial stable equilibria, such as in the Lorenz '63 forced system. We thus can achieve low-order global model identification for systems that can bifurcate to multiple equilibria after solely collecting measurements from a local stable operational regime. The developed framework is tested for several examples of increasing dimension and complexity, up to a test case of the viscous Burgers' equation with Robin boundary conditions. In the latter case, this study enforces new directions of employing data-driven reduced model inference that successfully can provide low-order accurate surrogate predictive models suitable for control. Future directions and open challenges conclude this work.
△ Less
Submitted 15 April, 2024; v1 submitted 19 November, 2022;
originally announced November 2022.
-
Bilinear realization from input-output data with neural networks
Authors:
Dimitrios S. Karachalios,
Ion Victor Gosea,
Kirandeep Kour,
Athanasios C. Antoulas
Abstract:
We present a method that connects a well-established nonlinear (bilinear) identification method from time-domain data with neural network (NNs) advantages. The main challenge for fitting bilinear systems is the accurate recovery of the corresponding Markov parameters from the input and output measurements. Afterward, a realization algorithm similar to that proposed by Isidori can be employed. The…
▽ More
We present a method that connects a well-established nonlinear (bilinear) identification method from time-domain data with neural network (NNs) advantages. The main challenge for fitting bilinear systems is the accurate recovery of the corresponding Markov parameters from the input and output measurements. Afterward, a realization algorithm similar to that proposed by Isidori can be employed. The novel step is that NNs are used here as a surrogate data simulator to construct input-output (i/o) data sequences. Then, classical realization theory is used to build a bilinear interpretable model that can further optimize engineering processes via robust simulations and control design.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
Data-driven approximation and reduction from noisy data in matrix pencil frameworks
Authors:
Pauline Kergus,
Ion Victor Gosea
Abstract:
This work aims at tackling the problem of learning surrogate models from noisy time-domain data by means of matrix pencil-based techniques, namely the Hankel and Loewner frameworks. A data-driven approach to obtain reduced-order state-space models from time-domain input-output measurements for linear time-invariant (LTI) systems is proposed. This is accomplished by combining the aforementioned mod…
▽ More
This work aims at tackling the problem of learning surrogate models from noisy time-domain data by means of matrix pencil-based techniques, namely the Hankel and Loewner frameworks. A data-driven approach to obtain reduced-order state-space models from time-domain input-output measurements for linear time-invariant (LTI) systems is proposed. This is accomplished by combining the aforementioned model order reduction (MOR) techniques with the signal matrix model (SMM) approach. The proposed method is illustrated by a numerical benchmark example consisting of a building model.
△ Less
Submitted 11 September, 2022; v1 submitted 19 February, 2022;
originally announced February 2022.
-
A framework for fitting quadratic-bilinear systems with applications to models of electrical circuits
Authors:
Dimitrios S. Karachalios,
Ion Victor Gosea,
Athanasios C. Antoulas
Abstract:
In this contribution, we propose a data-driven procedure to fit quadratic-bilinear surrogate models from data. Although the dynamics characterizing the original model are strongly nonlinear, we rely on lifting techniques to embed the original model into a quadratic-bilinear format. Here, data represent generalized transfer function values. This method is an extension of methods that do bilinear, o…
▽ More
In this contribution, we propose a data-driven procedure to fit quadratic-bilinear surrogate models from data. Although the dynamics characterizing the original model are strongly nonlinear, we rely on lifting techniques to embed the original model into a quadratic-bilinear format. Here, data represent generalized transfer function values. This method is an extension of methods that do bilinear, or quadratic inference, separately. It is based on first fitting a linear model with the classical Loewner framework, and then on inferring the best supplementing nonlinear operators, in a least-squares sense. The application scope of this method is given by electrical circuits with nonlinear components (such as diodes). We propose various test cases to illustrate the performance of the method.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Structured vector fitting framework for mechanical systems
Authors:
Steffen W. R. Werner,
Ion Victor Gosea,
Serkan Gugercin
Abstract:
In this paper, we develop a structure-preserving formulation of the data-driven vector fitting algorithm for the case of modally damped mechanical systems. Using the structured pole-residue form of the transfer function of modally damped second-order systems, we propose two possible structured extensions of the barycentric formula of system transfer functions. Integrating these new forms within th…
▽ More
In this paper, we develop a structure-preserving formulation of the data-driven vector fitting algorithm for the case of modally damped mechanical systems. Using the structured pole-residue form of the transfer function of modally damped second-order systems, we propose two possible structured extensions of the barycentric formula of system transfer functions. Integrating these new forms within the classical vector fitting algorithm leads to the formulation of two new algorithms that allow the computation of modally damped mechanical systems from data in a least squares fashion. Thus, the learned model is guaranteed to have the desired structure. We test the proposed algorithms on two benchmark models.
△ Less
Submitted 18 October, 2021;
originally announced October 2021.
-
Data-driven modeling and control of large-scale dynamical systems in the Loewner framework
Authors:
Ion Victor Gosea,
Charles Poussot-Vassal,
Athanasios C. Antoulas
Abstract:
In this contribution, we discuss the modeling and model reduction framework known as the Loewner framework. This is a data-driven approach, applicable to large-scale systems, which was originally developed for applications to linear time-invariant systems. In recent years, this method has been extended to a number of additional more complex scenarios, including linear parametric or nonlinear dynam…
▽ More
In this contribution, we discuss the modeling and model reduction framework known as the Loewner framework. This is a data-driven approach, applicable to large-scale systems, which was originally developed for applications to linear time-invariant systems. In recent years, this method has been extended to a number of additional more complex scenarios, including linear parametric or nonlinear dynamical systems. We will provide here an overview of the latter two, together with time-domain extensions. Additionally, the application of the Loewner framework is illustrated by a collection of practical test cases. Firstly, for data-driven complexity reduction of the underlying model, and secondly, for dealing with control applications of complex systems (in particular, with feedback controller design).
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Reduced-order modeling of LPV systems in the Loewner framework
Authors:
Ion Victor Gosea,
Mihaly Petreczky,
Athanasios C. Antoulas
Abstract:
We propose a model reduction method for LPV systems. We consider LPV state-space representations with an affine dependence on the scheduling variables. The main idea behind the proposed method is to compute the reduced order model in such a manner that its frequency domain transfer function coincides with that of the original model for some frequencies. The proposed method uses Loewner-like matric…
▽ More
We propose a model reduction method for LPV systems. We consider LPV state-space representations with an affine dependence on the scheduling variables. The main idea behind the proposed method is to compute the reduced order model in such a manner that its frequency domain transfer function coincides with that of the original model for some frequencies. The proposed method uses Loewner-like matrices, which can be calculated from the frequency domain representation of the system. The contribution of the paper represents an extension of the well-established Loewner framework to LPV models.
△ Less
Submitted 21 April, 2021;
originally announced April 2021.
-
Parametric model reduction via rational interpolation along parameters
Authors:
Ion Victor Gosea,
Serkan Gugercin,
Benjamin Unger
Abstract:
We present a novel projection-based model reduction framework for parametric linear time-invariant systems that allows interpolating the transfer function at a given frequency point along parameter-dependent curves as opposed to the standard approach where transfer function interpolation is achieved for a discrete set of parameter and frequency samples. We accomplish this goal by using parameter-d…
▽ More
We present a novel projection-based model reduction framework for parametric linear time-invariant systems that allows interpolating the transfer function at a given frequency point along parameter-dependent curves as opposed to the standard approach where transfer function interpolation is achieved for a discrete set of parameter and frequency samples. We accomplish this goal by using parameter-dependent projection spaces. Our main result shows that for holomorphic system matrices, the corresponding interpolatory projection spaces are also holomorphic. The coefficients of the power series representation of the projection spaces can be computed iteratively using standard methods. We illustrate the analysis on three numerical examples.
△ Less
Submitted 30 March, 2021;
originally announced April 2021.
-
Data-driven balancing of linear dynamical systems
Authors:
Ion Victor Gosea,
Serkan Gugercin,
Christopher Beattie
Abstract:
We present a novel reformulation of balanced truncation, a classical model reduction method. The principal innovation that we introduce comes through the use of system response data that has been either measured or computed, without reference to any prescribed realization of the original model. Data are represented by sampled values of the transfer function {or the impulse response} corresponding…
▽ More
We present a novel reformulation of balanced truncation, a classical model reduction method. The principal innovation that we introduce comes through the use of system response data that has been either measured or computed, without reference to any prescribed realization of the original model. Data are represented by sampled values of the transfer function {or the impulse response} corresponding to the original model. We discuss parallels that our approach bears with the Loewner framework, another popular data-driven model reduction method. We illustrate our approach numerically in both continuous-time and discrete-time cases.
△ Less
Submitted 24 October, 2021; v1 submitted 2 April, 2021;
originally announced April 2021.
-
Factorization of the Loewner matrix pencil and its consequences
Authors:
Qiang Zhang,
Ion Victor Gosea,
Athanasios C. Antoulas
Abstract:
This paper starts by deriving a factorization of the Loewner matrix pencil that appears in the data-driven modeling approach known as the Loewner framework and explores its consequences. The first is that the associated quadruple constructed from the data yields a model without requiring further processing. The second consequence is related to how sensitive the eigenvalues of the Loewner pencil ar…
▽ More
This paper starts by deriving a factorization of the Loewner matrix pencil that appears in the data-driven modeling approach known as the Loewner framework and explores its consequences. The first is that the associated quadruple constructed from the data yields a model without requiring further processing. The second consequence is related to how sensitive the eigenvalues of the Loewner pencil are to perturbations. Based on an explicit generalized eigenvalue decomposition of this pencil and by making use of perturbation theory of matrix pencils, we explore two types of eigenvalue sensitivities. The first one is defined with respect to unstructured perturbations of the Loewner pencil, while the second one is defined for structured perturbations. We also discuss how the choice of data affects the two sensitivities.
△ Less
Submitted 6 March, 2021;
originally announced March 2021.
-
Data-driven modeling of linear dynamical systems with quadratic output in the AAA framework
Authors:
Ion Victor Gosea,
Serkan Gugercin
Abstract:
We extend the AAA (Adaptive-Antoulas-Anderson) algorithm to develop a data-driven modeling framework for linear systems with quadratic output (LQO). Such systems are characterized by two transfer functions: one corresponding to the linear part of the output and another one to the quadratic part. We first establish the joint barycentric representations and the interpolation theory for the two trans…
▽ More
We extend the AAA (Adaptive-Antoulas-Anderson) algorithm to develop a data-driven modeling framework for linear systems with quadratic output (LQO). Such systems are characterized by two transfer functions: one corresponding to the linear part of the output and another one to the quadratic part. We first establish the joint barycentric representations and the interpolation theory for the two transfer functions of LQO systems. This analysis leads to the proposed AAA-LQO algorithm. We show that by interpolating the transfer function values on a subset of samples together with imposing a least-squares minimization on the rest, we construct reliable data-driven LQO models. Two numerical test cases illustrate the efficiency of the proposed method.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
Learning reduced-order models of quadratic control systems from input-output data
Authors:
Ion Victor Gosea,
Dimitrios S. Karachalios,
Athanasios C. Antoulas
Abstract:
In this paper, we address an extension of the Loewner framework for learning quadratic control systems from input-output data. The proposed method first constructs a reduced-order linear model from measurements of the classical transfer function. Then, this surrogate model is enhanced by incorporating a term that depends quadratically on the state. More precisely, we employ an iterative procedure…
▽ More
In this paper, we address an extension of the Loewner framework for learning quadratic control systems from input-output data. The proposed method first constructs a reduced-order linear model from measurements of the classical transfer function. Then, this surrogate model is enhanced by incorporating a term that depends quadratically on the state. More precisely, we employ an iterative procedure based on least squares fitting that takes into account measured or computed data. Here, data represent transfer function values inferred from higher harmonics of the observed output, when the control input is purely oscillatory.
△ Less
Submitted 25 November, 2020;
originally announced December 2020.
-
On Loewner data-driven control for infinite-dimensional systems
Authors:
Ion Victor Gosea,
Charles Poussot-Vassal,
Athanasios C. Antoulas
Abstract:
In this paper, we address extensions of the Loewner Data-Driven Control (L-DDC) methodology. First, this approach is extended by incorporating two alternative approximation methods known as Adaptive-Antoulas-Anderson (AAA) and Vector Fitting (VF). These algorithms also include least squares fitting which provides additional flexibility and enables possible adjustments for control tuning. Secondly,…
▽ More
In this paper, we address extensions of the Loewner Data-Driven Control (L-DDC) methodology. First, this approach is extended by incorporating two alternative approximation methods known as Adaptive-Antoulas-Anderson (AAA) and Vector Fitting (VF). These algorithms also include least squares fitting which provides additional flexibility and enables possible adjustments for control tuning. Secondly, the standard model reference data-driven setting is extended to handle noise affecting the data and uncertainty in the closed-loop objective function. These proposed adaptations yield a more robust data-driven control design.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
The AAA framework for modeling linear dynamical systems with quadratic output
Authors:
Ion Victor Gosea,
Serkan Gugercin
Abstract:
We consider linear dynamical systems with quadratic output. We first define the two transfer functions, a single-variable and a multivariate one, that fully describe the dynamics of these special nonlinear systems. Then, using the samples of these two transfer functions, we extend the AAA algorithm to model linear systems with quadratic output from data.
We consider linear dynamical systems with quadratic output. We first define the two transfer functions, a single-variable and a multivariate one, that fully describe the dynamics of these special nonlinear systems. Then, using the samples of these two transfer functions, we extend the AAA algorithm to model linear systems with quadratic output from data.
△ Less
Submitted 20 May, 2020;
originally announced May 2020.
-
Rational approximation of the absolute value function from measurements: a numerical study of recent methods
Authors:
Ion Victor Gosea,
Athanasios C. Antoulas
Abstract:
In this work, we propose an extensive numerical study on approximating the absolute value function. The methods presented in this paper compute approximants in the form of rational functions and have been proposed relatively recently, e.g., the Loewner framework and the AAA algorithm. Moreover, these methods are based on data, i.e., measurements of the original function (hence data-driven nature).…
▽ More
In this work, we propose an extensive numerical study on approximating the absolute value function. The methods presented in this paper compute approximants in the form of rational functions and have been proposed relatively recently, e.g., the Loewner framework and the AAA algorithm. Moreover, these methods are based on data, i.e., measurements of the original function (hence data-driven nature). We compare numerical results for these two methods with those of a recently-proposed best rational approximation method (the minimax algorithm) and with various classical bounds from the previous century. Finally, we propose an iterative extension of the Loewner framework that can be used to increase the approximation quality of the rational approximant.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
On Bilinear Time Domain Identification and Reduction in the Loewner Framework
Authors:
D. S. Karachalios,
I. V. Gosea,
A. C. Antoulas
Abstract:
The Loewner framework-(LF) in combination with Volterra series-(VS) offers a non-intrusive approximation method that is capable of identifying bilinear models from time-domain measurements. This method uses harmonic inputs which establish a natural way for data acquisition. For the general class of nonlinear problems with VS representation, the growing exponential approach allows the derivation of…
▽ More
The Loewner framework-(LF) in combination with Volterra series-(VS) offers a non-intrusive approximation method that is capable of identifying bilinear models from time-domain measurements. This method uses harmonic inputs which establish a natural way for data acquisition. For the general class of nonlinear problems with VS representation, the growing exponential approach allows the derivation of the generalized kernels, namely symmetric generalized frequency response functions - (GFRFs). In addition, the homogeneity of the Volterra operator determines the accuracy in terms of how many kernels are considered. For the weakly nonlinear setup, only a few kernels are needed to obtain a good approximation. In this direction, the proposed adaptive scheme is able to improve the estimations of the computationally non-zero kernels. The Fourier transform associates these measurements with the derived GFRFs and the LF makes the connection with system theory. In the linear case, the LF associates the so-called S-parameters with the linear transfer function by interpolating in the frequency domain. The goal of the proposed method is to extend identification to the case of bilinear systems from time-domain measurements and to approximate other general nonlinear systems (by means of the Carleman bilinearizarion scheme). By identifying the linear contribution with the LF, a considerable reduction is achieved by means of the SVD. The fitted linear system has the same McMillan degree as the original linear system. Then, the performance of the linear model is improved by augmenting a special nonlinear structure. In a nutshell, we learn reduced-dimension bilinear models directly from a potentially large-scale system that is simulated in the time domain. This is done by fitting first a linear model, and afterwards, by fitting the corresponding bilinear operator.
△ Less
Submitted 22 September, 2020; v1 submitted 19 March, 2020;
originally announced March 2020.
-
Model reduction of linear hybrid systems
Authors:
Ion Victor Gosea,
Mihaly Petreczky,
John Leth,
Rafael Wisniewski,
Athanasios C. Antoulas
Abstract:
The paper proposes a model reduction algorithm for linear hybrid systems, i.e., hybrid systems with externally induced discrete events, with linear continuous subsystems, and linear reset maps. The model reduction algorithm is based on balanced truncation. Moreover, the paper also proves an analytical error bound for the difference between the input-output behaviors of the original and the reduced…
▽ More
The paper proposes a model reduction algorithm for linear hybrid systems, i.e., hybrid systems with externally induced discrete events, with linear continuous subsystems, and linear reset maps. The model reduction algorithm is based on balanced truncation. Moreover, the paper also proves an analytical error bound for the difference between the input-output behaviors of the original and the reduced order model. This error bound is formulated in terms of singular values of the Gramians used for model reduction.
△ Less
Submitted 17 March, 2020;
originally announced March 2020.
-
Toward fitting structured nonlinear systems by means of dynamic mode decomposition
Authors:
Ion Victor Gosea,
Igor Pontes Duff
Abstract:
The dynamic mode decomposition (DMD) is a data-driven method used for identifying the dynamics of complex nonlinear systems. It extracts important characteristics of the underlying dynamics using measured time-domain data produced either by means of experiments or by numerical simulations. In the original methodology, the measurements are assumed to be approximately related by a linear operator. H…
▽ More
The dynamic mode decomposition (DMD) is a data-driven method used for identifying the dynamics of complex nonlinear systems. It extracts important characteristics of the underlying dynamics using measured time-domain data produced either by means of experiments or by numerical simulations. In the original methodology, the measurements are assumed to be approximately related by a linear operator. Hence, a linear discrete-time system is fitted to the given data. However, often, nonlinear systems modeling physical phenomena have a particular known structure. In this contribution, we propose an identification and reduction method based on the classical DMD approach allowing to fit a structured nonlinear system to the measured data. We mainly focus on two types of nonlinearities: bilinear and quadratic-bilinear. By enforcing this additional structure, more insight into extracting the nonlinear behavior of the original process is gained. Finally, we demonstrate the proposed methodology for different examples, such as the Burgers' equation and the coupled van der Pol oscillators.
△ Less
Submitted 22 November, 2020; v1 submitted 13 March, 2020;
originally announced March 2020.
-
Algorithms for the rational approximation of matrix-valued functions
Authors:
Ion Victor Gosea,
Stefan Güttel
Abstract:
A selection of algorithms for the rational approximation of matrix-valued functions are discussed, including variants of the interpolatory AAA method, the RKFIT method based on approximate least squares fitting, vector fitting, and a method based on low-rank approximation of a block Loewner matrix. A new method, called the block-AAA algorithm, based on a generalized barycentric formula with matrix…
▽ More
A selection of algorithms for the rational approximation of matrix-valued functions are discussed, including variants of the interpolatory AAA method, the RKFIT method based on approximate least squares fitting, vector fitting, and a method based on low-rank approximation of a block Loewner matrix. A new method, called the block-AAA algorithm, based on a generalized barycentric formula with matrix-valued weights is proposed. All algorithms are compared in terms of obtained approximation accuracy and runtime on a set of problems from model order reduction and nonlinear eigenvalue problems, including examples with noisy data. It is found that interpolation-based methods are typically cheaper to run, but they may suffer in the presence of noise for which approximation-based methods perform better.
△ Less
Submitted 20 April, 2021; v1 submitted 13 March, 2020;
originally announced March 2020.
-
Case study: Approximations of the Bessel Function
Authors:
D. S. Karachalios,
I. V. Gosea,
Q. Zhang,
A. C. Antoulas
Abstract:
The purpose of this note is to compare various approximation methods as applied to the inverse of the Bessel function of the first kind, in a given domain of the complex plane.
The purpose of this note is to compare various approximation methods as applied to the inverse of the Bessel function of the first kind, in a given domain of the complex plane.
△ Less
Submitted 31 December, 2017;
originally announced January 2018.
-
Approximation of a damped Euler-Bernoulli beam model in the Loewner framework
Authors:
Ion Victor Gosea,
Athanasios C. Antoulas
Abstract:
The Loewner framework for model order reduction is applied to the class of infinite-dimension systems. The transfer function of such systems is irrational (as opposed to linear systems, whose transfer function is rational) and can be expressed as an infinite series of rational functions. The main advantage of the method is the fact that reduced orders models are constructed using only input-output…
▽ More
The Loewner framework for model order reduction is applied to the class of infinite-dimension systems. The transfer function of such systems is irrational (as opposed to linear systems, whose transfer function is rational) and can be expressed as an infinite series of rational functions. The main advantage of the method is the fact that reduced orders models are constructed using only input-output measurements. The procedure can be directly applied to the original transfer function or to the one obtained from the finite element discretization of the PDE. Significantly better results are obtained when using it directly, as it is presented in the experiments section.
△ Less
Submitted 16 December, 2017;
originally announced December 2017.
-
Data-driven model order reduction of linear switched systems
Authors:
Ion Victor Gosea,
Mihaly Petreczky,
Athanasios C. Antoulas
Abstract:
The Loewner framework for model reduction is extended to the class of linear switched systems. One advantage of this framework is that it introduces a trade-off between accuracy and complexity. Moreover, through this procedure, one can derive state-space models directly from data which is related to the input-output behavior of the original system. Hence, another advantage of the framework is that…
▽ More
The Loewner framework for model reduction is extended to the class of linear switched systems. One advantage of this framework is that it introduces a trade-off between accuracy and complexity. Moreover, through this procedure, one can derive state-space models directly from data which is related to the input-output behavior of the original system. Hence, another advantage of the framework is that it does not require the initial system matrices. More exactly, the data used in this framework consists in frequency domain samples of input-output map**s of the original system. The definition of generalized transfer functions for linear switched systems resembles the one for bilinear systems. A key role is played by the coupling matrices, which ensure the transition from one active mode to another.
△ Less
Submitted 15 December, 2017;
originally announced December 2017.
-
On the $\mathcal{H}_2$ norm and iterative model order reduction of linear switched systems
Authors:
Ion Victor Gosea,
Athanasios C. Antoulas
Abstract:
A new definition of the $\mathcal{H}_2$ norm for linear switched systems is introduced. It is based on appropriately defined time-domain kernels, or equivalently, on infinite controllability and observability Gramian matrices. Furthermore, an extension of the iterative rational Krylov algorithm to the class of linear switched systems is proposed.
A new definition of the $\mathcal{H}_2$ norm for linear switched systems is introduced. It is based on appropriately defined time-domain kernels, or equivalently, on infinite controllability and observability Gramian matrices. Furthermore, an extension of the iterative rational Krylov algorithm to the class of linear switched systems is proposed.
△ Less
Submitted 6 December, 2017;
originally announced December 2017.
-
Balanced truncation for linear switched systems
Authors:
Ion Victor Gosea,
Mihaly Petreczky,
Athanasios C. Antoulas,
Christophe Fiter
Abstract:
We propose a model order reduction approach for balanced truncation of linear switched systems. Such systems switch among a finite number of linear subsystems or modes.
We compute pairs of controllability and observability Gramians corresponding to each active discrete mode by solving systems of coupled Lyapunov equations. Depending on the type, each such Gramian corresponds to the energy associ…
▽ More
We propose a model order reduction approach for balanced truncation of linear switched systems. Such systems switch among a finite number of linear subsystems or modes.
We compute pairs of controllability and observability Gramians corresponding to each active discrete mode by solving systems of coupled Lyapunov equations. Depending on the type, each such Gramian corresponds to the energy associated to all possible switching scenarios that start or, respectively end, in a particular operational mode.
In order to guarantee that hard to control and hard to observe states are simultaneously eliminated, we construct a transformed system, whose Gramians are equal and diagonal. Then, by truncation, directly construct reduced order models. One can show that these models preserve some properties of the original model, such as stability and that it is possible to obtain error bounds relating the observed output, the control input and the entries of the diagonal Gramians.
△ Less
Submitted 6 December, 2017;
originally announced December 2017.