No abstract

In this work, we propose the integration of Koopman operator methodology with Lyapunov-based model predictive control (LMPC) for stabilization of nonlinear systems. The Koopman operator enables global linear representations of nonlinear dynamical systems. The basic idea is to transform the nonlinear dynamics into a higher dimensional space using a set of observable functions whose evolution is governed by the linear but infinite dimensional Koopman operator. In practice, it is numerically approximated and therefore the tightness of these linear representations cannot be guaranteed which may lead to unstable closed-loop designs. To address this issue, we integrate the Koopman linear predictors in an LMPC framework which guarantees controller feasibility and closed-loop stability. Moreover, the proposed design results in a standard convex optimization problem which is computationally attractive compared to a nonconvex problem encountered when the original nonlinear model is used. We illustrate the application of this methodology on a chemical process example.

A temporally‐local model order‐reduction technique for nonlinear parabolic partial differential equation (PDE) systems with time‐dependent spatial domains is presented. In lieu of approximating the solution of interest using global (with respect to the time domain) empirical eigenfunctions, low‐dimensional models are derived by constructing appropriate temporally‐local eigenfunctions. Within this context, first of all, the time domain is partitioned into multiple clusters (i.e., subdomains) by using the framework known as global optimum search. This approach, a variant of Generalized Benders Decomposition, formulates clustering as a Mixed‐Integer Nonlinear Programming problem and involves the iterative solution of a Linear Programming problem (primal problem) and a Mixed‐Integer Linear Programming problem (master problem). Following the cluster generation, local (with respect to time) eigenfunctions are constructed by applying the proper orthogonal decomposition method to the snapshots contained within each cluster. Then, the Galerkin's projection method is employed to derive low‐dimensional ordinary differential equation (ODE) systems for each cluster. The local ODE systems are subsequently used to compute approximate solutions to the original PDE system. The proposed local model order‐reduction technique is applied to a hydraulic fracturing process described by a nonlinear parabolic PDE system with the time‐dependent spatial domain. It is shown to be more accurate and computationally efficient in approximating the original nonlinear system with fewer eigenfunctions, compared to the model order‐reduction technique with temporally‐global eigenfunctions. © 2017 American Institute of Chemical Engineers AIChE J, 63: 3818–3831, 2017

No abstract

Accurate characterization of reservoir properties is of central importance to achieve a desired fracture geometry during a hydraulic fracturing process. However, the estimation of spatially varying geological properties in hydraulic fracturing is inherently ill-posed due to a limited number of measurements. In this work, parametrization is performed to reduce the dimensionality of spatially varying Young's modulus profiles via proper orthogonal decomposition (POD), and a data assimilation technique called ensemble Kalman filter (EnKF) is used to estimate the parameter values in the reduced low-dimensional subspace. Through a series of simulation results, it is demonstrated that the POD-based EnKF technique provides a process model with updated spatially varying geological parameters, which is able to make an accurate prediction of the fracture propagation dynamics in hydraulic fracturing. Next, we use the updated high-fidelity process model in a model predictive control framework to construct a closed-loop system of hydraulic fracturing to achieve uniform proppant concentration at the end of pumping.