SearcharxivSearch

arXiv subjects

Peipei Shang

Publications and source records attributed to Peipei Shang.

15 recordsLinked to original sources

Multi-layer Predictor Feedback Design for Nonlinear Integro-Differential Equations with State-dependent Input Delays

We develop a novel multi-layer predictor-feedback to achieve exact compensation of state-dependent input delay of general nonlinear integro-differential equations. The system of interest is an unconventional mixed Partial Differential Equation (PDE)-Ordinary Differential Equation (ODE) system, in which a nonlinear ODE is actuated through an inhomogeneous advection PDE. Moreover, the propagation speed of the PDE depends on a moving window integral of the ODE state. The two above features are not addressed yet in standard PDE backstepping-based predictor-feedback designs. Unlike the conventional Lyapunov-based approaches used in the field, our stability and well-posedness analysis rely on the characteristic method and a fixed-point argument. Both of our designs achieve global asymptotic stability (GAS) in the supremum norm of the PDE and ODE states under the mild assumption that the nonlinearity in the PDE governing equation is uniformly Lipschitz continuous. The transport speed, governed by the integral of the ODE state, models systems such as production or queuing processes in which the state of a finite buffer-namely, the inventory level-determines the production or service rate. Numerical simulations demonstrate the effectiveness of the proposed control design for buffer-regulated production lines and queuing systems, ensuring asymptotic stability under a locally safe softened bang-bang feedback law that preserves the positivity of both the system state and the actuation signal.

math.OC

Exponential Stabilization of Moving Shockwave in ARZ Traffic Model via Boundary Control: Explicit Gains and Arbitrary Decay Rate

This paper develops boundary feedback controls to stabilize traffic congestion toward a predefined shock equilibrium in the Aw-Rascle-Zhang (ARZ) traffic flow model. We transform the corresponding moving-boundary $2\times2$ hyperbolic system, covering free and congested flow regimes, respectively, into a shock-free $4\times4$ augmented system on a fixed domain via shock-location-based moving coordinates. By applying the modified Lyapunov functionals concerning shock perturbation, we show that the shock position and the state of the system in $H^2$-norm can be stabilized with an arbitrary exponential decay rate via the given feedback controls. Finally, the stabilization results are demonstrated by numerical simulations.

math.OC

Existence and uniqueness of traveling fronts for a free interface model of autoignition in reactive jets

In this paper we consider a one-dimensional reaction-diffusion model with piecewise continuous reaction term that describes propagation of autoignition fronts in reactive co-flow jets in a certain parametric regime. The model is reduced to a free boundary problem with two interfaces. It is shown that this problem admits permanent traveling front solution which is unique up to translations. The result is obtained using dynamical system approach employing Stable Manifold Theorem and the Melnikov integral as the main tools.

math.AP

Boundary stabilization of flows in networks of open channels modeled by Saint-Venant equations

This work investigates the boundary stabilization of flows in star-shaped and tree-shaped networks of open channels governed by the Saint-Venant equations with a friction term. Due to the existence of the friction term, the steady-states are non-uniform. We show that any such network can be stabilized with only controls at the terminal nodes of the network, even when there are no controls at the nodes inside the network. The number of control is optimal. The main tool we use is the Lyapunov approach, and the main challenge is that the state-of-the-art Lyapunov functions developed for Saint-Venant equations with source terms cannot be used. In this work, we manage to construct a new efficient and explicit Lyapunov function and, in turn, we give explicit ranges of the control tuning parameters that depend only on the values of the given non-uniform steady-states at the ends of the branches. Moreover, this Lyapunov function also improves the existing conditions found in the last decade for a single channel modelled by Saint-Venant equations.

math.OC

Existence of a traveling wave solution in a free interface problem with fractional order kinetics

In this paper we consider a system of two reaction-diffusion equations that models diffusional-thermal combustion with stepwise ignition-temperature kinetics and fractional reaction order 0 < $α$ < 1. We turn the free interface problem into a scalar free boundary problem coupled with an integral equation. The main intermediary step is to reduce the scalar problem to the study of a non-C 1 vector field in dimension 2. The latter is treated by qualitative topo-logical methods based on the Poincar{é}-Bendixson Theorem. The phase portrait is determined and the existence of a stable manifold at the origin is proved. A significant result is that the settling time to reach the origin is finite, meaning that the trailing interface is finite in contrast to the case $α$ = 1, but in accordance with $α$ = 0. Finally, the integro-differential system is solved via a fixed-point method.

math.AP

Boundary stabilization in finite time of one-dimensional linear hyperbolic balance laws with coefficients depending on time and space

In this article we are interested in the boundary stabilization in finite time of one-dimensional linear hyperbolic balance laws with coefficients depending on time and space. We extend the so called "backstepping method" by introducing appropriate time-dependent integral transformations in order to map our initial system to a new one which has desired stability properties. The kernels of the integral transformations involved are solutions to non standard multi-dimensional hyperbolic PDEs, where the time dependence introduces several new difficulties in the treatment of their well-posedness. This work generalizes previous results of the literature, where only time-independent systems were considered.

