Fluid-structure interaction analysis with interface control principle
Extracted source text · arXiv 2510.17144
%%
%% Copyright 2007-2024 Elsevier Ltd
%%
%% This file is part of the 'Elsarticle Bundle'.
%% ---------------------------------------------
%%
%% It may be distributed under the conditions of the LaTeX Project Public
%% License, either version 1.3 of this license or (at your option) any
%% later version. The latest version of this license is in
%% http://www.latex-project.org/lppl.txt
%% and version 1.3 or later is part of all distributions of LaTeX
%% version 1999/12/01 or later.
%%
%% The list of all files belonging to the 'Elsarticle Bundle' is
%% given in the file `manifest.txt'.
%%
%% Template article for Elsevier's document class `elsarticle'
%% with harvard style bibliographic references
\documentclass[preprint,12pt]{elsarticle}
%% Use the option review to obtain double line spacing
%% \documentclass[preprint,review,12pt]{elsarticle}
%% Use the options 1p,twocolumn; 3p; 3p,twocolumn; 5p; or 5p,twocolumn
%% for a journal layout:
%% \documentclass[final,1p,times]{elsarticle}
%% \documentclass[final,1p,times,twocolumn]{elsarticle}
%% \documentclass[final,3p,times]{elsarticle}
%% \documentclass[final,3p,times,twocolumn]{elsarticle}
%% \documentclass[final,5p,times]{elsarticle}
%% \documentclass[final,5p,times,twocolumn]{elsarticle}
%% For including figures, graphicx.sty has been loaded in
%% elsarticle.cls. If you prefer to use the old commands
%% please give \usepackage{epsfig}
%% The amssymb package provides various useful mathematical symbols
\usepackage{amssymb}
%% The amsmath package provides various useful equation environments.
\usepackage{amsmath}
\usepackage{algorithm}
\usepackage{algpseudocode}
%% The amsthm package provides extended theorem environments
%% \usepackage{amsthm}
\usepackage{setspace}
%% The lineno packages adds line numbers. Start line numbering with
%% \begin{linenumbers}, end it with \end{linenumbers}. Or switch it on
%% for the whole article with \linenumbers.
%% \usepackage{lineno}
\usepackage{lineno}
\newcommand*\patchAmsMathEnvironmentForLineno[1]{
\expandafter\let\csname old#1\expandafter\endcsname\csname #1\endcsname
\expandafter\let\csname oldend#1\expandafter\endcsname\csname end#1\endcsname
\renewenvironment{#1}
{\linenomath\csname old#1\endcsname}
{\csname oldend#1\endcsname\endlinenomath}}
\newcommand*\patchBothAmsMathEnvironmentsForLineno[1]{
\patchAmsMathEnvironmentForLineno{#1}
\patchAmsMathEnvironmentForLineno{#1*}}
\AtBeginDocument{
\patchBothAmsMathEnvironmentsForLineno{equation}
\patchBothAmsMathEnvironmentsForLineno{align}
\patchBothAmsMathEnvironmentsForLineno{flalign}
\patchBothAmsMathEnvironmentsForLineno{alignat}
\patchBothAmsMathEnvironmentsForLineno{gather}
\patchBothAmsMathEnvironmentsForLineno{multline}
}
\usepackage{color}
\newcommand{\yk}[1]{{\color{blue}{#1}}}
%\pagewiselinenumbers
\journal{Elsevier}
\begin{document}
\begin{frontmatter}
%% Title, authors and addresses
%% use the tnoteref command within \title for footnotes;
%% use the tnotetext command for theassociated footnote;
%% use the fnref command within \author or \affiliation for footnotes;
%% use the fntext command for theassociated footnote;
%% use the corref command within \author for corresponding author footnotes;
%% use the cortext command for theassociated footnote;
%% use the ead command for the email address,
%% and the form \ead[url] for the home page:
%% \title{Title\tnoteref{label1}}
%% \tnotetext[label1]{}
%% \author{Name\corref{cor1}\fnref{label2}}
%% \ead{email address}
%% \ead[url]{home page}
%% \fntext[label2]{}
%% \cortext[cor1]{}
%% \affiliation{organization={},
%% addressline={},
%% city={},
%% postcode={},
%% state={},
%% country={}}
%% \fntext[label3]{}
\title{Fluid-structure interaction analysis with interface control principle} %% Article title
%% use optional labels to link authors explicitly to addresses:
%% \author[label1,label2]{}
%% \affiliation[label1]{organization={},
%% addressline={},
%% city={},
%% postcode={},
%% state={},
%% country={}}
%%
%% \affiliation[label2]{organization={},
%% addressline={},
%% city={},
%% postcode={},
%% state={},
%% country={}}
\author[tohoku,first,corres]{Chungil Lee} %% Author name
\author[tohoku,first,corres]{Yoshiaki Abe} %% Author name
\author[hiroshima]{Yu Kawano} %% Author name
\author[tohoku2,tohoku]{Tomoki Yamazaki} %% Author name
%% Author affiliation
\affiliation[tohoku]{organization={Tohoku University, Institute of Fluid Science},%Department and Organization
addressline={2-1-1 Katahira, Aoba-ku},
city={Sendai},
postcode={9808577},
state={Miyagi},
country={Japan}}
\affiliation[tohoku2]{organization={Tohoku University, Department of Aerospace Engineering},%Department and Organization
addressline={6-6-01 Aramaki-Aza-Aoba, Aoba-ku},
city={Sendai},
postcode={9808579},
state={Miyagi},
country={Japan}}
\affiliation[hiroshima]{organization={Hiroshima University, Graduate School of Advanced Science and Engineering},%Department and Organization
addressline={1-4-1 Kagamiyama},
city={Higashi-Hiroshima},
postcode={739-8527},
state={Hiroshima},
country={Japan}}
\affiliation[corres]{Corresponding author}
\affiliation[first]{Chungil Lee and Yoshiaki Abe equally contributed to this paper.}
%% Abstract
\begin{abstract}
%% Text of abstract
An interface control principle is proposed for unsteady fluid-structure interaction (FSI) analyses. This principle introduces a method of explicitly controlling the interface motion in the temporal direction to minimize the residual force on the interface, which is defined as the discrepancy between the fluid and structural forces. The interface model is constructed using a data-driven approach that involves sparse identification of nonlinear dynamics with control to evaluate the residual force. The interface model is subsequently subjected to control theory in order to minimize the residual force. Following the convergence of the residual force, the interface state is controlled to be that of the original unsteady FSI system. The fluid and structural simulations can be conducted independently without communication, as the interface state information is predetermined as inputs for each system. The proposed method is applied to the vortex-induced vibration (VIV) of a cylinder at a Reynolds number of 150 under several reduced velocity conditions corresponding to the lock-in regime with limit-cycle oscillations. The results demonstrate that the residual force is sufficiently minimized in time, and when the residual force is close to zero, the predicted fluid force and structural displacement of the VIV show good agreement with the reference FSI simulation.
\end{abstract}
%A control-based interface model is developed for unsteady fluid-structure interaction (FSI) problems. This model minimizes the residual force between the fluid and structural forces by designing the structural displacement at each time step, enabling coupling of the fluid and structural domains. In addition, the model is capable of predicting the fluid force based on the designed displacement. The control-based interface model is constructed based on the dynamical systems corresponding to each physical domain, combined with a control principle. The dynamical fluid system is identified using a data-driven approach based on the fluid force and structural displacement obtained from the FSI simulation. The employed data-driven method is the sparse identification of nonlinear dynamics with control, which performs nonlinear system identification. The dynamical structural system is derived from the equation of structural motion. The control principle employed is a linear system designed to ensure that the residual force decays over time. The proposed method is applied to the vortex-induced vibration (VIV) of a cylinder at a Reynolds number of 150 under several reduced velocity conditions corresponding to the lock-in regime. The results reveal that the residual force is minimized at each time step by the proposed model, and when the residual force is close to zero, the predicted fluid force and structural displacement of the VIV show good agreement with the reference FSI simulation.
%%Graphical abstract
%\begin{graphicalabstract}
%\includegraphics{grabs}
%\end{graphicalabstract}
%%Research highlights
%\begin{highlights}
%\item Research highlight 1
%\item Research highlight 2
%\end{highlights}
%% Keywords
\begin{keyword}
%% keywords here, in the form: keyword \sep keyword
fluid and structure interaction analysis\sep
data-driven approach\sep
sparse identification of nonlinear dynamics\sep
vortex-induced vibration\sep
interface control principle.
%% PACS codes here, in the form: \PACS code \sep code
%% MSC codes here, in the form: \MSC code \sep code
%% or \MSC[2008] code \sep code (2000 is the default)
\end{keyword}
\end{frontmatter}
%% Add \usepackage{lineno} before \begin{document} and uncomment
%% following line to enable line numbers
%% \linenumbers
%% main text
%%
\setstretch{1.1}
%% Use \section commands to start a section
\section{Introduction}
Multi-physics problems such as fluid-structure interaction (FSI), constitute an essential field in both fundamental and pragmatic engineering topics~\citep{Date2022}. Recent advancements in simulation technology for fluid and structural analysis facilitate high-fidelity simulations, including large-eddy simulation (LES) in fluid dynamics~\citep{Abe2023} and geometrical or material nonlinear finite element analysis (FEM) in solid mechanics~\citep{Liu2025}. Such high-fidelity and essentially unsteady simulations can provide accurate solutions, but they come with significant computational costs due to the large number of spatial degrees of freedom and the extended time periods required. Therefore, it is essential to develop methods for FSI problems that reduce computational costs while maintaining the ability to handle the large degrees of freedom needed to analyze real-world problems.
A coupling strategies for FSI problems are usually classified into two approaches: monolithic and partitioned approaches. The monolithic approach integrates fluid and structure systems by simultaneously solving their governing equations \citep{heil2004efficient,bathe2004finite,ishihara2005monolithic,tezduyar2006solution}. This approach can provide highly accurate solutions to FSI problems due to its ability to exactly meet the coupling conditions between the fluid and structural domains.
In the meantime, the stable formulation of numerical algorithms frequently presents mathematical challenges and constraints on the application of high-fidelity solvers.
The partitioned method solves the fluid and solid systems separately, allowing high-fidelity simulations to be applied to each physical domain independently \citep{felippa2001partitioned}.
In the partitioned method, the one-way coupling (or loosely-coupling) approach transfers quantities between systems at each or specified time step without considering exact coupling conditions \citep{farhat2000two}. This method is computationally efficient; however, it often leads to unstable and inaccurate simulations in systems characterized by strong interactions \citep{causin2005added}.
Another approach is the two-way coupling (or strong coupling), which involves iteratively solving both systems and exchanging interface quantities until the coupling criterion is satisfied. This method generally enables more stable and accurate simulations; however, the computational expenses related to its iterative calculations are significantly higher than those of the one-way coupling approach \citep{degroote2008stability,kuttler2008fixed,bogaers2014quasi}.
In both one-way and two-way couplings, partitioned approaches are preferred over monolithic methods due to their non-intrusive formulation, which simplifies the integration of existing simulation codes. Meanwhile, transferring quantities on the interface necessitates interaction between fluid and structural systems, frequently resulting in inefficient code implementation and redundant communication across multiple computational threads or nodes in large-scale simulations. Thus far, this bottleneck has been unavoidable as a result of an inherent characteristic of the iterative convergence approach for partitioned coupling strategies.
On the other hand, a reduced-order model (ROM) has also received attention as a solution to this problem by transforming higher-dimensional data into lower-dimensional data while preserving the primary features of the original system. The proper orthogonal decomposition (POD) introduced by \citet{berkooz1993proper} is one of the most widely used methods for ROM and is utilized as an effective tool for dimensionality reduction. In FSI problems, POD extracts low-dimensional data from high-fidelity data, and ROM are then constructed by projecting the governing equations onto the low-order POD basis \citep{lieu2006reduced,barone2009reduced,liberge2010reduced,kalashnikova2013stable,longatte2018parametric}. These projection methods, such as POD-Galerkin projection, are typically classified as model-based approaches and can effectively yield the FSI solution. Meanwhile, access to the source code that describes the physical system is essential for constructing the projection step, due to its dependency on the governing equations.
To mitigate the aforementioned disadvantage, several non-intrusive ROM methods have been proposed \citep{xiao2016non,shinde2019galerkin,azzeddine2024non}. These approaches are purely data-driven methods for ROM in FSI problems, eliminating the need for the governing equations. In non-intrusive ROM methods, POD is used for dimensionality reduction similarly to intrusive ROM methods, but instead of projecting the higher-dimensional representation, POD modes and corresponding temporal coefficients are employed to estimate high-fidelity data. Recently, non-intrusive ROM approaches using deep neural network (DNN) have been also developed \citep{cheng2021deep,zhang2022data,han2022deep,liu2024novel,lee2024parametric}. \citet{zhang2022data} employed a convolutional variational autoencoder model to map the high-dimensional dynamics of the three-dimensional vortex-induced vibration (VIV) of a flexible cylinder onto a low-dimensional latent space. They were able to predict the motions and flow fields of VIV at future time steps with high accuracy by using a governing equation of the reduced latent vector, obtained through the sparse identification of nonlinear dynamics (SINDY) algorithm. \citet{han2022deep} and \citet{liu2024novel} proposed the DNN-based ROM to replace computationally expensive CFD simulations and predicted the flow field at the next time step using the flow fields and structural motions at the current step. The structural motions at the next time step are then determined by solving the equation of structural motion based on the predicted flow field. The flow field and structural motions at future time steps can be obtained by performing this process iteratively.
Although these data-driven approaches have been well demonstrated to recover the trained dataset, they have not been sufficiently validated for the accuracy on out-of-sample data, raising concerns about their generalizability \citep{han2022deep,liu2024novel}. This is because these models may not inherently respect the underlying physics, leading to non-physical results when applied to conditions outside of the training dataset. Therefore, this study aims to develop an integrated method that combines the strengths of data-driven and model-based methods, while also accounting for the system separability, a significant benefit of partitioned methods. For this purpose, the model-based approach is partly employed to achieve a physically consistent interface condition, while iterative calculations are bypassed through the application of control theory to the data-driven system that represents the interface status.
In this study, we propose a residual force minimization approach based on an interface control principle.
This approach facilitates the coupling of fluid and structural domains without the need for an iterative process, by employing control theory in developing an interface state that minimizes residual force over time.
The residual force is defined as the discrepancy between the fluid and structural forces at the interface. A dynamical system is developed to estimate the residual force through reduced-order modeling, with the interface state controlled to minimize the residual force.
The proposed method fundamentally differs from the partitioned method and the aforementioned data-driven ROM techniques, offering a novel approach to mitigate implementation costs for multi-physics simulation codes while also decreasing computational expenses.
%The method will be detailed in the subsequent section.
The rest of this article is organized as follows. In Section~2, residual force minimization approach based on interface control principle is presented. Then, Section~3 describes its application to the VIV problem. Conclusions are finally provided in Section~4.
% Residual force minimization based on interface control principle
% Control-based interface model
\begin{figure}
\begin{center}
\includegraphics[width=137mm]{method.pdf}
\caption{Schematic of the interface control principle for the residual force minimization.}
\label{fig:Schematic of the proposed method}
\end{center}
\end{figure}
\section{\label{sec:Residual force minimization}Interface control principle for residual force minimization}
%In this study, we propose a residual force minimization approach based on control theory, enabling the coupling of fluid and structural domains without requiring an iterative process.
A schematic of the interface control principle for the residual force minimization method is shown in Fig.~\ref{fig:Schematic of the proposed method}.
First, dynamical systems that predict the future states of the physical quantities in each domain are constructed.
This study focuses on the VIV problem for demonstration, and thus the dynamical system for the structural displacement is represented by a single equation of motion.
On the other hand, the dynamical system for the fluid force is modeled by the SINDY with control (SINDYc) which is nonlinear system identification \citep{brunton2016sparse,kaiser2018sparse}. In construction of the SINDYc, the fluid force and structural displacement obtained by the reference FSI simulation are utilized.
A control-based interface model is then constructed to explicitly minimize the residual force in time by designing the structural displacement as a control input.
In the present study, the fluid force is simultaneously predicted through the designed structural displacement and the dynamical system for the fluid force.
The residual force in this context denotes the discrepancy between the fluid and structural forces at the interface. Consequently, the presence of the residual force suggests that the interface is not in a coupled state between the dynamical systems of fluid and structure.
Then, the structural displacement in the coupled state is recovered by the control input after the residual force has vanished, and it can be used as inputs for the fluid simulation.
As such, a fundamental concept of the interface control principle is the implementation of the control-based interface model that facilitates explicit regulation of the interface into the coupled state of dynamical systems.
This approach is different from the existing partitioned approach in that it does not necessitate direct communication between the fluid and structure systems. Instead, the interface model is positioned in between to establish the appropriate coupled state by eliminating the residual force.
The following subsections provide detailed descriptions of the discrete dynamical systems of the physical quantities, the control principle, and the control-based interface model.
\subsection{\label{subsec:linear system}Discrete dynamical system for structure}
The dynamical system for structural displacement is assumed to be represented by the linear equation of motion in this study. The discrete system for the structural displacement is expressed as:
\begin{align}
\label{eq:structural system}
\textbf{u}_{k+1} & = \textbf{A}_s\textbf{u}_{k}+\textbf{B}_s\textbf{x}_{k},
\end{align}
where $\textbf{u}_k\in \mathbb{R}^{p_u}$ and $\textbf{x}_k\in \mathbb{R}^{p_x}$ are vectors for the structural displacement and the fluid force at the time step $k$, respectively.
$p_{u}$ and $p_{x}$ denote the number of variables to represent the structural displacement and fluid force, respectively, in the discrete system.
The matrices $\textbf{A}_s\in \mathbb{R}^{p_u\times p_u}$ and $\textbf{B}_s\in \mathbb{R}^{p_u\times p_x}$ are obtained by converting a continuous system of the equation of structural motion into a discrete system.
It should be noted that a data-driven system identification, which is described in the next subsection for fluid, can be also employed to consider the more general structural problem.
\subsection{\label{subsec:linear system}Discrete dynamical system for fluid}
This study employs a data-driven approach to establish the dynamical system estimating fluid force.
The SINDYc method \citep{brunton2016sparse} is utilized as a sparsity-promoting technique for identifying nonlinear dynamical systems with inputs $\textbf{u}(t)$. Generally, the dynamical system with $\textbf{u}(t)$ can be represented by
\begin{eqnarray}
\frac{{\rm d}}{{\rm d}t}\textbf{x}(t)=\textbf{f}(\textbf{x}(t),\textbf{u}(t)),
\label{eq:system}
\end{eqnarray}
where $\textbf{x}(t)\in \mathbb{R}^{p_x}$ and $\textbf{u}(t)\in \mathbb{R}^{p_u}$ represent the state and control input of the system at time $t$, respectively, and $\textbf{f}\in \mathbb{R}^{p_x}$ denotes a sparse function that defines the system dynamics. To identify the function $\textbf{f}$ using the SINDYc algorithm, the time-series data of the state and input variables are first organized into two matrices:
\begin{align}
\textbf{X}=\begin{bmatrix}
\textbf{x}^{\mathsf{T}}(t_1) \\
\textbf{x}^{\mathsf{T}}(t_2) \\
\vdots \\
\textbf{x}^{\mathsf{T}}(t_m)
\end{bmatrix}=\begin{bmatrix}
x_1(t_1) & x_2(t_1) & \cdots & x_{p_x}(t_1) \\
x_1(t_2) & x_2(t_2) & \cdots & x_{p_x}(t_2) \\
\vdots & \vdots & \ddots & \vdots\\
x_1(t_m) & x_2(t_m) & \cdots & x_{p_x}(t_m) \\
\end{bmatrix}\in \mathbb{R}^{m\times p_x},\\
\textbf{U}=\begin{bmatrix}
\textbf{u}^{\mathsf{T}}(t_1) \\
\textbf{u}^{\mathsf{T}}(t_2) \\
\vdots \\
\textbf{u}^{\mathsf{T}}(t_m)
\end{bmatrix}=\begin{bmatrix}
u_1(t_1) & u_2(t_1) & \cdots & u_{p_u}(t_1) \\
u_1(t_2) & u_2(t_2) & \cdots & u_{p_u}(t_2) \\
\vdots & \vdots & \ddots & \vdots\\
u_1(t_m) & u_2(t_m) & \cdots & u_{p_u}(t_m) \\
\end{bmatrix}\in \mathbb{R}^{m\times p_u},
\end{align}
where $m$ is the number of snapshots, and the notation $\circ^{\mathsf{T}}$ indicates the transpose. The library of candidate nonlinear functions $\Theta$ is then constructed using data matrices $\textbf{X}$ and $\textbf{U}$:
\begin{align}
% \Theta(\textbf{X},\textbf{U})= &
%\begin{bmatrix}
%\big[
%\textbf{1}^{\text{T}} \quad \textbf{X}^{\text{T}} \quad \textbf{U}^{\text{T}} \quad (\textbf{X} \otimes \textbf{X})^{\text{T}} \quad (\textbf{X} \otimes \textbf{U})^{\text{T}} \notag\\
%&\qquad\cdots\; \text{sin}(\textbf{X})^{\text{T}} \quad \text{sin}(\textbf{U})^{\text{T}} \quad \text{sin}(\textbf{X}\otimes \textbf{U})^{\text{T}} \cdots \big]\in \mathbb{R}^{m\times ?},
%\end{bmatrix},
\Theta(\textbf{X},\textbf{U}) =\begin{bmatrix}
|& | & | & | & | & \\
\textbf{1}& \textbf{X} &\textbf{U} & \left ( \textbf{X}\otimes\textbf{X} \right ) & \left ( \textbf{X}\otimes\textbf{U} \right ) & \cdots \\
|& | & | & | & | & \\
\end{bmatrix},
\end{align}
where $\textbf{X}\otimes\textbf{U}$ denotes the vector comprising all pairwise products between the components $\textbf{X}$ and \textbf{U}. %\yk{\bf YK: I'm confuse about the size. Is $X$ in (3) a vector or matrix? From the sentence immediately above (3), $X$ seems a matrix. However, if $X$ is a matrix, $[1^\top \; X^\top]$ is not well defined. Also, elements of $\Theta$ is not clear for me. Do we always use the sinusoidal function? Or is this just an example?}
The design of a suitable library of candidate terms is crucial to the performance of the SINDYc algorithm. Finally, the system given by Eq.~\eqref{eq:system} can be written as:
\begin{eqnarray}
\dot{\textbf{X}}=\Theta(\textbf{X},\textbf{U})\Xi,
\end{eqnarray}
where
\begin{eqnarray}
\dot{\textbf{X}}=\begin{bmatrix}
\dot{\textbf{x}}^{\mathsf{T}}(t_1) \\
\dot{\textbf{x}}^{\mathsf{T}}(t_2) \\
\vdots \\
\dot{\textbf{x}}^{\mathsf{T}}(t_m)
\end{bmatrix}=\begin{bmatrix}
\dot{x}_1(t_1) & \dot{x}_2(t_1) & \cdots & \dot{x}_{p_x}(t_1) \\
\dot{x}_1(t_2) & \dot{x}_2(t_2) & \cdots & \dot{x}_{p_x}(t_2) \\
\vdots & \vdots & \ddots & \vdots\\
\dot{x}_1(t_m) & \dot{x}_2(t_m) & \cdots & \dot{x}_{p_x}(t_m) \\
\end{bmatrix}
\end{eqnarray}
The notation $\dot{\circ}$ represents the differentiation in time, and the matrix $\dot{\textbf{X}}$ is obtained by the second-order central-difference scheme in this study. The coefficient matrix $\Xi$ is composed of sparse column vectors $\xi$, each of which determines the active terms from $\Theta(\textbf{X},\textbf{U})$ in the dynamics of $\textbf{f}$. These vectors are obtained using a convex $l_1$ regularized sparse regression:
\begin{eqnarray}
\xi_{i}=\text{argmin}_{\xi_{i}} \left\| \dot{\textbf{X}}_i-\Theta(\textbf{X},\textbf{U})\xi_{i}\right\|_{2}+\alpha\left\| \xi_{i}\right\|_{1},
\end{eqnarray}
where $\dot{\textbf{X}}_i$ and $\xi_{i}$ denote the $i$-th column of $\dot{\textbf{X}}$ and $\Xi$, respectively. %\yk{\bf What kind of a norm is considered for the first term?}
The $\left\|\circ\right\|_1$ term promotes sparsity in the vector $\xi_{i}$. The parameter $\alpha$ represents the weight of the constraint term and determines the sparsity of the coefficient vector $\xi$. In the present work, a sequentially thresholded least squares algorithm is used to solve this sparsity-promoting regression problem. When the matrix $\Xi$ has been determined, the nonlinear dynamical systems with inputs at the time step $k$ can be expressed as:
\begin{eqnarray}
\dot{\textbf{x}}^{\mathsf{T}}_k=\Theta (\textbf{x}_k^{\mathsf{T}},\textbf{u}_k^{\mathsf{T}})\Xi.
\label{eq:SINDYc_decrete}
\end{eqnarray}
Therefore, the dynamical system for the fluid force can be written from Eq.~\eqref{eq:SINDYc_decrete}, as follows:
\begin{eqnarray}
\textbf{x}_{k+1}=\textbf{x}_{k}+\Delta t\Xi^{\mathsf{T}}\Theta ^{\mathsf{T}}(\textbf{x}^{\mathsf{T}}_{k},\textbf{u}^{\mathsf{T}}_{k}),
\label{eq:fluid system}
\end{eqnarray}
where $\Delta t$ is the time interval. %\yk{\bf The notations are not inconsistent between $\Theta (\textbf{x}_{k},\textbf{u}_{k})^{\text{T}}$ and $\Theta^{\text{T}}(\textbf{X},\textbf{U})$.}
\subsection{\label{subsec:Control principle}Control principle}
The control-based interface model minimizes the residual force by designing structural displacement.
Unlike the conventional fixed-time iteration employed in partitioned methods, our approach seeks to identify the evolution of the interface to minimize the residual force over time, as illustrated in Fig.~\ref{fig:Schematic of the proposed method}.
The residual force $\textbf{J}_{k}$ in the discrete-time system can thus be defined through the discrete system for structure, as follows:
\begin{align}
\textbf{J}_{k} & = \textbf{u}_{k+1}-\textbf{A}_s\textbf{u}_{k}-\textbf{B}_s\textbf{x}_{k}.
\label{eq:residual force}
\end{align}
Here, $\textbf{u}_{k+1}-\textbf{A}_s\textbf{u}_{k}$ and $\textbf{B}_s\textbf{x}_{k}$ correspond to the structural and fluid force terms, respectively. In the presence of residual force, the structural system can be described by Eq.~\eqref{eq:residual force}, rather than Eq.~\eqref{eq:structural system}. We then design the following discrete-linear system of the residual force:
\begin{align}
\textbf{J}_{k+1} & = \textbf{C}\textbf{J}_{k}.
\label{eq:residual force system}
\end{align}
The stability of the system in Eq.~\eqref{eq:residual force system} is determined by the eigenvalues of the matrix $\textbf{C}\in \mathbb{R}^{p_u\times p_u}$. In other words, the evolution of the residual force is explicitly controlled by these eigenvalues. If all eigenvalues of the matrix $\textbf{C}$ are inside the unity circle in the complex plane, the residual force decays over time. To ensure this behavior, the matrix $\textbf{C}$ is defined as a scalar matrix, $\textbf{C}=\lambda\textbf{I}$, where $\lambda$ is a scalar constant whose absolute value is less than one;
$\textbf{I}\in \mathbb{R}^{p_u\times p_u}$ denotes the identity matrix. Hereafter, the value $\lambda$ is referred to as the {\it control parameter}.
\subsection{\label{subsec:interface model}Control-based interface model}
The control-based interface model is constructed based on the discrete-linear system of the residual force given by Eq.~\eqref{eq:residual force system}. First, the residual force at time step $k+1$ is expressed by Eq.~\eqref{eq:residual force} and can be rewritten by substituting the discrete systems for the physical quantities, given in Eqs.~\eqref{eq:fluid system} and \eqref{eq:residual force} as follows:
\begin{align}
\textbf{J}_{k+1} &= \textbf{u}_{k+2}-\textbf{A}_s\textbf{u}_{k+1}-\textbf{B}_s\textbf{x}_{k+1} \nonumber\\
% & = \textbf{u}_{k+2}-\textbf{A}_s(\textbf{J}_{k} +\textbf{A}_s\textbf{u}_{k}+\textbf{B}_s\textbf{x}_{k})-\textbf{B}_s(\textbf{x}_{k}+\Delta t\Xi^{\mathsf{T}}\Theta ^{\mathsf{T}}(\textbf{x}^{\mathsf{T}}_{k},\textbf{u}^{\mathsf{T}}_{k})) \nonumber\\
& = \textbf{u}_{k+2}-\textbf{A}_s^2\textbf{u}_{k}-(\textbf{I} + \textbf{A}_s)\textbf{B}_s\textbf{x}_{k}-\Delta t \textbf{B}_{s}\Xi^{\mathsf{T}}\Theta ^{\mathsf{T}}(\textbf{x}^{\mathsf{T}}_{k},\textbf{u}^{\mathsf{T}}_{k})-\textbf{A}_s\textbf{J}_k.
\label{eq:next residual force system}
\end{align}
%\yk{\bf Why don't we use $\textbf{u}_{k+2}-\textbf{A}_s\textbf{u}_{k+1}-\textbf{B}_s(\textbf{x}_{k}+\Delta t\Xi \Theta (\textbf{x}_{k},\textbf{u}_{k})^{\text{T}}) = \textbf{C}\textbf{J}_{k}$?}
% \begin{eqnarray}
% \begin{matrix}
% \textbf{J}_{k+1} &=& \textbf{u}_{k+2}-\textbf{A}_s\textbf{u}_{k+1}-\textbf{B}_s\textbf{x}_{k+1},\\
% & = &\textbf{u}_{k+2}-\textbf{A}_s(\textbf{J}_{k} +\textbf{A}_s\textbf{u}_{k}+\textbf{B}_s\textbf{x}_{k})-\textbf{B}_s(\textbf{x}_{k}+\Delta t\Xi \Theta (\textbf{x}_{k},\textbf{u}_{k})^{\text{T}}),\\
% & = & \textbf{u}_{k+2}-\textbf{A}_s\textbf{A}_s\textbf{u}_{k}-(\textbf{A}_s\textbf{B}_s+\textbf{B}_s)\textbf{x}_{k}-\textbf{B}_{s}\Delta t\Xi \Theta (\textbf{x}_{k},\textbf{u}_{k})^{\text{T}}-\textbf{A}_s\textbf{J}_k.
% \end{matrix}
% \label{eq:next residual force system}
% \end{eqnarray}
Then, by substituting Eq.~\eqref{eq:next residual force system} into Eq.~\eqref{eq:residual force system}, the following system is obtained:
\begin{eqnarray}
\textbf{u}_{k+2}=\textbf{A}_s^2\textbf{u}_{k} + (\textbf{I} + \textbf{A}_s)\textbf{B}_s\textbf{x}_{k} +\Delta t \textbf{B}_{s}\Xi^{\mathsf{T}}\Theta ^{\mathsf{T}}(\textbf{x}^{\mathsf{T}}_{k},\textbf{u}^{\mathsf{T}}_{k})+(\textbf{A}_s+\textbf{C})\textbf{J}_{k}.
\label{eq:control based ver1}
\end{eqnarray}
% \begin{eqnarray}
% \textbf{u}_{k+2}=\textbf{A}_s\textbf{A}_s\textbf{u}_{k}+(\textbf{A}_s\textbf{B}_s+\textbf{B}_s)\textbf{x}_{k}+\textbf{B}_s\Delta t\Xi \Theta (\textbf{x}_{k},\textbf{u}_{k})^{\text{T}}+(\textbf{A}_s+\textbf{C})\textbf{J}_{k}.
% \label{eq:control based ver1}
% \end{eqnarray}
This system decreases the residual force by controlling structural displacement at each time step, as illustrated in Fig.~\ref{fig:Flow chart}. The input data comprises the fluid force and structural displacement at time step $k$, along with the structural displacement at time step $k+1$, which is used to calculate the residual force at time step $k$. The fluid force and structural displacement at the subsequent time step (i.e., output data) are then predicted using the discrete systems for the physical quantities and the control-based interface model. This closed-loop process iteratively estimates fluid force and structural displacement while progressively minimizing the residual force.
\begin{algorithm}
\caption{Control-based interface model}\label{alg:interface model}
\textbf{Input}: Initial conditions $\textbf{x}_1$, $\textbf{u}_1$, $\textbf{u}_{2}$
\begin{algorithmic}[1]
\While{$k=1,\cdots,m$}
\State
\noindent $
\textbf{J}_{k} = \textbf{u}_{k+1}-\textbf{A}_s\textbf{u}_{k}-\textbf{B}_s\textbf{x}_{k}$\Comment{Eq.~\eqref{eq:residual force}}
\State $\textbf{u}_{k+2}=\textbf{A}_s^2\textbf{u}_{k} + (\textbf{I} + \textbf{A}_s)\textbf{B}_s\textbf{x}_{k} +\Delta t \textbf{B}_{s}\Xi^{\mathsf{T}}\Theta ^{\mathsf{T}}(\textbf{x}^{\mathsf{T}}_{k},\textbf{u}^{\mathsf{T}}_{k})+(\textbf{A}_s+\textbf{C})\textbf{J}_{k}$\\ \Comment{Eq.~\eqref{eq:control based ver1}}
\State $\textbf{x}_{k+1}=\textbf{x}_{k}+\Delta t\Xi^{\mathsf{T}}\Theta ^{\mathsf{T}}(\textbf{x}^{\mathsf{T}}_{k},\textbf{u}^{\mathsf{T}}_{k})$ \Comment{Eq.~\eqref{eq:fluid system}}
\EndWhile
\end{algorithmic}
\end{algorithm}
\begin{figure}
\begin{center}
\includegraphics[width=120mm]{flowchart.pdf}
\caption{Flow chart of the proposed method for minimizing the residual force and predicting the physical quantities.}
\label{fig:Flow chart}
\end{center}
\end{figure}
\section{Demonstration}
In this section, we examine the residual minimization approach based on the interface control principle through its application to the VIV of the cylinder.
\subsection{Problem settings for vortex-induced vibration of cylinder}
%\subsubsection{Problem settings}
%VIV of the cylinder is used for the application of the proposed method.
A two-dimensional cylinder is placed in a freestream, as shown in Fig.~\ref{fig:Schematic of VIV}. The cylinder is supported by a spring which allows vertical oscillation. The Reynolds number defined by $U_{\infty}D/ \nu$ is set to be 150, where $U_\infty$, $D$, and $\nu$ are the freestream velocity, the cylinder diameter, and the kinematic viscosity, respectively~\cite{ahn2006strongly,borazjani2008curvilinear}.
In the FSI analysis for the reference, the two-dimensional compressible Navier-Stokes equations were coupled with an equation of motion for the cylinder, which were solved by an in-house finite-difference solver LANS3D~\citep{fujii1989high,abe2014geometric,Abe2023}.
The inflow Mach number calculated by $M_{\infty}=U_{\infty}/a_{\infty}$ was set to be 0.2, where $a_{\infty}$ is the speed of sound. The Mach number is sufficiently low to avoid the influence of compressibility. The spatial derivatives were evaluated by a sixth-order compact finite-difference scheme, and the tenth-order filtering with the filter coefficient of 0.495 was used to suppress a numerical oscillation. A second-order implicit time scheme was employed for advancing time. An O-type moving mesh was utilized, with a grid of 201 $\times$ 201 points distributed along the circumference and wall height directions. The mesh was moved without deformation according to the equation of motion for the cylinder. The computation was performed for 200,000 steps, and the time step size normalized by a speed of sound and cylinder diameter, was set to be 0.005.
The equation of motion for the two-dimensional cylinder is expressed in a non-dimensional variable as follows:
\begin{align}
\label{eq:structural VIV}
\ddot{y}^{*}+\left ( \frac{4\pi\xi}{U^{*}}\right )\dot{y}^{*}+\left ( \frac{2\pi}{U^{*}}\right )^{2}M_{\infty}^{2}{y}^{*}=\frac{M_{\infty}^{2}}{2m^{*}}C_{L},
\end{align}
where $\xi$ and $C_{L}$ are the non-dimensional damping coefficient and lift coefficient, respectively. The equation~\eqref{eq:structural VIV} is normalized by using the following relations:
\begin{eqnarray}
y^{*}=\frac{y}{D}, \quad t^{*}=\frac{t}{D/a_{\infty}}, \quad m^{*}=\frac{m}{\rho_{\infty}D^{2}}, \quad
U^{*}=\frac{U_{\infty}}{fD}, \quad C_{L}=\frac{2\lambda_{y}}{\rho_{\infty}U_{\infty}^{2}D},
\end{eqnarray}
where $y^{*}$, $t^{*}$, and $m^{*}$ are the non-dimensional displacement, time, mass of the cylinder. The value $U^{*}$ is the reduced velocity, $f$ is the natural frequency of the cylinder, $\rho_{\infty}$ is the density of the fluid, and $\lambda_{y}$ is the fluid force in the direction of $y$. In this study, the damping term is neglected ($\xi=0$), as shown in Fig.~\ref{fig:Schematic of VIV}.
\begin{figure}
\begin{center}
\includegraphics[width=60mm]{VIV_figure.pdf}
\caption{Schematic of VIV for two-dimensional cylinder.}
\label{fig:Schematic of VIV}
\end{center}
\end{figure}
Defining the structural and fluid force state vectors as $\textbf{u}_{k} =
\begin{bmatrix}
y^{*}_{k} & \dot{y}^{*}_{k}
\end{bmatrix}^{\mathsf{T}}$ and $\textbf{x}_{k} =
\begin{bmatrix}
C_{L,k} & \dot{C}_{L,k}
\end{bmatrix}^{\mathsf{T}}$, respectively, the matrices $\textbf{A}_s$ and $\textbf{B}_s$ in Eq.~\eqref{eq:structural system} can be derived from the equation of motion as follows:
\begin{align}
\textbf{A}_s&=\left ( \textbf{I}_2+\Delta t \begin{bmatrix}
0 & 1\\
-\left ( \frac{2\pi}{U^{*}}\right )^{2}M_{\infty}^{2}& 0\\
\end{bmatrix} \right ), \\
\textbf{B}_s&=\Delta t\begin{bmatrix}
0 & 0 \\
\frac{M_{\infty}^{2}}{2m^{*}} & 0 \\
\end{bmatrix},
\end{align}
where $\textbf{I}_2 $ represents the $2 \times 2$ identical matrix.
In the VIV, the reduced velocity $U^*$ characterizes the resonance oscillation of the system, commonly known as the lock-in phenomenon. Figure~\ref{fig:lock-in} shows the simulation results for the maximum displacements of the cylinder depending on the reduced velocity. The maximum displacements increase significantly in the range of $4 \leq U^{*} \leq 7$, whereas they decrease outside this range. Therefore, the lock-in phenomenon is observed in $4 \leq U^{*} \leq 7$. These results are validated by comparison with the previous results of \citet{ahn2006strongly} and \citet{borazjani2008curvilinear}. This study focused on the VIV at reduced velocities within the lock-in regime ($U^{*}=4,5,6,7$) to demonstrate the proposed method.
\begin{figure}
\begin{center}
\includegraphics[width=100mm]{lockin.pdf}
\caption{Comparisons of the maximum cylinder displacements for each $U^{*}$ between the present work and previous studies \citep{ahn2006strongly,borazjani2008curvilinear} }
\label{fig:lock-in}
\end{center}
\end{figure}
\subsection{\label{subsub:VIV system validation}Validation of discrete fluid system}
%The discrete fluid system identified by the SINDYc algorithm is validated in this subsection.
Figure~\ref{fig:VIV displacement} presents the time histories of $C_L$ and $y^*$ in the reference FSI simulations. The training dataset for the SINDYc employs the data during the time intervals indicated by the gray shading in Fig.~\ref{fig:VIV displacement}. In all cases, a third-order polynomial is employed for the library of candidate nonlinear functions in SINDYc. The sparsity-promoting parameter of $\alpha$ for the cases of $U^{*}=4$, $5$, $6$, and $7$ are set to be $0.001$, $0.001$, $0.001$, and $0.003$, respectively.
\begin{figure}
\begin{center}
\includegraphics[width=135mm]{Lift_displacement.pdf}
\caption{Time histories of $C_L$ (red solid lines) and $y^*$ (blue dashed lines) in the reference FSI simulations at (a) $U^{*}=4$, (b) $U^{*}=5$, (c) $U^{*}=6$, and (d) $U^{*}=7$. The training dataset is represented by the gray shading in each case.}
\label{fig:VIV displacement}
\end{center}
\end{figure}
Figure~\ref{fig:VIV discrete Validation} represents a comparison between $C_L$ predicted by the SINDYc model and that obtained from the reference FSI simulation. The ordinary differential equations for $C_L$ corresponding to each reduced velocity $U^*$ are represented in the right column, wherein $\dot{C}_L$ was exactly recovered as $\dot{C}_L=\dot{C}_L$. Note that inputs and initial conditions for the SINDYc model were set to be those of the reference FSI simulation, i.e., $\textbf{U}$ and $\textbf{x}_1$. Under the conditions of $U^{*}=4-6$, SINDYc demonstrates good predictive accuracy, as shown in Fig.~\ref{fig:VIV discrete Validation}(a)-(c). For $U^{*}=7$, SINDYc also shows good agreement with the reference FSI during the periodic oscillation; however, the predictive accuracy decreases in the transient regime particularly around $t=200-300$, as presented in Fig.~\ref{fig:VIV discrete Validation}(d).
This error could be related to the complex pattern of $C_L$ behavior within the transition region. Figure~\ref{fig:VIV displacement}(d) showed that for $U^*=7$, the amplitude of $C_L$ during periodic oscillation is comparatively small, and reaching a quasi-steady state requires a longer duration. Furthermore, in the transition region of $U^*=7$ case, $C_L$ demonstrates complex behavior characterized by two amplifications at approximately $t=200$ and $300$. In other cases, $C_L$ attains only one amplification within the transition region.
Eventually, Fig.~\ref{fig:VIV discrete Validation}(d) illustrates a decrease in accuracy within the $C_L$ transition region ($t<400$); meanwhile, the accuracy in the periodic oscillation is better than that during transient regime.
Based on the prior observation, the error during the periodic oscillation is precisely quantified by comparing the reference FSI results with the predicted $C_L$, as defined by
\begin{eqnarray}
%\text{Error} = 100\times\sqrt{\frac{||C_{L,\text{FSI}}-C_{L,\text{SINDYc}}||^{2}_{\rm{F}}}{\|C_{L,\text{FSI}}\|^{2}_{\rm{F}}}},
\epsilon_{C_L}:= {\sqrt{\frac{1}{N_{\text{peri}}}\sum_{i} \left(C_{L,i}^\text{FSI}-C_{L,i}^\text{SINDYc}\right)^2}}\Bigg/{\sqrt{\frac{1}{N_{\text{peri}}}\sum_{i} \left(C_{L,i}^\text{FSI}\right)^2}},\label{eq:err}
\end{eqnarray}
where $C_{L,i}^\text{FSI}$ and $C_{L,i}^\text{SINDYc}$ denote the lift coefficients at $i$-th time step obtained from the reference FSI simulation and those predicted by SINDYc, respectively, over the time intervals $t=600-900$ shown in the right panel of Fig.~\ref{fig:VIV discrete Validation}. In Eq.~\eqref{eq:err}, $\epsilon_{C_{L}}$ is defined as a normalized root-mean-square error; $N_{\text{peri}}$ denotes the number of samples, which was set as $N_{\text{peri}}=58200$. The corresponding errors for $U^{*} = 4$, $5$, $6$, and $7$ are $\epsilon_{C_{L}}=0.097$, $0.035$, $0.075$, and $0.250$, respectively.
The errors in the periodic regime are lower than 10\% for $U^*=4-6$, whereas they increase to 25\% in the case of $U^*=7.0$.
This indicates that difficulties in prediction within the transient regime affect accuracy in the periodic regime.
Improved prediction accuracy in both transient and periodic regimes may be attained through precise adjustment and identification of the SINDYc model. Meanwhile, our primary focus is the prediction of limit-cycle oscillation for VIV, and the accuracy of the current SINDYc models is considered sufficient, including the case of $U^*=7$.
\begin{figure}
\begin{center}
\includegraphics[width=95mm]{SINDYc_validation2.pdf}
\caption{SINDYc predictions of $C_L$ and the corresponding ordinary differential equations for (a) $U^{*}=4$, (b) $U^{*}=5$, (c) $U^{*}=6$, and (d) $U^{*}=7$. The red solid lines and blue dashed lines indicate the SINDYc and the reference FSI simulation, respectively.}
\label{fig:VIV discrete Validation}
\end{center}
\end{figure}
\subsection{Demonstration of the proposed method}
Two results are presented for demonstrating the proposed method. The initial result is a demonstration to predict $C_L$ and $y^*$ for the training VIV dataset, as provided by the reference FSI simulation.
In the proposed method, the initial conditions for $\textbf{x}_1$, $\textbf{u}_1$, and $\textbf{u}_2$ were set to match those of the reference FSI simulation.
The control parameter was set as $\lambda=0.5$. Figure~\ref{fig:VIV without residual force} presents the predicted physical quantities alongside the reference FSI simulation results. The residual force at the initial time step is close to zero, as the initial conditions for the proposed method were obtained from the reference FSI simulation, wherein the fluid and structural systems are already coupled. %Notably, the residual force further decreases as the structural displacement is updated at each time step.
While the predicted $C_L$ and $y^*$ do not align with the reference FSI simulation, particularly around the transient regime around $t\simeq 200$, the periodic oscillations are well reproduced. In particular, the predicted amplitudes and oscillation patterns of $C_L$ and $y^*$ in the limit-cycle regime highlighted in green show good agreement with the reference data.
The discrete model for fluid force utilizing SINDYc does not perfectly match the reference simulation, as suggested in Fig.~\ref{fig:VIV discrete Validation}. Consequently, the prediction of the coupled state based on the SINDYc model and discrete structural system exhibited distinct behavior from the reference data, especially during the transient period. This results in a shift in the phase of periodic oscillation; nevertheless, the amplitude and frequency are accurately represented.
%First, we consider the case where the residual force is almost zero in the initial conditions. The initial conditions of $\textbf{x}_1,\textbf{u}_1$, and $\textbf{u}_2$ are set to match those of the reference FSI simulation, where the residual force is nearly zero. %The scalar matrix with eigenvalues less than 1 is used as the control matrix.
%The fluid force, structural displacement of the VIV, and residual force at each time step are then determined using the control-based interface model. Figure~\ref{fig:VIV without residual force} shows the time histories of the fluid force and structural displacement of the VIV obtained by the FSI simulation and the control-based interface model. The fluid force and structural displacement reconstructed by this model are consistent with those of the FSI simulation. This result indicates that the control-based interface model can achieve the same results as the FSI simulation when the controlled residual force is almost zero.
\begin{figure}
\begin{center}
\includegraphics[width=130mm]{VIV_noforce.pdf}
\caption{Time histories of $C_L$ and $y^*$ obtained from the proposed method and the reference FSI simulation: (a) $U^{*}=4$, (b) $U^{*}=5$, (c) $U^{*}=6$, and (d) $U^{*}=7$. The red solid lines and blue dashed lines indicate the proposed method and reference FSI simulation, respectively. The green shading represents a limit-cycle regime in each case. The initial conditions for the proposed method are set to be the same as the reference FSI simulation.}
%Note that the residual force of the proposed method and the FSI simulation is identical in the initial conditions.}
\label{fig:VIV without residual force}
\end{center}
\end{figure}
%\begin{table}[htbp]
%\caption{Initial values used in Fig.~\ref{fig:limit cycle}:
%$\textbf{x}_1=(C_{L,1},\dot{C}_{L,1}),\textbf{u}_1=(y^*_1,\dot{y}^*_1)$, and $\textbf{u}_2=(y^*_2,\dot{y}^*_2)$ are given as initial conditions for reference FSI simulation and random case 1 through 5.}
%\centering
%\small
%\begin{tabular}{ccccccc}\hline
%initial values & reference & case 1 & case 2 & case 3 & case 4 &case 5 \\
%$\textbf{x}_1$ &$(-0.17\times10^{-2},0.0)$ & $(0.30,0.88)$ &$(1.0,1.0)$ &$(1.0,1.0)$ &$(1.0,1.0)$ %&$(1.0,1.0)$ \\
%$\textbf{u}_1$ &$(0.0,0.0)$ &$(0.29,0.93)$ &$(1.0,1.0)$ &$(1.0,1.0)$ &$(1.0,1.0)$ &$(1.0,1.0)$ \\
%$\textbf{u}_2$ &$(0.0,0.0)$ &$(0.54,0.65)$ &$(1.0,1.0)$ &$(1.0,1.0)$ &$(1.0,1.0)$ &$(1.0,1.0)$ \\\hline
%\end{tabular}
%\label{tab:init}
%\end{table}
\begin{table}[htbp]
\caption{Initial values used in Fig.~\ref{fig:limit cycle}:
$\textbf{x}_1=(C_{L,1},\dot{C}_{L,1}),\textbf{u}_1=(y^*_1,\dot{y}^*_1)$, and $\textbf{u}_2=(y^*_2,\dot{y}^*_2)$ given as initial conditions for the reference FSI simulation and for the random case 1 through 5, consistently under different $U^*$ conditions.}
\centering
%\small
\begin{tabular}{cccc}\hline\hline
values & $\textbf{x}_1$ & $\textbf{u}_1$ & $\textbf{u}_2$ \\ \hline
%reference &$(-17.48,-2.85)\times10^{-4}$ & $(-4.27,-1.38)\times10^{-4}$ &$(-4.28,-1.38)\times10^{-4}$ \\
reference FSI &$(0.00,0.00)$ & $(0.00,0.00)$ &$(0.00,0.00)$ \\
random case 1 &$(0.30,0.88)$ &$(0.29,0.93)$ &$(0.54,0.65)$ \\
random case 2 &$(0.97,0.59)$ &$(0.98,0.74)$ &$(0.73,0.30)$ \\
random case 3 &$(0.60,0.74)$ &$(0.36,0.56)$ &$(0.90,0.91)$ \\
random case 4 &$(0.49,0.12)$ &$(0.60,0.49)$ &$(0.48,0.40)$ \\
random case 5 &$(0.48,0.75)$ &$(0.10,0.37)$ &$(0.23,0.18)$ \\
\hline \hline
\end{tabular}
\label{tab:init}
\end{table}
The second result demonstrates the ability to control the residual force to zero through the proposed interface control principle.
In the beginning of the simulation, the residual force $J$ was artificially generated by setting random initial conditions of $\textbf{x}_1$, $\textbf{u}_1$, and $\textbf{u}_2$. The initial conditions were randomly selected within the range of 0.1 to 1.5, which lies below the maximum amplitudes of $C_L$ and $y^*$ observed at a reduced velocity of $U^{*} = 4$ in the reference FSI simulation.
Five sets of initial conditions were generated randomly, designated as random case 1 through 5, and are summarized in Table.~\ref{tab:init}.
The control parameter was set as $\lambda=0.5$.
In addition to the five specified conditions, a broader range of random values and control parameters was investigated, revealing that certain simulations exhibited instability and resulted in divergence. The robustness of these parameters will be addressed in the next subsection.
Figure~\ref{fig:VIV with residual force} presents the evolution of the controlled residual force $J$ along with $C_L$ and $y^*$ predicted by the proposed method, using the random case 5 in Table.~\ref{tab:init}. The residual force $J$ exhibits significant decreases over time in each case, indicating that the proposed control principle works effectively across all $U^*$ cases. Meanwhile, $C_L$ is relatively large during the time intervals while the residual force $J$ is present, particularly for $U^{*}=5$, $6$, and $7$. The large amplitude of $C_L$ diminishes over time, transitioning to periodic oscillations known as limit-cycle oscillations. The transient behaviors of those oscillations exhibit qualitative agreement with the reference FSI simulation, as observed in Fig.~\ref{fig:VIV displacement}.
\begin{figure}
\begin{center}
\includegraphics[width=130mm]{VIV_force.pdf}
\caption{Time histories of $C_L$, $y^*$, and $J$ predicted by the proposed method: (a) $U^{*}=4$, (b) $U^{*}=5$, (c) $U^{*}=6$, and (d) $U^{*}=7$. The initial decay behavior of the controlled residual force $J$ is enlarged and displayed in each $U^*$ case. The initial conditions for the proposed method are set to be the random case 5 in Table.~\ref{tab:init}.}
\label{fig:VIV with residual force}
\end{center}
\end{figure}
Next, a more quantitative analysis of the transient and periodic behaviors is performed for various random initial conditions listed in Table~\ref{tab:init}, in comparison with the corresponding FSI simulations.
%All of the random cases specify the initial conditions of $\textbf{x}_1$, $\textbf{u}_1$, and $\textbf{u}_2$ within the range of 0.1 to 1.5, with identical conditions applied across various $U^*$ cases
The control parameter was set to be $\lambda=0.5$.
Figure~\ref{fig:limit cycle} shows the trajectories on $C_L$-$y^*$ space.
Additional FSI simulations were conducted for each $U^*$, wherein $y^*$ and $\dot{y}^*$, at the moment when $J$ first approaches zero in the proposed method with the random case 1 to 5, were employed as initial conditions. For brevity, only the results of the random case 3 are presented, as the other random cases exhibit similar trends. The trajectories were presented alongside those of the aforementioned reference FSI simulations.
Each panel of Fig.~\ref{fig:limit cycle} presents, on the left, the trajectory over the full time domain, and on the right, the trajectories limited to the time intervals that exhibit periodic oscillations. All the trajectories of the proposed method, although initially varying due to random initial conditions, consistently converge to distinct periodic trajectories, resulting in limit cycles.
Furthermore, the navy-blue and magenta lines, denoted as FSI (Reference) and FSI (Random case 3), represent two FSI simulations with different initial conditions described above, both converging to nearly identical periodic trajectories in each $U^*$ case.
These observations indicate that the intrinsic limit cycle of VIV is robust to variations in the initial fluid force and structural displacement.
The trajectories of the proposed method and FSI simulations exhibit an overall agreement during the periodic regime, although discrepancies are observed between them.
These discrepancies become more pronounced in the case of $U^*=7$.
This is primarily due to the error in the SINDYc predictions for the periodic regime, which was previously addressed for Fig.~\ref{fig:VIV discrete Validation}.
The proposed method effectively reproduces limit-cycle oscillations across various initial conditions for a range of $U^*$ in the VIV situation. The significant aspect of the proposed method is that it does not necessitate initial conditions in the coupled state, allowing the fluid and structural system to start from arbitrary values. The residual force remaining in the uncoupled state is subsequently reduced to zero by ensuring an appropriate displacement behavior, which can be passed to the fluid and structural systems, independently, over time.
%Across all $U^*$ cases, the trajectories obtained from the two FSI simulations are consistent with each other. In addition, these trajectories are in good agreement with those predicted by the control-based interface model. Although a somewhat larger discrepancy is observed at a reduced velocity of $U^{*} = 7$ compared to the other cases, the overall oscillation patterns remain consistent.
%, and that such robustness is well predicted by the control-based interface model.
%To validate these results, two FSI simulations are represented in Fig.~\ref{fig:limit cycle}: one is the reference FSI simulation, and the other is performed using, as the initial condition, the structural displacement from a random case at the time when the residual force first approaches zero. For brevity, only the result corresponding to random case 3 is shown, because the other cases exhibit similar trends. The limit cycles predicted by the control-based interface model show good quantitative agreement with those obtained from both FSI simulations. Although a larger deviation is observed at a reduced velocity of $U^{*} = 7$ compared to the other cases, the overall oscillation patterns remain consistent. Based on these observations, it can be concluded that the intrinsic limit cycle remains unchanged despite differences in the fluid force and structural displacement at the time when the residual force first approaches zero. In addition, the accuracy of the predicted fluid force and structural displacement when the residual force is zero is acceptable.
%In other words, the intrinsic limit cycle remains unchanged despite differences in the fluid force and structural displacement at the time when the residual force first approaches zero. In order to investigate these results, Figure~\ref{fig:limit cycle} also includes trajectories from two FSI simulations: one is the reference FSI simulation, and the other is performed using, as the initial condition, the structural displacement from a random case at the time when the residual force first approaches zero. For brevity, only the result corresponding to random case 3 is shown, because the other cases exhibit similar trends. The limit cycle predicted by the control-based interface model show good quantitative agreement with that obtained from both FSI simulations. Although a larger discrepancy between the model and the FSI simulation is observed at $U^{*}=7$ compared to the other cases, the overall oscillation pattern remains similar. Based on these observations, it can be concluded that the accuracy of the predicted fluid force and structural displacement when the residual force is zero is acceptable.
%Furthermore, these distinct structures are in good agreement with the trajectories obtained from the reference FSI simulation. Although a larger discrepancy between the model and the FSI simulation is observed at $U^{*}=7$ compared to the other cases, the overall oscillation pattern remains similar.
%Figure~\ref{fig:limit cycle} also includes trajectories from two FSI simulations: one is the reference FSI simulation, and the other is performed using, as the initial condition, the structural displacement from a random case at the time when the residual force first approaches zero. For brevity, only the result corresponding to random case 3 is shown, because the other cases exhibit similar trends. The two FSI simulation results for all reduced velocity cases show that the trajectories obtained from those are consistent with each other, indicating that the intrinsic limit cycle remains unchanged despite differences in initial condition of the structural displacement. The pattern of this limit cycle is also similar to that predicted by the control-based interface model
%The consistency between the two FSI simulation results suggests that the intrinsic limit cycle remains unchanged despite differences in initial condition of the structural displacement. Furthermore, the distinct structures predicted by the control-based interface model show good quantitative agreement with the trajectories obtained from both FSI simulations. Although a larger discrepancy between the model and the FSI simulation is observed at $U^{*}=7$ compared to the other cases, the overall oscillation pattern remains similar. Based on these observations, it can be concluded that the accuracy of the predicted fluid force and structural displacement when the residual force is zero is acceptable. Moreover, the proposed method is applicable to FSI problems exhibiting limit cycle behavior.
%The variation in the oscillation patterns and amplitudes of the fluid force and structural displacement predicted by the control-based interface model under different random initial conditions is investigated and compared with those obtained from the reference FSI simulation. For this analysis, five sets of random initial conditions are employed. Figure~\ref{fig:limit cycle} shows the trajectories of the predicted fluid force and structural displacement for each random case. In this study, all random initial conditions are selected within the range of 0.1 to 1, and the same set of random values is applied across all reduced velocity cases. The control parameter is set to $\lambda=0.5$. In each panel of Fig.~\ref{fig:limit cycle}, the left image presents the trajectory over the entire coupled time domain, while the right image shows the trajectory restricted to the time intervals where periodic oscillations occur. For all reduced velocity cases, although complex and different trajectories are initially observed depending on the random initial conditions, they converge to distinct structures in the time intervals where periodic oscillations occur, forming limit cycles. The shape of these structures varies depending on the reduced velocity. Furthermore, the distinct structures predicted by the control-based interface model show good quantitative agreement with the trajectories obtained from the reference FSI simulation. Although a larger discrepancy between the model and the reference FSI simulation is observed at $U^{*}=7$ compared to the other cases, the overall oscillation pattern remains similar. Based on these observations, it can be concluded that the accuracy of the predicted fluid force and structural displacement when the residual force is zero is acceptable. Moreover, the proposed method is applicable to FSI problems exhibiting limit cycle behavior.
\begin{figure}
\begin{center}
\includegraphics[width=135mm]{limit_cycle_random.pdf}
\caption{Limit-cycle trajectories in $C_L$-$y^*$ plane are shown for the proposed method with various initial conditions of random case 1 through 5 and for the FSI simulations. Different $U^*$ cases are summarized as (a) $U^{*}=4$, (b) $U^{*}=5$, (c) $U^{*}=6$, and (d) $U^{*}=7$. The plots on the left show the full-time domain trajectory, whereas the right plots focus on the periodic oscillation period. The small circles in left images indicate the moment when the residual force $J$ first approaches zero.
%Random case 5 employs the same random initial conditions as those used in Fig.~\ref{fig:VIV with residual force}.
}
\label{fig:limit cycle}
\end{center}
\end{figure}
%\subsection{Robustness analysis of the control-based interface model}
\subsection{Robustness of the proposed method}
%When applying the proposed method, two kinds of parameters needs to be specified: the control parameter and the initial conditions. When the initial conditions are taken from the reference FSI simulation, they do not affect the accuracy of the proposed method, regardless of the control parameter. This is because such initial conditions are in the coupled state, wherein no residual force exists. Meanwhile, when arbitrary initial conditions are employed, which exhibits more practical situation, both the initial conditions and the control parameter influence the simulation accuracy. With the control parameter and random initial conditions used in Fig.~\ref{fig:limit cycle}, the predicted $C_L$ and $y^*$ are similar to those of the FSI simulations. However, under different control parameters and random initial conditions, diverging behavior is observed. In this subsection, a parameter study of the control-based interface model is conducted to evaluate its robustness.
As mentioned in the previous subsection, the proposed method requires the specification of two types of parameters: the initial conditions ($\textbf{x}_1$, $\textbf{u}_1$, and $\textbf{u}_2$) and the control parameter ($\lambda$). This subsection examines a broader range of parameter sets to investigate the robustness of the proposed method.
Initial conditions are generated across five specified value ranges: range 1 ($10^{-3}$-$10^{-2}$), range 2 ($10^{-2}$-$10^{-1}$), range 3 ($10^{-1}$-$10^{0}$), range 4 ($10^{0}$-$10^{1}$), and range 5 ($10^{1}$-$10^{2}$). The random values within ranges 1, 2, and 3 are either lower than or comparable to the maximum amplitudes of $C_L$ and $y^*$ observed in the reference FSI simulation, while the values in ranges 4 and 5 exceed those amplitudes. Fifty random initial conditions are selected within each range. Furthermore, consistent sets of random initial conditions are utilized across all $U^*$ cases. The control parameters are generated within the range of 0.1 to 0.9.
Figure~\ref{fig:parameter} shows the results for examining robustness of the proposed model.
In Fig.~\ref{fig:parameter}, fifty simulations were performed for each dot, indicating the control parameter and the range of random initial conditions.
The green dots indicate that all simulations demonstrate robustness and successfully achieve periodic oscillations. The red dots represent that all simulations exhibited instability and diverged prior to reaching the limit cycle.
The blue dots represent intermediate cases in which certain simulations became unstable and did not achieve complete stability.
All simulations are stable for the ranges 1 and 2 regardless of $U^*$. In contrast, the robustness in range 3 varies according to the control parameter. Simulations exhibit instability within the ranges of 4 and 5, irrespective of the control parameter. The observations indicate that the proposed method demonstrates high robustness for combinations where the control parameter approaches zero and the initial conditions of $C_L$ and $y^*$ are comparable to or less than their maximum amplitudes in each reference FSI simulation.
%\begin{figure}
% \begin{center}
%\includegraphics[width=110mm]{Figure/Chapter 3/force_fail.pdf}
%\caption{The controlled residual force and predicted physical quantities of VIV during the first four time steps ($k=1-4$): (a) $U^{*}=4$, (b) $U^{*}=5$, (c) $U^{*}=6$, and (d) $U^{*}=7$. The random initial conditions are set as follows: $\textbf{u}_{1} =
%\begin{bmatrix}
% 59.5 & 49.2
%\end{bmatrix}^{\mathsf{T}}$, $\textbf{u}_{2} =
%\begin{bmatrix}
% 47.9 & 39.8
%\end{bmatrix}^{\mathsf{T}}$, and $\textbf{x}_{1} =
%\begin{bmatrix}
% 49.3 & 12.4
%\end{bmatrix}^{\mathsf{T}}$. The control parameter is set to $\lambda=0.9$.}
%\label{fig:Force fail}
%\end{center}
%\end{figure}
\begin{figure}
\begin{center}
\includegraphics[width=135mm]{parameter.pdf}
\caption{Robustness analysis of the proposed method with various combinations of the control parameter $\lambda$ and random initial conditions: (a) $U^{*}=4$, (b) $U^{*}=5$, (c) $U^{*}=6$, and (d) $U^{*}=7$. The green and red dots show that all of the simulations are stable and unstable, respectively. The blue dots show intermediate cases where some simulations became unstable. }
\label{fig:parameter}
\end{center}
\end{figure}
%\subsubsection{Validation of residual force minimization}
%The validation of the residual force minimization is conducted using two methods: discrete linear system and computational fluid dynamic (CFD).
%The discrete linear system for the fluid force and structural displacement of the VIV can accurately predict these quantities at future time steps using only the initial values, as shown in Figs.~\ref{fig:VIV discrete Validation}. Therefore, the fluid force and structural displacement estimated by the discrete linear system are assumed to be consistent with those obtained from the FSI simulation. Figure~\ref{fig:VIV validation} s presents a comparison between the fluid force and structural displacement predicted by the discrete linear system and those obtained using the control-based interface model with a control parameter of $\lambda=0.500$. In the discrete linear system, the initial values are taken at time step 500, where the residual force is nearly zero. The results demonstrate that the fluid force and structural displacement predicted by the proposed method are in good agreement with those from the discrete linear system.
%CFD....
%The oscillation of the physical quantities are significantly similar to those of the reference FSI simulation when the residual force is almost zero, as shown in Figs.~\ref{fig:VIV with residual force} and \ref{fig:flutter with residual force}. However, quantitative comparison between the estimated results and the reference FSI simulation is challenging due to differences in the initial values at the coupled timing. For more accurate validation, the discrete linear system for each case is used because this system can reconstruct the fluid force and structural displacements with high accuracy at the future time step using only the initial values, as shown in Figs.~\ref{fig:VIV discrete Validation} and \ref{fig:flutter_discreteValidation}. Therefore, we assumed that the physical quantities estimated by the discrete linear system are consistent with those of the FSI simulation. Figure~\ref{fig:VIV validation} shows the comparison between the physical quantities of VIV estimated by the discrete linear system and the results obtained from the control-based interface model. In the discrete linear system, the initial values are used at the time step of 400 where the residual force is zero. It can be observed that the physical quantities estimated using the proposed method are in good agreement with those obtained by the discrete linear system. Similarly, in the flutter case, the physical quantities estimated using the proposed method for each reduced velocity are consistent with those predicted by the discrete linear system, as shown in Fig.~\ref{fig:flutter validation}.
%\subsection{Application 2: Transonic airfoil flutter}
%The equation of structural motion of a two-dimensional airfoil is defined, as follows:
%\begin{align}
%\textbf{M}\ddot{\textbf{u}}+\textbf{K}\textbf{u}=\textbf{G}\textbf{x}
%\label{eq:flutter structural equation}
%\end{align}
%\noindent where
%\begin{align}
%\begin{matrix}
%\textbf{M}&=&\begin{bmatrix}
%1 & x_{\alpha} \\
%x_{\alpha} & r^{2}_{\alpha} \\
%\end{bmatrix} \\
%\textbf{K}&=&\begin{bmatrix}
%(\omega_h/\omega_{\alpha})^2 & 0 \\
%0 & r^{2}_{\alpha} \\
%\end{bmatrix} \\
% \textbf{u}&=&\begin{bmatrix}
%h/b & \alpha \\
%\end{bmatrix}^{\mathsf{T}}\\
% \textbf{G}&=&\begin{bmatrix}
%-\pi^{-1}(V_f)^2 &0 \\
%0 & 2\pi^{-1}(V_f)^2\\
%\end{bmatrix} \\
%\textbf{x}&=&\begin{bmatrix}
%C_L & C_M \\
%\end{bmatrix}^{\mathsf{T}}
%\end{matrix}
%\end{align}
%Here, the superscript $T$ denotes a transpose. The matrices $\textbf{M}$, $\textbf{K}$, and $\textbf{G}$ represent the generalized mass, stiff, and force matrices, respectively. The radius of gyration of airfoil about elastic axis and the airfoil static unbalance are denoted by $r_{\alpha}$ and $x_\alpha$, respectively. The parameters $\omega_h$ and $\omega_{\alpha}$ are the uncoupled natural frequencies for the plunge and pitch degrees of freedom, respectively. The reduced velocity $V_f$ is calculated by $U_{\infty}/(\omega_{\alpha}b\sqrt{\mu})$, where $b$ is semichord, and $\mu=m/\pi\rho_{\infty}b^2$ is the mass ratio. The parameter $m$ is the mass of airfoil. Equation~\ref{eq:flutter structural equation} is solved by....
%Transonic airfoil flutter is a complex aeroelastic phenomenon in which an airfoil in transonic flow experiences self-excited and potentially unstable oscillations. This phenomenon arises from the interaction between aerodynamic forces and the structural dynamics of the airfoil. The airfoil oscillations are changed depending on Mach number and the reduced velocity \citep{isogai1979transonic}. In this study, three types of transonic airfoil oscillations—growing, decaying, and periodic—are employed to demonstrate the capabilities of the residual force minimization approach, as shown in Fig.~\ref{fig:flutter displacement}. These plots show the time histories of the plunging and pitching displacements of the airfoil at Mach number of 0.815 for three reduced velocities: $V_f=0.500$, $V_f=0.612$, and $V_f=0.700$. The self-excited oscillations of constant amplitude are observed at a Mach number of 0.815 and a reduced velocity of 0.612--this point represents the flutter boundary.
\section{Conclusions}
In the present work, the interface control principle was introduced for a residual force minimization method to solve an unsteady FSI problem. This method enables the integration of fluid and structural domains without requiring an iterative procedure, utilizing control theory to establish an interface state that eliminates residual force over time. This study approximates a dynamical system of the interface state using reduced-order modeling, specifically the SINDYc model for fluid force and the equation of motion for structural displacement, while regulating the interface state to minimize residual force.
The VIV of a cylinder was utilized for demonstration, with reduced velocities varied for $U^{*}=4$, $5$, $6$, and $7$, which correspond to the lock-in regime.
First, the discrete fluid-force system developed by the SINDYc model was validated against the training dataset provided by the reference FSI simulation. The accuracy was affected by the prediction capability of the transient regime for the VIV; however, the discrete accuracy of the model was adequate for predicting the limit-cycle oscillation of the cylinder displacement.
Then, the proposed method for controlling the residual force was examined in comparison to the reference FSI simulation. The results of the proposed method can vary based on the control parameters and the initial conditions of the fluid force and structural displacement. The predicted fluid force and structural displacement, initiated from the initial conditions of the reference FSI simulation, correspond closely with the oscillation patterns and amplitudes observed in the FSI simulation, regardless of the control parameter. In such a case, the residual force was not present in the initial state and was successfully kept at zero through interface control during the simulation.
Next, the demonstration focused on cases where the initial conditions deviated from those of the reference FSI simulations, aiming to demonstrate the capability to control the residual force for minimization over time and simulate limit-cycle oscillation. The simulations investigated various random initial conditions across different reduced velocity cases of VIV. The results indicate that the proposed method effectively simulated limit-cycle oscillations subsequently to the elimination of residual forces over the initial transient phase. Meanwhile, the accuracy of the resultant amplitude and oscillation pattern during limit-cycle oscillation is dependent on the quality of the SINDYc model for the fluid force system.
Finally, the proposed method was evaluated for its robustness in achieving limit-cycle oscillation across a varied set of control parameters and initial conditions.
The results show that, across all reduced velocity cases of the VIV, the proposed method demonstrates significant robustness in cases where the control parameter approaches zero, alongside initial conditions of fluid force and structural displacement that are below their maximum amplitudes suggested in the reference FSI simulations. The lower control parameter results in a rapid convergence of the residual force, with a smaller deviation of the initial conditions from the reference FSI simulation leading to a lower residual force at the initial state. Therefore, the aforementioned observation supports the robustness of the proposed method.
\section*{Acknowledgements}
This work was supported by JST FOREST Program (JPMJFR2124 and JPMJFR222E), and JSPS KAKENHI (Grant Number JP24K01074 and JP24KF0006).
%minimize the residual force between the fluid and structural forces. This model can also estimate the physical quantities at the next time step using only the initial fluid and structural conditions. The control-based interface model is based on a discrete linear system for the physical quantities. The fluid system is constructed using DMDc, while the structural system is based on the equation of structural motion. The minimization of the residual force is carried out by updating the structural displacements at each time step as the control input. The fluid and structure are coupled after the time when the residual force is nearly zero. Therefore, the proposed method provides an efficient solution to FSI problems by eliminating the iterative process typically required to couple the fluid and structure in conventional partitioned methods.
%For the demonstration of the control-based interface model, VIV of the cylinder and transonic airfoil flutter were employed. Two cases were analyzed: one including the residual force in the initial fluid and structural conditions and the other without it. The first case, where the residual force is nearly zero in the initial conditions, evaluates whether the physical quantities estimated using the proposed method are consistent with the results obtained from the FSI simulation. This case demonstrates that the proposed method can reproduce results identical to the FSI simulation of VIV of the cylinder and transonic airfoil flutter when the residual force is nearly zero. The second case examines whether the residual force can be controlled to zero using the proposed method and whether the estimated physical quantities can be accurately obtained. This case demonstrates that the residual force is reduced over time by updating the structural displacements. The time required to control the residual force to zero can be adjusted by modifying the scalar multiple of the control matrix. The intrinsic oscillations of the physical quantities in VIV of the cylinder and the transonic airfoil flutter are reproduced when the residual force is nearly zero. The validation of the second case is performed using the discrete linear system for the physical quantities.
%Multi-physics problems such as fluid-structure interaction (FSI), constitute an essential field in both fundamental and pragmatic engineering topics.
%Recent advancements in simulation technology for fluid and structural analysis facilitate high-fidelity simulations, including large-eddy simulation (LES) in fluid dynamics and geometrical or material nonlinear finite element analysis (FEM) in solid mechanics.
%Such high-fidelity and unsteady simulations frequently necessitate numerous degrees of freedom in space, making large-scale parallelization techniques, such as domain decomposition, crucial
%In that situation, the coupling strategy often utilizes the {\it partitioned} approach, which relies on an idea of the {\it fixed-time iteration} of fluid and structural analyses.
%In the fixed-time iteration, the
%is based on a sequential iteration of fluid and structural analyses
%% The Appendices part is started with the command \appendix;
%% appendix sections are then done as normal sections
%% If you have bib database file and want bibtex to generate the
%% bibitems, please use
%%
%% \bibliographystyle{elsarticle-num-names}
%% \bibliography{<your bibdatabase>}
%% else use the following coding to input the bibitems directly in the
%% TeX file.
%% Refer following link for more details about bibliography and citations.
%% https://en.wikibooks.org/wiki/LaTeX/Bibliography_Management
\bibliographystyle{elsarticle-harv}
\bibliography{xaerolab.bib}% Produces the bibliography via BibTeX.
%\begin{thebibliography}{00}
%% For authoryear reference style
%% \bibitem[Author(year)]{label}
%% Text of bibliographic item
%\bibitem[Lamport(1994)]{lamport94}
% Leslie Lamport,
% \textit{\LaTeX: a document preparation system},
% Addison Wesley, Massachusetts,
% 2nd edition,
% 1994.
%\end{thebibliography}
\end{document}
\endinput
%%
%% End of file `elsarticle-template-num-names.tex'.
\begin{thebibliography}{33}
\expandafter\ifx\csname natexlab\endcsname\relax\def\natexlab#1{#1}\fi
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\href}[2]{#2}
\providecommand{\path}[1]{#1}
\providecommand{\DOIprefix}{doi:}
\providecommand{\ArXivprefix}{arXiv:}
\providecommand{\URLprefix}{URL: }
\providecommand{\Pubmedprefix}{pmid:}
\providecommand{\doi}[1]{\href{http://dx.doi.org/#1}{\path{#1}}}
\providecommand{\Pubmed}[1]{\href{pmid:#1}{\path{#1}}}
\providecommand{\bibinfo}[2]{#2}
\ifx\xfnm\relax \def\xfnm[#1]{\unskip,\space#1}\fi
%Type = Article
\bibitem[{Abe et~al.(2023)Abe, Nonomura and Fujii}]{Abe2023}
\bibinfo{author}{Abe, Y.}, \bibinfo{author}{Nonomura, T.},
\bibinfo{author}{Fujii, K.}, \bibinfo{year}{2023}.
\newblock \bibinfo{title}{Flow instability and momentum exchange in separation
control by a synthetic jet}.
\newblock \bibinfo{journal}{Physics of Fluids} \bibinfo{volume}{35},
\bibinfo{pages}{065114}.
%Type = Article
\bibitem[{Abe et~al.(2014)Abe, Nonomura, Iizuka and Fujii}]{abe2014geometric}
\bibinfo{author}{Abe, Y.}, \bibinfo{author}{Nonomura, T.},
\bibinfo{author}{Iizuka, N.}, \bibinfo{author}{Fujii, K.},
\bibinfo{year}{2014}.
\newblock \bibinfo{title}{Geometric interpretations and spatial symmetry
property of metrics in the conservative form for high-order finite-difference
schemes on moving and deforming grids}.
\newblock \bibinfo{journal}{Journal of Computational Physics}
\bibinfo{volume}{260}, \bibinfo{pages}{163--203}.
%Type = Article
\bibitem[{Ahn and Kallinderis(2006)}]{ahn2006strongly}
\bibinfo{author}{Ahn, H.T.}, \bibinfo{author}{Kallinderis, Y.},
\bibinfo{year}{2006}.
\newblock \bibinfo{title}{Strongly coupled flow/structure interactions with a
geometrically conservative {ALE} scheme on general hybrid meshes}.
\newblock \bibinfo{journal}{Journal of Computational Physics}
\bibinfo{volume}{219}, \bibinfo{pages}{671--696}.
%Type = Article
\bibitem[{Azzeddine et~al.(2024)Azzeddine, Thibault, Iraj, Juan-Pedro
et~al.}]{azzeddine2024non}
\bibinfo{author}{Azzeddine, T.}, \bibinfo{author}{Thibault, D.},
\bibinfo{author}{Iraj, M.}, \bibinfo{author}{Juan-Pedro, B.R.}, et~al.,
\bibinfo{year}{2024}.
\newblock \bibinfo{title}{Non-intrusive reduced order models for partitioned
fluid--structure interactions}.
\newblock \bibinfo{journal}{Journal of Fluids and Structures}
\bibinfo{volume}{128}, \bibinfo{pages}{104156}.
%Type = Techreport
\bibitem[{Barone et~al.(2009)Barone, Kalashnikova, Segalman and
Brake}]{barone2009reduced}
\bibinfo{author}{Barone, M.F.}, \bibinfo{author}{Kalashnikova, I.},
\bibinfo{author}{Segalman, D.J.}, \bibinfo{author}{Brake, M.R.},
\bibinfo{year}{2009}.
\newblock \bibinfo{title}{Reduced order modeling of fluid/structure
interaction.}
\newblock \bibinfo{type}{Technical Report}. Sandia National Laboratories (SNL),
Albuquerque, NM, and Livermore, CA.
%Type = Article
\bibitem[{Bathe and Zhang(2004)}]{bathe2004finite}
\bibinfo{author}{Bathe, K.J.}, \bibinfo{author}{Zhang, H.},
\bibinfo{year}{2004}.
\newblock \bibinfo{title}{Finite element developments for general fluid flows
with structural interactions}.
\newblock \bibinfo{journal}{International Journal for Numerical Methods in
Engineering} \bibinfo{volume}{60}, \bibinfo{pages}{213--232}.
%Type = Article
\bibitem[{Berkooz et~al.(1993)Berkooz, Holmes and Lumley}]{berkooz1993proper}
\bibinfo{author}{Berkooz, G.}, \bibinfo{author}{Holmes, P.},
\bibinfo{author}{Lumley, J.L.}, \bibinfo{year}{1993}.
\newblock \bibinfo{title}{The proper orthogonal decomposition in the analysis
of turbulent flows}.
\newblock \bibinfo{journal}{Annual Review of Fluid Mechanics}
\bibinfo{volume}{25}, \bibinfo{pages}{539--575}.
%Type = Article
\bibitem[{Bogaers et~al.(2014)Bogaers, Kok, Reddy and Franz}]{bogaers2014quasi}
\bibinfo{author}{Bogaers, A.E.}, \bibinfo{author}{Kok, S.},
\bibinfo{author}{Reddy, B.D.}, \bibinfo{author}{Franz, T.},
\bibinfo{year}{2014}.
\newblock \bibinfo{title}{Quasi-{N}ewton methods for implicit black-box {FSI}
coupling}.
\newblock \bibinfo{journal}{Computer Methods in Applied Mechanics and
Engineering} \bibinfo{volume}{279}, \bibinfo{pages}{113--132}.
%Type = Article
\bibitem[{Borazjani et~al.(2008)Borazjani, Ge and
Sotiropoulos}]{borazjani2008curvilinear}
\bibinfo{author}{Borazjani, I.}, \bibinfo{author}{Ge, L.},
\bibinfo{author}{Sotiropoulos, F.}, \bibinfo{year}{2008}.
\newblock \bibinfo{title}{Curvilinear immersed boundary method for simulating
fluid structure interaction with complex {3D} rigid bodies}.
\newblock \bibinfo{journal}{Journal of Computational physics}
\bibinfo{volume}{227}, \bibinfo{pages}{7587--7620}.
%Type = Article
\bibitem[{Brunton et~al.(2016)Brunton, Proctor and Kutz}]{brunton2016sparse}
\bibinfo{author}{Brunton, S.L.}, \bibinfo{author}{Proctor, J.L.},
\bibinfo{author}{Kutz, J.N.}, \bibinfo{year}{2016}.
\newblock \bibinfo{title}{Sparse identification of nonlinear dynamics with
control ({SINDYc})}.
\newblock \bibinfo{journal}{IFAC-PapersOnLine} \bibinfo{volume}{49},
\bibinfo{pages}{710--715}.
%Type = Article
\bibitem[{Causin et~al.(2005)Causin, Gerbeau and Nobile}]{causin2005added}
\bibinfo{author}{Causin, P.}, \bibinfo{author}{Gerbeau, J.F.},
\bibinfo{author}{Nobile, F.}, \bibinfo{year}{2005}.
\newblock \bibinfo{title}{Added-mass effect in the design of partitioned
algorithms for fluid--structure problems}.
\newblock \bibinfo{journal}{Computer Methods in Applied Mechanics and
Engineering} \bibinfo{volume}{194}, \bibinfo{pages}{4506--4527}.
%Type = Article
\bibitem[{Cheng et~al.(2021)Cheng, Meng, Li and Zhang}]{cheng2021deep}
\bibinfo{author}{Cheng, C.}, \bibinfo{author}{Meng, H.}, \bibinfo{author}{Li,
Y.Z.}, \bibinfo{author}{Zhang, G.T.}, \bibinfo{year}{2021}.
\newblock \bibinfo{title}{Deep learning based on {PINN} for solving 2 {DOF}
vortex induced vibration of cylinder}.
\newblock \bibinfo{journal}{Ocean Engineering} \bibinfo{volume}{240},
\bibinfo{pages}{109932}.
%Type = Article
\bibitem[{Date et~al.(2022)Date, Abe and Okabe}]{Date2022}
\bibinfo{author}{Date, S.}, \bibinfo{author}{Abe, Y.}, \bibinfo{author}{Okabe,
T.}, \bibinfo{year}{2022}.
\newblock \bibinfo{title}{Effects of fiber properties on aerodynamic
performance and structural sizing of composite aircraft wings}.
\newblock \bibinfo{journal}{Aerospace Science and Technology}
\bibinfo{volume}{124}, \bibinfo{pages}{107565}.
%Type = Article
\bibitem[{Degroote et~al.(2008)Degroote, Bruggeman, Haelterman and
Vierendeels}]{degroote2008stability}
\bibinfo{author}{Degroote, J.}, \bibinfo{author}{Bruggeman, P.},
\bibinfo{author}{Haelterman, R.}, \bibinfo{author}{Vierendeels, J.},
\bibinfo{year}{2008}.
\newblock \bibinfo{title}{Stability of a coupling technique for partitioned
solvers in {FSI} applications}.
\newblock \bibinfo{journal}{Computers \& Structures} \bibinfo{volume}{86},
\bibinfo{pages}{2224--2234}.
%Type = Article
\bibitem[{Farhat and Lesoinne(2000)}]{farhat2000two}
\bibinfo{author}{Farhat, C.}, \bibinfo{author}{Lesoinne, M.},
\bibinfo{year}{2000}.
\newblock \bibinfo{title}{Two efficient staggered algorithms for the serial and
parallel solution of three-dimensional nonlinear transient aeroelastic
problems}.
\newblock \bibinfo{journal}{Computer Methods in Applied Mechanics and
Engineering} \bibinfo{volume}{182}, \bibinfo{pages}{499--515}.
%Type = Article
\bibitem[{Felippa et~al.(2001)Felippa, Park and
Farhat}]{felippa2001partitioned}
\bibinfo{author}{Felippa, C.A.}, \bibinfo{author}{Park, K.C.},
\bibinfo{author}{Farhat, C.}, \bibinfo{year}{2001}.
\newblock \bibinfo{title}{Partitioned analysis of coupled mechanical systems}.
\newblock \bibinfo{journal}{Computer Methods in Applied Mechanics and
Engineering} \bibinfo{volume}{190}, \bibinfo{pages}{3247--3270}.
%Type = Article
\bibitem[{Fujii and Obayashi(1989)}]{fujii1989high}
\bibinfo{author}{Fujii, K.}, \bibinfo{author}{Obayashi, S.},
\bibinfo{year}{1989}.
\newblock \bibinfo{title}{High-resolution upwind scheme for vortical-flow
simulations}.
\newblock \bibinfo{journal}{Journal of Aircraft} \bibinfo{volume}{26},
\bibinfo{pages}{1123--1129}.
%Type = Article
\bibitem[{Han et~al.(2022)Han, Wang, Qian, Wang, Zhang and Chen}]{han2022deep}
\bibinfo{author}{Han, R.}, \bibinfo{author}{Wang, Y.}, \bibinfo{author}{Qian,
W.}, \bibinfo{author}{Wang, W.}, \bibinfo{author}{Zhang, M.},
\bibinfo{author}{Chen, G.}, \bibinfo{year}{2022}.
\newblock \bibinfo{title}{Deep neural network based reduced-order model for
fluid--structure interaction system}.
\newblock \bibinfo{journal}{Physics of Fluids} \bibinfo{volume}{34}.
%Type = Article
\bibitem[{Heil(2004)}]{heil2004efficient}
\bibinfo{author}{Heil, M.}, \bibinfo{year}{2004}.
\newblock \bibinfo{title}{An efficient solver for the fully coupled solution of
large-displacement fluid--structure interaction problems}.
\newblock \bibinfo{journal}{Computer Methods in Applied Mechanics and
Engineering} \bibinfo{volume}{193}, \bibinfo{pages}{1--23}.
%Type = Article
\bibitem[{Ishihara and Yoshimura(2005)}]{ishihara2005monolithic}
\bibinfo{author}{Ishihara, D.}, \bibinfo{author}{Yoshimura, S.},
\bibinfo{year}{2005}.
\newblock \bibinfo{title}{A monolithic approach for interaction of
incompressible viscous fluid and an elastic body based on fluid pressure
{P}oisson equation}.
\newblock \bibinfo{journal}{International Journal for Numerical Methods in
Engineering} \bibinfo{volume}{64}, \bibinfo{pages}{167--203}.
%Type = Article
\bibitem[{Kaiser et~al.(2018)Kaiser, Kutz and Brunton}]{kaiser2018sparse}
\bibinfo{author}{Kaiser, E.}, \bibinfo{author}{Kutz, J.N.},
\bibinfo{author}{Brunton, S.L.}, \bibinfo{year}{2018}.
\newblock \bibinfo{title}{Sparse identification of nonlinear dynamics for model
predictive control in the low-data limit}.
\newblock \bibinfo{journal}{Proceedings of the Royal Society A}
\bibinfo{volume}{474}, \bibinfo{pages}{20180335}.
%Type = Article
\bibitem[{Kalashnikova et~al.(2013)Kalashnikova, Barone and
Brake}]{kalashnikova2013stable}
\bibinfo{author}{Kalashnikova, I.}, \bibinfo{author}{Barone, M.},
\bibinfo{author}{Brake, M.}, \bibinfo{year}{2013}.
\newblock \bibinfo{title}{A stable {G}alerkin reduced order model for coupled
fluid--structure interaction problems}.
\newblock \bibinfo{journal}{International Journal for Numerical Methods in
Engineering} \bibinfo{volume}{95}, \bibinfo{pages}{121--144}.
%Type = Article
\bibitem[{K{\"u}ttler and Wall(2008)}]{kuttler2008fixed}
\bibinfo{author}{K{\"u}ttler, U.}, \bibinfo{author}{Wall, W.A.},
\bibinfo{year}{2008}.
\newblock \bibinfo{title}{Fixed-point fluid--structure interaction solvers with
dynamic relaxation}.
\newblock \bibinfo{journal}{Computational Mechanics} \bibinfo{volume}{43},
\bibinfo{pages}{61--72}.
%Type = Article
\bibitem[{Lee et~al.(2024)Lee, Jang, Lee, Cho and Shin}]{lee2024parametric}
\bibinfo{author}{Lee, S.}, \bibinfo{author}{Jang, K.}, \bibinfo{author}{Lee,
S.}, \bibinfo{author}{Cho, H.}, \bibinfo{author}{Shin, S.},
\bibinfo{year}{2024}.
\newblock \bibinfo{title}{Parametric model order reduction by machine learning
for fluid--structure interaction analysis}.
\newblock \bibinfo{journal}{Engineering with Computers} \bibinfo{volume}{40},
\bibinfo{pages}{45--60}.
%Type = Article
\bibitem[{Liberge and Hamdouni(2010)}]{liberge2010reduced}
\bibinfo{author}{Liberge, E.}, \bibinfo{author}{Hamdouni, A.},
\bibinfo{year}{2010}.
\newblock \bibinfo{title}{Reduced order modelling method via proper orthogonal
decomposition ({POD}) for flow around an oscillating cylinder}.
\newblock \bibinfo{journal}{Journal of Fluids and Structures}
\bibinfo{volume}{26}, \bibinfo{pages}{292--311}.
%Type = Article
\bibitem[{Lieu et~al.(2006)Lieu, Farhat and Lesoinne}]{lieu2006reduced}
\bibinfo{author}{Lieu, T.}, \bibinfo{author}{Farhat, C.},
\bibinfo{author}{Lesoinne, M.}, \bibinfo{year}{2006}.
\newblock \bibinfo{title}{Reduced-order fluid/structure modeling of a complete
aircraft configuration}.
\newblock \bibinfo{journal}{Computer methods in applied mechanics and
engineering} \bibinfo{volume}{195}, \bibinfo{pages}{5730--5742}.
%Type = Article
\bibitem[{Liu et~al.(2025)Liu, Date, Nagashima, Okabe and Abe}]{Liu2025}
\bibinfo{author}{Liu, Y.}, \bibinfo{author}{Date, S.},
\bibinfo{author}{Nagashima, T.}, \bibinfo{author}{Okabe, T.},
\bibinfo{author}{Abe, Y.}, \bibinfo{year}{2025}.
\newblock \bibinfo{title}{Effects of aeroelastic coupling accuracy and
geometrical nonlinearity on performances of optimized composite wings}.
\newblock \bibinfo{journal}{Aerospace Science and Technology}
\bibinfo{volume}{158}, \bibinfo{pages}{109926}.
%Type = Article
\bibitem[{Liu et~al.(2024)Liu, Zhao, Wang and Tang}]{liu2024novel}
\bibinfo{author}{Liu, Y.}, \bibinfo{author}{Zhao, S.}, \bibinfo{author}{Wang,
F.}, \bibinfo{author}{Tang, Y.}, \bibinfo{year}{2024}.
\newblock \bibinfo{title}{A novel method for predicting fluid--structure
interaction with large deformation based on masked deep neural network}.
\newblock \bibinfo{journal}{Physics of Fluids} \bibinfo{volume}{36}.
%Type = Article
\bibitem[{Longatte et~al.(2018)Longatte, Liberge, Pomarede, Sigrist and
Hamdouni}]{longatte2018parametric}
\bibinfo{author}{Longatte, E.}, \bibinfo{author}{Liberge, E.},
\bibinfo{author}{Pomarede, M.}, \bibinfo{author}{Sigrist, J.F.},
\bibinfo{author}{Hamdouni, A.}, \bibinfo{year}{2018}.
\newblock \bibinfo{title}{Parametric study of flow-induced vibrations in
cylinder arrays under single-phase fluid cross flows using {POD-ROM}}.
\newblock \bibinfo{journal}{Journal of Fluids and Structures}
\bibinfo{volume}{78}, \bibinfo{pages}{314--330}.
%Type = Article
\bibitem[{Shinde et~al.(2019)Shinde, Longatte, Baj, Hoarau and
Braza}]{shinde2019galerkin}
\bibinfo{author}{Shinde, V.}, \bibinfo{author}{Longatte, E.},
\bibinfo{author}{Baj, F.}, \bibinfo{author}{Hoarau, Y.},
\bibinfo{author}{Braza, M.}, \bibinfo{year}{2019}.
\newblock \bibinfo{title}{Galerkin-free model reduction for fluid-structure
interaction using proper orthogonal decomposition}.
\newblock \bibinfo{journal}{Journal of Computational Physics}
\bibinfo{volume}{396}, \bibinfo{pages}{579--595}.
%Type = Article
\bibitem[{Tezduyar et~al.(2006)Tezduyar, Sathe and
Stein}]{tezduyar2006solution}
\bibinfo{author}{Tezduyar, T.E.}, \bibinfo{author}{Sathe, S.},
\bibinfo{author}{Stein, K.}, \bibinfo{year}{2006}.
\newblock \bibinfo{title}{Solution techniques for the fully discretized
equations in computation of fluid--structure interactions with the
space--time formulations}.
\newblock \bibinfo{journal}{Computer Methods in Applied Mechanics and
Engineering} \bibinfo{volume}{195}, \bibinfo{pages}{5743--5753}.
%Type = Article
\bibitem[{Xiao et~al.(2016)Xiao, Yang, Fang, Xiang, Pain and
Navon}]{xiao2016non}
\bibinfo{author}{Xiao, D.}, \bibinfo{author}{Yang, P.}, \bibinfo{author}{Fang,
F.}, \bibinfo{author}{Xiang, J.}, \bibinfo{author}{Pain, C.C.},
\bibinfo{author}{Navon, I.M.}, \bibinfo{year}{2016}.
\newblock \bibinfo{title}{Non-intrusive reduced order modelling of
fluid--structure interactions}.
\newblock \bibinfo{journal}{Computer Methods in Applied Mechanics and
Engineering} \bibinfo{volume}{303}, \bibinfo{pages}{35--54}.
%Type = Article
\bibitem[{Zhang et~al.(2022)Zhang, Ji, Xie, Zheng and Zheng}]{zhang2022data}
\bibinfo{author}{Zhang, X.}, \bibinfo{author}{Ji, T.}, \bibinfo{author}{Xie,
F.}, \bibinfo{author}{Zheng, C.}, \bibinfo{author}{Zheng, Y.},
\bibinfo{year}{2022}.
\newblock \bibinfo{title}{Data-driven nonlinear reduced-order modeling of
unsteady fluid--structure interactions}.
\newblock \bibinfo{journal}{Physics of Fluids} \bibinfo{volume}{34}.
\end{thebibliography}