Model order reduction explained

Model order reduction (MOR) is a technique for reducing the computational complexity of mathematical models in numerical simulations. As such it is closely related to the concept of metamodeling, with applications in all areas of mathematical modelling.

Overview

Many modern mathematical models of real-life processes pose challenges when used in numerical simulations, due to complexity and large size (dimension). Model order reduction aims to lower the computational complexity of such problems, for example, in simulations of large-scale dynamical systems and control systems. By a reduction of the model's associated state space dimension or degrees of freedom, an approximation to the original model is computed which is commonly referred to as a reduced order model.

Reduced order models are useful in settings where it is often unfeasible to perform numerical simulations using the complete full order model. This can be due to limitations in computational resources or the requirements of the simulations setting, for instance real-time simulation settings or many-query settings in which a large number of simulations needs to be performed.^{[1] [2]} Examples of Real-time simulation settings include control systems in electronics and visualization of model results while examples for a many-query setting can include optimization problems and design exploration. In order to be applicable to real-world problems, often the requirements of a reduced order model are:^{[3] [4]}

• A small approximation error compared to the full order model.
• Conservation of the properties and characteristics of the full order model (E.g. stability and passivity in electronics).
• Computationally efficient and robust reduced order modelling techniques.

It is interesting to note that in some cases (e.g. constrained lumping of polynomial differential equations) it is possible to have a null approximation error, resulting in an exact model order reduction.^[5]

Methods

Contemporary model order reduction techniques can be broadly classified into 5 classes:

• Proper orthogonal decomposition methods.^{[6] [7]}
• Reduced basis methods.^{[8] [9]}
• Balancing methods^[10]
• Simplified physics^[11] or operational based reduction methods.
• Nonlinear and manifold model reduction methods.^[12]

The simplified physics approach can be described to be analogous to the traditional mathematical modelling approach, in which a less complex description of a system is constructed based on assumptions and simplifications using physical insight or otherwise derived information. However, this approach is not often the topic of discussion in the context of model order reduction as it is a general method in science, engineering, and mathematics.

Proper orthogonal decomposition, reduced basis, and balancing methods fall into the category of projection-based reduction. Projection-based reduction relies on the projection of either the model equations or the solution onto a basis of reduced dimensionality compared to the original solution space. Methods that also fall into this class but are perhaps less common are:

• Proper generalized decomposition^[13]
• Matrix interpolation^[14]
• Transfer function interpolation
• Piecewise tangential interpolation
• Loewner framework
• (Empirical) cross Gramian
• Krylov subspace methods^[15]

Nonlinear and manifold model reduction methods derive nonlinear approximations on manifolds and so can achieve higher accuracy with the same number of degrees of freedom than traditional methods that obtain linear approximations in subspaces. Building on nonlinear approximations is essential for efficiently reducing certain problem classes such as wave problems and advection-dominated problems in computational fluid dynamics. The nature and principles underlying nonlinear model reduction methods are broad and include template-based methods,^{[16] [17] [18]} the use of neural networks^{[19] [20]} and online adaptive spaces.^{[21] [22]}

There are also nonintrusive model reduction methods that learn reduced models from data without requiring knowledge about the governing equations and internals of the full, high-fidelity model. Nonintrusive methods learn a low-dimensional approximation space or manifold and the reduced operators that represent the reduced dynamics from data. Methods that are non-intrusive include:

• Dynamic mode decomposition ^{[23] [24] [25]}
• Operator inference ^{[26] [27]}
• Loewner framework ^{[28] [29]}

Implementations

