A new type of singular perturbation approximation for stochastic bilinear systems

Model order reduction (MOR) techniques are often used to reduce the order of spatially discretized (stochastic) partial differential equations and hence reduce computational complexity. A particular class of MOR techniques is balancing related methods which rely on simultaneously diagonalizing the system Gramians. This has been extensively studied for deterministic linear systems. The balancing procedure has already been extended to bilinear equations, an important subclass of nonlinear systems. The choice of Gramians in Al-Baiyat and Bettayeb (In: Proceedings of the 32nd IEEE conference on decision and control, 1993) is the most frequently used approach. A balancing related MOR scheme for bilinear systems called singular perturbation approximation (SPA) has been described that relies on this choice of Gramians. However, no error bound for this method could be proved. In this paper, we extend SPA to stochastic systems with bilinear drift and linear diffusion term. However, we propose a slightly modified reduced order model in comparison to previous work and choose a different reachability Gramian. Based on this new approach, an $$L^2$$ L 2 -error bound is proved for SPA which is the main result of this paper. This bound is new even for deterministic bilinear systems.

[1]  R. Kruse.  Strong and Weak Approximation of Semilinear Stochastic Evolution Equations , 2013 .

[2]  Peter Benner,et al.  Lyapunov Equations, Energy Functionals, and Model Order Reduction of Bilinear and Stochastic Systems , 2011, SIAM J. Control. Optim..

[3]  Birgit Dietrich,et al.  Model Reduction For Control System Design , 2016 .

[4]  Carsten Hartmann,et al.  Infinite-dimensional bilinear and stochastic balanced truncation with explicit error bounds , 2018, Math. Control. Signals Syst..

[5]  J. Zabczyk,et al.  Stochastic Equations in Infinite Dimensions , 2008 .

[6]  Peter Benner,et al.  Model reduction for stochastic systems , 2015 .

[7]  Athanasios C. Antoulas,et al.  Approximation of Large-Scale Dynamical Systems (Advances in Design and Control) (Advances in Design and Control) , 2005 .

[8]  Jinqiao Duan,et al.  An averaging principle for stochastic dynamical systems with Lévy noise , 2011 .

[9]  P. Benner,et al.  Balanced Truncation for Stochastic Linear Systems with Guaranteed Error Bound , 2014 .

[11]  Zhimin Zhang,et al.  Finite element and difference approximation of some linear stochastic partial differential equations , 1998 .

[12]  M. Bettayeb,et al.  A new model reduction scheme for k-power bilinear systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[13]  Peter Benner,et al.  Balanced Truncation Model Order Reduction For Quadratic-Bilinear Control Systems , 2017, 1705.00160.

[14]  Peter Benner,et al.  Dual Pairs of Generalized Lyapunov Inequalities and Balanced Truncation of Stochastic Linear Systems , 2015, IEEE Transactions on Automatic Control.

[15]  Leszek Gawarecki,et al.  Stochastic Differential Equations in Infinite Dimensions , 2011 .

[16]  M. Röckner,et al.  A Concise Course on Stochastic Partial Differential Equations , 2007 .

[17]  N. Berglund,et al.  Noise-Induced Phenomena in Slow-Fast Dynamical Systems: A Sample-Paths Approach , 2005 .

[18]  Jerzy Zabczyk,et al.  Stochastic Partial Differential Equations with Lévy Noise: An Evolution Equation Approach , 2007 .

[19]  Etienne Emmrich,et al.  Discrete Versions of Gronwall's Lemma and Their Application to the Numerical Analysis of Parabolic Problems , 2000 .

[20]  Rachel Kuske,et al.  Stochastic Averaging of Dynamical Systems with Multiple Time Scales Forced with α-Stable Noise , 2015, Multiscale Model. Simul..

[21]  B. Anderson,et al.  Singular perturbation approximation of balanced systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[22]  Martin Redmann.  Energy estimates and model order reduction for stochastic bilinear systems , 2020, Int. J. Control.

[23]  Athanasios C. Antoulas,et al.  Approximation of Large-Scale Dynamical Systems , 2005, Advances in Design and Control.

[24]  P. Kloeden,et al.  Overcoming the order barrier in the numerical approximation of stochastic partial differential equations with additive space–time noise , 2009, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[25]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[26]  Martin Redmann.  Type II Singular Perturbation Approximation for Linear Systems with Lévy Noise , 2018, SIAM J. Control. Optim..

[27]  Martin Redmann.  Type II Balanced Truncation for Deterministic Bilinear Control Systems , 2018, SIAM J. Control. Optim..

[28]  Joseph P Mesko,et al.  Energy Functions and Algebraic Gramians for Bilinear Systems , 1998 .

[29]  E. Hausenblas.  Approximation for Semilinear Stochastic Evolution Equations , 2003 .

[30]  P. Kloeden,et al.  Time-discretised Galerkin approximations of parabolic stochastic PDE's , 1996, Bulletin of the Australian Mathematical Society.

[31]  J. M. A. Scherpen,et al.  Balancing for nonlinear systems , 1993 .

[32]  Carsten Hartmann,et al.  Balanced Averaging of Bilinear Systems with Applications to Stochastic Control , 2013, SIAM J. Control. Optim..

[33]  B. Moore.  Principal component analysis in linear systems: Controllability, observability, and model reduction , 1981 .

[34]  K. Fernando,et al.  Singular perturbational model reduction of balanced systems , 1982 .

[35]  Stig Larsson,et al.  Finite Element Approximation of the Linear Stochastic Wave Equation with Additive Noise , 2010, SIAM J. Numer. Anal..

[36]  John L. Casti,et al.  Nonlinear System Theory , 2012 .

[37]  Ronald R. Mohler,et al.  Natural Bilinear Control Processes , 1970, IEEE Trans. Syst. Sci. Cybern..

[38]  P. Benner,et al.  Singular perturbation approximation for linear systems with Lévy noise , 2017 .

[39]  W. Rugh.  Nonlinear System Theory: The Volterra / Wiener Approach , 1981 .