math.OC

Asymptotic stability of a Korteweg-de Vries equation with a two-dimensional center manifold

Local asymptotic stability analysis is conducted for an initial-boundary-value problem of a Korteweg-de Vries equation posed on a finite interval $\left[0, 2π\sqrt{7/3}\right]$. The equation comes with a Dirichlet boundary condition at the left end-point and both of the Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the associated linearized equation around the origin is not asymptotically stable. In this paper, the nonlinear Korteweg-de Vries equation is proved to be locally asymptotically stable around the origin through the center manifold method. In particular, the existence of a two-dimensional local center manifold is presented, which is locally exponentially attractive. By analyzing the Korteweg-de Vries equation restricted on the local center manifold, a polynomial decay rate of the solution is obtained.

math.AP

Well-posedness and exact controllability of the mass balance equations for an extrusion process

In this paper, we study the well-posedness and exact controllability of a physical model for a food extrusion process in the isothermal case. The model expresses the mass balance in the extruder chamber and consists of a hyperbolic Partial Differential Equation (PDE) and a nonlinear Ordinary Differential Equation (ODE) whose dynamics describes the evolution of a moving interface. By suitable change of coordinates and fixed point arguments, we prove the existence, uniqueness and regularity of the solution, and finally the exact controllability of the coupled system.

math.AP

Feedback stabilization for the mass balance equations of a food extrusion process

In this paper, we study the stabilization problem for a food extrusion process in the isothermal case. The model expresses the mass conservation in the extruder chamber and consists of a hyperbolic Partial Differential Equation (PDE) and a nonlinear Ordinary Differential Equation (ODE) whose dynamics describes the evolution of a moving interface. By using a Lyapunov approach, we obtain the exponential stabilization for the closed-loop system under natural feedback controls through indirect measurements.

math.AP

Optimization of an Amplification Protocol for Misfolded Proteins by using Relaxed Control

We investigate an optimal control problem which arises in the optimization of an amplification technique for misfolded proteins. The improvement of this technique may play a role in the detection of prion diseases. The model consists in a linear system of differential equations with a nonlinear control. The appearance of oscillations in the numerical simulations is understood by using the Perron and Floquet eigenvalue theory for nonnegative irreductible matrices. Then to overcome the unsolvability of the optimal control, we relax the problem. In the two dimensional case we solve explicitely the optimal relaxed control problem when the final time is large enough.

math.AP

Asymptotic stability of a nonlinear Korteweg-de Vries equation with a critical length

We study an initial-boundary-value problem of a nonlinear Korteweg-de Vries equation posed on a finite interval (0,2pi). The whole system has Dirichlet boundary condition at the left end-point, and both of Dirichlet and Neumann homogeneous boundary conditions at the right end-point. It is known that the origin is not asymptotically stable for the linearized system around the origin. We prove that the origin is (locally) asymptotically stable for the nonlinear system.

math.OC

Optimal control of cell mass and maturity in a model of follicular ovulation

In this paper, we study optimal control problems associated with a scalar hyperbolic conservation law modeling the development of ovarian follicles. Changes in the age and maturity of follicular cells are described by a 2D conservation law, where the control terms act on the velocities. The control problem consists in optimizing the follicular cell resources so that the follicular maturity reaches a maximal value in fixed time. Formulating the optimal control problem within a hybrid framework, we prove necessary optimality conditions in the form of Hybrid Maximum Principle. Then we derive the optimal strategy and show that there exists at least one optimal bang-bang control with one single switching time.

math.OC

Cauchy problem for multiscale conservation laws: Application to structured cell populations

In this paper, we study a vector conservation law that models the growth and selection of ovarian follicles. During each ovarian cycle, only a definite number of follicles ovulate, while the others undergo a degeneration process called atresia. This work is motivated by a multiscale mathematical model starting on the cellular scale, where ovulation or atresia result from a hormonally controlled selection process. A two-dimensional conservation law describes the age and maturity structuration of the follicular cell populations. The densities intersect through a coupled hyperbolic system between different follicles and cell phases, which results in a vector conservation law and coupling boundary conditions. The maturity velocity functions possess both a local and nonlocal character. We prove the existence and uniqueness of the weak solution to the Cauchy problem with bounded initial and boundary data.

math.AP

Analysis and control of a scalar conservation law modeling a highly re-entrant manufacturing system

In this paper, we study a scalar conservation law that models a highly re-entrant manufacturing system as encountered in semi-conductor production. As a generalization of \cite{CKWang}, the velocity function possesses both the local and nonlocal character. We prove the existence and uniqueness of the weak solution to the Cauchy problem with initial and boundary data in $L^{\infty}$. We also obtain the stability (continuous dependence) of both the solution and the out-flux with respect to the initial and boundary data. Finally, we prove the existence of an optimal control that minimizes, in the $L^p$-sense with $p\in [1,\infty)$, the difference between the actual out-flux and a forecast demand over a fixed time period.

math.AP