• RBmatlab: A MATLAB library containing all reduced simulation approaches for linear and nonlinear, affine or arbitrarily parameter dependent evolution problems with finite element, finite volume or local discontinuous Galerkin discretizations.
• Model Reduction inside ANSYS: implements a Krylov-based model order reduction for multiphysical finite element models in Ansys. Model simplification via Model Reduction inside Ansys is suitable for optimization strategies in component development as well as for integrating compact models into an overall system simulation in the fields of electronics, automotive or microsystems. Despite reduction, the examination parameters are retained, which means fast results can be achieved with regards to designs and system simulations.
• pyMOR: pyMOR is a software library for building model order reduction applications with the Python programming language. Its main focus lies on the application of reduced basis methods to parameterized partial differential equations. All algorithms in pyMOR are formulated in terms of abstract interfaces for seamless integration with external high-dimensional PDE solvers. Moreover, pure Python implementations of finite element and finite volume discretizations using the NumPy/SciPy scientific computing stack are provided for getting started quickly.
• emgr: Empirical Gramian Framework https://gramian.de/. Empirical gramians can be computed for linear and nonlinear control systems for purposes of model order reduction, uncertainty quantification or system identification.^[30] The emgr framework is a compact open source toolbox for gramian-based model reduction and compatible with OCTAVE and MATLAB.
• KerMor: An object-oriented MATLAB© library providing routines for model order reduction of nonlinear dynamical systems. Reduction can be achieved via subspace projection and approximation of nonlinearities via kernels methods or DEIM. Standard procedures like the POD-Greedy method are readily implemented as well as advanced a-posteriori error estimators for various system configurations. KerMor also includes several working examples and some demo files to quickly get familiarized with the provided functionality.
• JaRMoS: JaRMoS stands for "Java Reduced Model Simulations" and aims to enable import and simulation of various reduced models from multiple sources on any java-capable platform. So far support for RBmatlab, KerMor and rbMIT reduced models is present, where we can only import the rbMIT models that have previously been published with the rbAppMIT Android application. Extensions so far are a desktop-version to run reduced models and initial support for KerMor kernel-based reduced models is on the way.
• MORLAB: Model Order Reduction Laboratory. This toolbox is a collection of MATLAB/OCTAVE routines for model order reduction of linear dynamical systems based on the solution of matrix equations. The implementation is based on spectral projection methods, e.g., methods based on the matrix sign function and the matrix disk function.
• Dune-RB: A module for the Dune library, which realizes C++ template classes for use in snapshot generation and RB offline phases for various discretizations. Apart from single-core algorithms, the package also aims at using parallelization techniques for efficient snapshot generation.
• libROM: Collection of C++ classes that compute model order reduction and hyper-reduction for systems of partial and ordinary differential equations. libROM includes scalable and parallel, adaptive methods for proper orthogonal decomposition, parallel, non-adaptive methods for hyper-reduction, and randomized singular value decomposition. libROM also includes the dynamic mode decomposition capability. libROM has physics-informed greedy sampling capability.
• Pressio: Pressio is an open-source project aimed at alleviating the intrusive nature of projection-based reduced-order models for large-scale codes. The core of the project is a header-only C++ library that leverages generic programming to interface with shared or distributed memory applications using arbitrary data-types. Pressio provides numerous functionalities and solvers for performing model reduction, such as Galerkin and least-squares Petrov–Galerkin projections. The Pressio ecosystem also offers: (1) pressio4py, a Python binding library for ease of prototyping, (2) pressio-tutorials, a library also offering end-to-end demos that one can easily play with, which can be found at https://pressio.github.io/pressio-tutorials/, (3) pressio-tools, a library for large-scale SVD, QR and sample mesh, and (4) pressio-demoapps, a suite of 1d, 2d and 3d demo applications for testing ROMs and hyper-reduction.
• PyDMD: PyDMD is a Python package that implements data-driven model order reduction based on Dynamic Mode Decomposition (DMD), an algorithm developed by Schmid.^[31] DMD is used to analyze the dynamics of nonlinear systems and relies solely on high-fidelity measurements, making it an equation-free algorithm.

Applications

Model order reduction finds application within all fields involving mathematical modelling and many reviews exist for the topics of electronics,^[32] fluid mechanics,^[33] hydrodynamics,^[34] structural mechanics, MEMS,^[35] Boltzmann equation,^[7] and design optimization.^[36]

Fluid mechanics

Current problems in fluid mechanics involve large dynamical systems representing many effects on many different scales. Computational fluid dynamics studies often involve models solving the Navier–Stokes equations with a number of degrees of freedom in the order of magnitude upwards of

. The first usage of model order reduction techniques dates back to the work of Lumley in 1967,^[37] where it was used to gain insight into the mechanisms and intensity of turbulence and large coherent structures present in fluid flow problems. Model order reduction also finds modern applications in aeronautics to model the flow over the body of aircraft.^[38] An example can be found in Lieu et al^[39] in which the full order model of an F16 fighter-aircraft with over 2.1 million degrees of freedom, was reduced to a model of just 90 degrees of freedom. Additionally reduced order modeling has been applied to study rheology in hemodynamics and the fluid–structure interaction between the blood flowing through the vascular system and the vascular walls.^{[40] [41]}

See also

• Dimension reduction
• Metamodeling
• Principal component analysis
• Singular value decomposition
• Nonlinear dimensionality reduction
• System identification
• Iterative rational Krylov algorithm (IRKA)

Further reading

