1. Introduction
Over the past several decades, the management of sustainable ecosystems has been an arising interest in both academia and industry Ait El Mokhtar et al. (2021), Cinner et al. (2022), Maulu et al. (2021), Mohanty et al. (2010), Rahman et al. (2022) . Typical topics include the impacts of climate change on various ecosystems including aquaculture. Management of sustainable ecosystems that can withstand such disturbances including climate change and pollution had been intensively studied in Chapin III et al. (1996) . Interactions of positive and negative feedbacks between resources and species that constrain the effects of exogenous disturbances were discussed. More researches regarding feedback of ecosystems against disturbance to environmental changes include Garnier et al. (2020), Lafuite (2017), Ortiz & Levins (2017) . Before the development of such approaches in environmental sciences, generating appropriate feedback into systems to achieve particular objectives was studied intensively on the other side of academia, the control theory.
Control theory adopts mathematical and quantitative approaches for feedback systems. Moreover, control theory had solid mathematical foundations since the past century. Hence it was validated in numerous different fields including robotics, aerospace engineering, etc. Typical objectives of control theories are the achievement of robust stability and performance against exogenous and intrinsic disturbances and noises. Although there are advantages and disadvantages among the existing control methods, optimal control theory, especially
-control theory provides a certain amount of margin in performance and stability of the controller. By estimating such a margin, we can predict how much modeling error and disturbance the system can withstand and maintain sustainability. It was deeply studied in van der Schaft (1992) , the
-control of general control-affine systems to minimize the effect of disturbances on system output. It was proved that by obtaining the smooth nonnegative solution of a certain partial differential equation (PDE), the Hamilton-Jacobi-Isaacs (HJI) equation, we can formulaically design a
controller of any system of the specified form.
Exploiting such advantages, there had been numerous approaches to adopt control theories outside of mechanical and aerospace engineering Del Vecchio (2016), Fiore et al. (2016), Modi et al. (2021), Shannon et al. (2020) . However, the unresolved caveat was that the systems considered were typically involved with nonlinear terms, which made HJI not solvable analytically. Such issues happened in applications in environmental engineering too.
The authors in Shastri & Diwekar (2006a, 2006b) attempted to employ optimal control theory for sustainable ecosystem management. Robustness against disturbances was the objective as other researches, but the authors explicitly derived the Pontryagin maximum principle to deduce the optimality conditions. Such approach involves numerical optimization stage of maximization of Hamiltonian, which is not tractable in general cases.
A typical method to avoid such difficulties due to nonlinearity was to find an appropriate trim point and linearize the dynamics around it. However, depending on the extent of nonlinearity, there were multiple systems that such an approach was not applicable. Moreover, whenever linearization takes place, there is no longer any guarantee available regarding the stability and performance of the controller whenever a transition between trim points occurs.
Under such background, it was proposed an iterative algorithm in Bea (1998) to solve nonlinear, deterministic Hamilton-Jacobi-Bellman (HJB) and HJI equations numerically. The methodology developed in Bea (1998) was named Successive Galerkin’s Approximation (SGA). Galerkin’s method is a method to solve a first-order PDE numerically. However, since the HJB and HJI equations were not of the first order, it was unable to adopt Galerkin’s method here. The authors in Bea (1998) applied Galerkin’s method iteratively to solve both HJB and HJI equations numerically. Moreover, the pointwise convergence property of the proposed algorithm was also proved. However since the considered equations were deterministic systems not involving any stochastic terms, the range of application was limited, especially in fields such as synthetic biology and environmental sciences.
To this end, we propose a design method of
-controllers of stochastic systems through modification of the SGA algorithm. The main purpose of this research can be summarized as development of formulaic design procedure of
controller under exogenous stochastic disturbances. However, we typically aim to apply our results to predator-prey system for the management of sustainable ecosystems due to foregoing reasons along the introduction. A modified SGA algorithm is developed and validity is confirmed through numerical simulation results on MATLAB software. This paper is organized as follows: in Section 2,
control problem is introduced. By modification of the iterative algorithms from Bea (1998) , the modified SGA algorithm is developed throughout Sections 3 and 4. Along Sections 5 and 6, the considered model in this paper is introduced and numerical demonstration results are depicted. Section 7 concludes the works in this paper.
2. The
-Control Problem
In this work, mean reverting Itô process is considered to model the predator-prey system dynamics. Let us consider a nonlinear control system as below.
(1)
where
,
,
,
for each t, and
,
,
which are Lipschitz.
is the constant variance parameter and
denotes the state feedback. Exogenous disturbance is denoted by
and W is the 1-dimensional standard Wiener process. It is assumed that the system is observable through the output function
where
. Under the existence of an unknown finite-energy external disturbance
and stochastic noise
entering the system, we aim to achieve robust stability and performance by a state feedback
. In this paper, it is assumed that
. If the system does not satisfy such assumption, state variables can be perturbed for appropriate amount as long as an equilibrium point of Equation (1) exists. (i.e.
) Now we introduce the
-feedback design problem throughout the remaining part of this section.
-Feedback Control Problem
Through
-feedback control, it is aimed to maintain asymptotic stability and disturbance-to-output
-gain under certain level
. It can be represented as below with consideration of stochastic noise.
(2)
where
.
is the conventional Euclidean norm, and weighted
norms are defined as
and
for
. In previous the studies of systems with
stochastic noise Zhang & Chen (2006) , the theorem below was proved.
Theorem 1. Consider the Hamilton-Jacobi-Isaacs (HJI) Equation below,
(3)
Suppose there exists a smooth solution
satisfying the boundary condition
. Then the state feedback
(4)
satisfies the Ineq. (2). Moreover, the worst case disturbance is represented by
(5)
The proof of the theorem above without consideration of stochastic noise was proposed and proved in Chen et al. (2008) , while it was considered here the general case with stochastic noise entering through the system dynamics. □
Remark 1. By substituting Equation (4) and Equation (5) to Equation (3), the HJI equation can be modified as
(6)
Dependency on time is omitted for sake of simplicity.
It is notable that the HJI equation above is not tractable for general nonlinear systems.
3. Iterative Solution Procedure
Throughout this section, an iterative solution procedure of the HJI equation, Equation (3), by solving sequence first order partial differential equations is depicted. Up to our knowledge, it was first proposed in Bea (1998) the numerical solution of the HJI equation in iterative form. But unlike the algorithm proposed in Bea (1998) , consideration of stochastic noise urges to modify the iteration algorithm. Let introduce the below notation for representation of partial differential equations.
Definition 1.
The partial differential equation
with boundary condition
is equivalent to HJI Equation (3) when
and
are given as Equations (4) and (5). As
,
converges pointwise to the solution of Equation (6).
4. Modified Successive Galerkin Approximation
In this section, the overall implementation of Algorithm 1 is described. For the solution of
with boundary constraint
required at every iteration of Algorithm 1 is obtained by Galerkin’s Method. Galerkin’s method approximates the solution of a first order PDE with boundary constraint
with linear combination finite number of basis functions
that satisfy
. The approximation is in least-square manner in Banach-space sense. Due to well founded theoretical backgrounds, Galerkin’s method is employed in various situations where numerical solutions of partial differential equations are needed Fletcher (1984) .
Exploiting Galerkin’s method to solve the inner-loop PDE in Algorithm 1 in no stochastic noise situation was proposed in Bea (1998) , so called the Successive Galerkin’s Approximation (SGA). It was also proven the pointwise convergence of the algorithm to the true solution for a complete set of functions of
-space. Further developing the previous conclusions, we expand the concept of SGA for solution of the HJI equation under consideration of stochastic noise throughout this section.
For a finite set of basis functions
, let
. Now suppose that the solution is approximated by
. Let
. When the set of basis functions
is given, we aim to find
. Let us further denote the integration region of Galerkin method by
. The below Equation (7) are the iteration matrices for implementation of SGA. The detailed derivation in stochastic noise situation also follows the procedure at Bea (1998) .
(7)
The vector
in Algorithm 2 denotes the solution of the first order PDE obtained from the previous one of
-th iteration, or the i-th inner loop and j-th outer loop iteration. The tolerance for termination criterion is denoted as
.
5. The Predator-Prey Model
Performance of Algorithm 2 is confirmed in Predator-Prey model dynamics. Although this paper aims for design in specific Predator-Prey model, typical Predator-Prey models share analogous formulations. Hence the basis functions chosen from this paper can be adopted to the vast majority of Predator-Prey models of sustainable ecosystems. The system dynamics chosen in our research is based on Brown et al. (2005) and is given as below.
(8)
where
and
denote the populations of predator and prey respectively.
and
are the external disturbance and stochastic noise term entering the dynamics. Dependency on time, t, is omitted for simplicity. The design parameters of the model including the initial conditions can be found in Table 1.
As the reference inputs are not an equilibrium point of the system dynamics, we consider the below perturbation of state and control as in Equation (9). Let
,
, and
.
(9)
Note that full-state controllability is assumed in the derivation above. Now
guarantees the boundedness of
as in Bea (1998) . By such perturbation, one can easily check that
is an equilibrium point of the system. It is noteworthy that the
-controller is designed with respect to the perturbed system above.
6. Numerical Demonstration & Discussion
Throughout this section, numerical demonstration results of the proposed Algorithm 2 are provided. Basis functions were chosen as
. Basis functions were chosen deliberately to satisfy the property
while
forming a linear approximation of
simultaneously. Control input function was set as
. Though Cockburn et al.
(2011) considered factors to model the success rate of hunters, as the control inputs can be scaled appropriately to compensate the failure rate, such factors were omitted in out modeling. Numerical simulations were implemented on Simulink and Matlab 2019b with Apple Macbook Pro, 2.4 GHz Intel Core i5. For the design of
-control, obtaining the smallest feasible value of
in. Equation (2) is required. Up to our knowledge, analytic solution procedure of such minimization problem is not available in nonlinear case. For linear case, with linearization of nonlinear dynamics, fuzzy interpolation approach was proposed in Chen et al. (2008) . Hence by trial and error, minimum value of
was set for implementation of Algorithm 2. Convergence tolerance was set as
for both inner and outer loops. It took total 7 iterations for outer loop to converge, while all the inner loop iterations converged in less than 4 iterations. Converged solution was as in Table 2.
From the obtained solution, numerical simulation was implemented on Simulink software on MATLAB. State variables and control inputs are depicted in Figure 1. During the simulation, a random seed was fed into band-limited white noise to the role as an external disturbance.
and
were designed to be independent random variables. The results show rapid convergence of both state and control variables to 0.
For validation of the robustness of the sustainable ecosystem designed, a Monte-Carlo simulation of total of 100 simulations was implemented. Results are shown in Figure 2, and robust stability was confirmed through the results.
Table 2. Obtained solution of the HJI with
.
Figure 1. Time profiles of the states and controls and disturbances.
Figure 2. Time profiles of the states, controls, and disturbances under Monte-Carlo simulation.
7. Conclusion
Throughout this paper, a sustainable management methodology of ecosystems by
-control theory, particularly aiming predator-prey model was developed. Modified Successive Galerkin Approximation to manage stochastic noise term was developed and employed to solve the nonlinear Hamilton-Jacobi-Isaacs equation. By numerical simulations, the robustness of the designed controller was validated.
As typical interacting systems of species in an ecosystem have similar representation, it is further expected to use the methodology presented in this paper to be applied to more general ecosystems.
Acknowledgements
I would like to express wholehearted appreciation for Hong Kong International School and my parents for supporting this research.