• Book: Antoulas , Athanasios C. . Approximation of Large-Scale Dynamical Systems . 10.1137/1.9780898718713 . 2005 . SIAM. 978-0-89871-529-3 . 117896525 .
  • • • • Book: Benner . Peter . Cohen . Albert . Ohlberger . Mario . Willcox . Karen . Model Reduction and Approximation: Theory and Algorithms . 10.1137/1.9781611974829 . 2017 . SIAM Publications . 978-1-611974-81-2.
• Book: Antoulas . Athanasios C. . Beattie . Christopher A. . Gugercin . Serkan . Interpolatory Methods for Model Reduction . 2020 . 10.1137/1.9781611976083 . SIAM . 978-1-61197-607-6 .

External links

• Model Order Reduction Wiki
• Model Reduction for Parametrized Systems
• European Model Reduction Network

Notes and References

1. Book: Lassila . Toni . Manzoni . Andrea . Alfio Quarteroni. Quarteroni . Alfio . Rozza . Gianluigi. Gianluigi Rozza . Reduced Order Methods for Modeling and Computational Reduction . Model Order Reduction in Fluid Dynamics: Challenges and Perspectives . 2014 . 235–273 . 10.1007/978-3-319-02090-7_9 . en. 978-3-319-02089-1 .
2. Rozza. G.. Gianluigi Rozza. Huynh. D. B. P.. Patera. A. T.. 2008-05-21. Reduced Basis Approximation and a Posteriori Error Estimation for Affinely Parametrized Elliptic Coercive Partial Differential Equations. Archives of Computational Methods in Engineering. en. 15. 3. 229–275. 10.1007/s11831-008-9019-9. 13511413. 1134-3060.
3. Book: Schilders . Wilhelmus . van der Vorst . Henk . Rommes . Joost . Model Order Reduction: Theory, Research Aspects and Applications . 2008 . Springer-Verlag . 978-3-540-78841-6 .
4. Athanasios C. Antoulas. Antoulas. A.C.. July 2004. Approximation of Large-Scale Dynamical Systems: An Overview. IFAC Proceedings Volumes. 37. 11. 19–28. 10.1016/S1474-6670(17)31584-7. 10.1.1.29.3565.
5. Ovchinnikov . Alexey . Pérez Verona . Isabel . Pogudin . Gleb . Tribastone . Mirco . 2021-07-19 . Valencia . Alfonso . CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations . Bioinformatics . en . 37 . 12 . 1732–1738 . 10.1093/bioinformatics/btab010 . 33532849 . 1367-4803. free . 2004.11961 .
6. Kerschen. Gaetan. Golinval. Jean-claude. VAKAKIS. ALEXANDER F.. BERGMAN. LAWRENCE A.. 2005. The Method of Proper Orthogonal Decomposition for Dynamical Characterization and Order Reduction of Mechanical Systems: An Overview. Nonlinear Dynamics. en. 41. 1–3. 147–169. 10.1007/s11071-005-2803-2. 2005NonDy..41..147K . 0924-090X. 10.1.1.530.8349. 17625377.
7. Choi. Youngsoo. Brown. Peter. Arrighi. William. Anderson. Robert. Huynh. Kevin. 2021. Space--time reduced order model for large-scale linear dynamical systems with application to Boltzmann transport problems. Journal of Computational Physics. en. 424. 109845 . 10.1016/j.jcp.2020.109845. 0021-9991. 1910.01260. 2021JCoPh.42409845C . 203641768 .
8. 10.1016/j.cma.2022.115771 . Fu. Jinlong . Xiao. Dunhui. Fu. Rui. Li. Chenfeng. Zhu. Chuanhua. Arcucci. Rossella. Navon. Ionel M. . Physics-data combined machine learning for parametric reduced-order modelling of nonlinear dynamical systems in small-data regimes . Computer Methods in Applied Mechanics and Engineering . 2023. 404 . 115771.
9. Boyaval . S. . Le Bris . C. . Lelièvre . T. . Maday . Y. . Nguyen . N. C. . Patera . A. T. . Reduced Basis Techniques for Stochastic Problems . Archives of Computational Methods in Engineering . 16 October 2010 . 17 . 4 . 435–454 . 10.1007/s11831-010-9056-z. 1721.1/63915 . 1004.0357 . 446613 .
10. Moore . B.C. . 1981 . Principal component analysis in linear systems: controllability, observability, and model reduction . IEEE Transactions on Automatic Control. 26 . 1 . 17–32 . 10.1109/TAC.1981.1102568 .
11. Benner. Peter. Gugercin. Serkan. Willcox. Karen. 2015. A Survey of Projection-Based Model Reduction Methods for Parametric Dynamical Systems. SIAM Review. en-US. 57. 4. 483–531. 10.1137/130932715. 0036-1445. 1721.1/100939. 16186635 . free.
12. Peherstorfer. B.. 2022. Breaking the Kolmogorov Barrier with Nonlinear Model Reduction. Notices of the American Mathematical Society. en. 69. 5. 725–733. 10.1090/noti2475.
13. Chinesta . Francisco . Ladeveze . Pierre . Cueto . Elías . A Short Review on Model Order Reduction Based on Proper Generalized Decomposition . Archives of Computational Methods in Engineering . 11 October 2011 . 18 . 4 . 395–404 . 10.1007/s11831-011-9064-7. 54512292 .
14. Choi. Youngsoo. Boncoraglio. Gabriele. Spenser. Anderson. Amsallem. David. Farhat. Charbel. 2020. Gradient-based constrained optimization using a database of linear reduced-order models. Journal of Computational Physics. en. 423. 109787 . 10.1016/j.jcp.2020.109787. 1506.07849 . 2020JCoPh.42309787C . 60788542 .
15. Bai, Zhaojun. Krylov subspace techniques for reduced-order modeling of large-scale dynamical systems. Applied Numerical Mathematics. 2002. 43. 1–2. 9–44. 10.1016/S0168-9274(02)00116-2. 10.1.1.131.8251.
16. Rowley. C.W.. Marsden. J.E.. 2000. Reconstruction equations and the Karhunen–Loève expansion for systems with symmetry. Physica D: Nonlinear Phenomena. en. 142. 1–2. 1–19. 10.1016/S0167-2789(00)00042-7 . 2000PhyD..142....1R .
17. Ohlberger. M.. Rave. S.. 2013. Nonlinear reduced basis approximation of parameterized evolution equations via the method of freezing. Comptes Rendus Mathematique. en. 351. 23–24. 901–906. 10.1016/j.crma.2013.10.028. 1304.4513 . 2013CRMat.351..901O .
18. Reiss. J.. Schulze. P.. Sesterhenn. J.. Mehrmann. V.. 2018. The Shifted Proper Orthogonal Decomposition: A Mode Decomposition for Multiple Transport Phenomena. SIAM Journal on Scientific Computing. en. 40. 3. A1322–A1344. 10.1137/17M1140571. 1512.01985 . 2018SJSC...40A1322R .
19. Kim. Youngkyu. Choi. Youngsoo. Widemann. David. Zohdi. Tarek. 2021. A fast and accurate physics-informed neural network reduced order model with shallow masked autoencoder. Journal of Computational Physics. 451 . 110841 . en. 10.1016/j.jcp.2021.110841. 2009.11990 . 221949087 .
20. 10.1016/j.oceaneng.2024.118308 . Zhu. Chuanhua . Xiao. Dunhui. Fu. Jinlong. Feng. Yuntian. Fu. Rui. Wang. Jinsheng. . A data-driven computational framework for non-intrusive reduced-order modelling of turbulent flows passing around bridge piers . Ocean Engineering . 2024 . 308 . 118308. free.
21. Peherstorfer. B.. 2020. Model Reduction for Transport-Dominated Problems via Online Adaptive Bases and Adaptive Sampling. SIAM Journal on Scientific Computing. en. 42. 5. A2803–A2836. 10.1137/19M1257275. 1812.02094 . 2020SJSC...42A2803P .
22. Hesthaven. J.S.. Pagliantini. C.. Rozza. G.. 2022. Reduced basis methods for time-dependent problems. Acta Numerica. en. 31. 265–345. 10.1017/S0962492922000058. 11568/1169931. free.
23. Rowley. C.W.. Mezic. I.. Bagheri. S.. Schlatter. P.. Henningson. D.S.. 2009. Spectral analysis of nonlinear flows. Journal of Fluid Mechanics. en. 641. 115–127. 10.1017/S0022112009992059 . 2009JFM...641..115R .
24. Schmidt. P.J.. 2010. Dynamic mode decomposition of numerical and experimental data. Journal of Fluid Mechanics. en. 656. 5–28. 10.1017/S0022112010001217 . 2010JFM...656....5S .
25. Tu. Jonathan H.. Rowley. Clarence W.. Luchtenburg. Dirk M.. Brunton. Steven L.. Steven L. Brunton. Kutz. J. Nathan. 2014. On dynamic mode decomposition: Theory and applications. Journal of Computational Dynamics. en. 1. 2. 391–421. 10.3934/jcd.2014.1.391. 1312.0041.
26. Peherstorfer. B.. Willcox. K.. 2016. Data-driven operator inference for nonintrusive projection-based model reduction. Computer Methods in Applied Mechanics and Engineering. en. 306. 196–215. 10.1016/j.cma.2016.03.025 . 2016CMAME.306..196P .
27. Kramer. B.. Peherstorfer. B.. Willcox. K.. 2024. Learning Nonlinear Reduced Models from Data with Operator Inference. Annual Review of Fluid Mechanics. en. 56. 521–548. 10.1146/annurev-fluid-121021-025220. free.
28. Mayo. A.J.. Antoulas. A.C.. 2007. A framework for the solution of the generalized realization problem. Linear Algebra and Its Applications. en. 425. 2–3. 634–662. 10.1016/j.laa.2007.03.008.
29. Book: Antoulas. A.C.. Beattie. C.A.. Gugercin. S.. 2021. Interpolatory Methods for Model Reduction. Society for Industrial and Applied Mathematics. 978-1-61197-607-6.
30. Hahn. J.. Edgar. T.F.. 2002. An improved method for nonlinear model reduction using balancing of empirical gramians. Computers & Chemical Engineering. en. 26. 10 . 1379–1397. 10.1016/S0098-1354(02)00120-5.
31. Schmidt. P.J.. 2010. Dynamic mode decomposition of numerical and experimental data. Journal of Fluid Mechanics. en. 656. 5–28. 10.1017/S0022112010001217 . 2010JFM...656....5S .
32. Umunnakwe . Chisom Bernhard . Zawra. Ibrahim. Niessner. Martin. Rudnyi. Evgenii. Hohlfeld. Dennis. Bechtold. Tamara. Compact modelling of a thermo-mechanical finite element model of a microelectronic package. Microelectronics Reliability. 2023. 151. 115238. 115238 . 10.1016/j.microrel.2023.115238 . 2023MiRe..15115238U .
33. Book: Turbulence, Coherent Structures, Dynamical Systems and Symmetry. Holmes. Philip. Lumley. John L.. Berkooz. Gal. 1996. Cambridge University Press. 978-0-511-62270-0. Cambridge. en. 10.1017/cbo9780511622700.
34. Copeland. Dylan. Cheung. Siu Wun. Huynh. Kevin. Choi. Youngsoo. 2021. Reduced order models for Lagrangian hydrodynamics. Computer Methods in Applied Mechanics and Engineering. en. 388. 114259 . 10.1016/j.cma.2021.114259. 0045-7825 . 2104.11404. 233388014 .
35. Book: System-Level Modeling of MEMS. Bechtold. Tamara. Schrag. Gabriela. Feng. Lihong. 2013. Wiley-VCH Verlag GmbH & Co. KGaA. 978-3-527-31903-9.
36. McBane . Sean . Choi . Youngsoo . Component-wise reduced order model lattice-type structure design . Computer Methods in Applied Mechanics and Engineering . 1 August 2021 . 381 . 113813 . 10.1016/j.cma.2021.113813 . 2010.10770 . 2021CMAME.381k3813M . 224818337 .
37. Book: Lumley . J.L. . The Structure of Inhomogeneous Turbulence," In: A. M. Yaglom and V. I. Tatarski, Eds., Atmospheric Turbulence and Wave Propagation . 1967 . Nauka . Moscow.
38. Walton. S.. Hassan. O.. Morgan. K.. 2013. Reduced order modelling for unsteady fluid flow using proper orthogonal decomposition and radial basis functions. Applied Mathematical Modelling. 37. 20–21. 8930–8945. 10.1016/j.apm.2013.04.025. 0307-904X. free.
39. Lieu. T.. Farhat. C.. Lesoinne. M.. 2006. Reduced-order fluid/structure modeling of a complete aircraft configuration. Computer Methods in Applied Mechanics and Engineering. 195. 41–43. 5730–5742. 10.1016/j.cma.2005.08.026. 2006CMAME.195.5730L . 0045-7825.
40. Xiao. D.. Yang. P.. Fang. F.. Xiang. J.. Pain. C.C.. Navon. I.M.. 2016. Non-intrusive reduced order modelling of fluid–structure interactions. Computer Methods in Applied Mechanics and Engineering. 303. 35–54. 10.1016/j.cma.2015.12.029. 2016CMAME.303...35X . 0045-7825. free.
41. Colciago. C.M.. Deparis. S. . Alfio Quarteroni. Quarteroni. A.. 2014. Comparisons between reduced order models and full 3D models for fluid–structure interaction problems in haemodynamics. Journal of Computational and Applied Mathematics. 265. 120–138. 10.1016/j.cam.2013.09.049. 0377-0427. free.