Stabilization of a one‐dimensional wave equation with variable coefficient under non‐collocated control and delayed observation

In this paper, we consider stabilization of a 1‐dimensional wave equation with variable coefficient where non‐collocated boundary observation suffers from an arbitrary time delay. Since input and output are non‐collocated with each other, it is more complex to design the observer system. After showing well‐posedness of the open‐loop system, the observer and predictor systems are constructed to give the estimated state feedback controller. Different from the partial differential equation with constant coefficients, the variable coefficient causes mathematical difficulties of the stabilization problem. By the approach of Riesz basis property, it is shown that the closed‐loop system is stable exponentially. Numerical simulations demonstrate the effect of the stable controller. This paper is devoted to the wave equation with variable coefficients generalized of that with constant coefficients for delayed observation and non‐collocated control.     

Some results on the internal finite‐time stabilization of vibrating strings with interior mass

In this paper, the problem of internal finite‐time stabilization for 1‐D coupled wave equations with interior point mass is handled. The nonlinear stabilizing feedback law leads, in closed‐loop, to nonlinear evolution equations where Kato theory is used to prove the well‐posedness. In addition, it is showed that in some cases, the solution of this hybrid system is constant in finite‐time if we use Neumann boundary conditions. This result can be improved (in complete finite‐time stability sense) if we change the above feedback.     

Riesz basis and stabilization for the flexible structure of a symmetric tree‐shaped beam network

The stabilization of a symmetric tree‐shaped network of Euler–Bernoulli beams described by a system of partial differential equations is considered. The boundary controllers are designed based on passivity principle. The eigenfrequencies are analysed in detail and the asymptotic expansion of eigenvalues are presented. It is shown that there is a set of generalized eigenfunctions for the closed‐loop system, which forms a Riesz basis with parentheses for the energy state space. This concludes the spectrum‐determined growth condition and the exponential stability of the closed‐loop system. Copyright © 2007 John Wiley & Sons, Ltd.     

Low‐gain adaptive stabilization of semilinear second‐order hyperbolic systems

In this paper low‐gain adaptive stabilization of undamped semilinear second‐order hyperbolic systems is considered in the case where the input and output operators are collocated. The linearized systems have an infinite number of poles and zeros on the imaginary axis. The adaptive stabilizer is constructed by a low‐gain adaptive velocity feedback. The closed‐loop system is governed by a non‐linear evolution equation. First, the well‐posedness of the closed‐loop system is shown. Next, an energy‐like function and a multiplier function are introduced and the exponential stability of the closed‐loop system is analysed. Some examples are given to illustrate the theory. Copyright © 2004 John Wiley & Sons, Ltd.     

Function vector synchronization based on fuzzy control for uncertain chaotic systems with dead‐zone nonlinearities

In this article, a fuzzy adaptive control scheme is designed to achieve a function vector synchronization behavior between two identical or different chaotic (or hyperchaotic) systems in the presence of unknown dynamic disturbances and input nonlinearities (dead‐zone and sector nonlinearities). This proposed synchronization scheme can be considered as a generalization of many existing projective synchronization schemes (namely the function projective synchronization, the modified projective synchronization, generalized projective synchronization, and so forth) in the sense that the master and slave outputs are assumed to be some general function vectors. To practically deal with the input nonlinearities, the adaptive fuzzy control system is designed in a variable‐structure framework. The fuzzy systems are used to appropriately approximate the uncertain nonlinear functions. A Lyapunov approach is used to prove the boundedness of all signals of the closed‐loop control system as well as the exponential convergence of the corresponding synchronization errors to an adjustable region. The synchronization between two identical systems (chaotic satellite systems) and two different systems (chaotic Chen and Lü systems) are taken as two illustrative examples to show the effectiveness of the proposed method. © 2015 Wiley Periodicals, Inc. Complexity 21: 234–249, 2016     

Non‐linear initial boundary value problems of hyperbolic–parabolic type. A general investigation of admissible couplings between systems of higher order. Part 2: abstract quasilinear theory

This is the second part of an article that is devoted to the theory of non‐linear initial boundary value problems. We consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2 at hand, we prove the local in time existence, uniqueness and regularity of solutions to the quasilinear initial boundary value problem (3.4) using the so‐called energy method. In the above sense the regularity assumptions (A6) and (A7) about the coefficients and right‐hand sides define the admissible couplings. In part 3, we extend the results of part 2 to non‐linear initial boundary value problems. In particular, the assumptions about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit the assumptions about the respective parameters for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

Non‐linear initial boundary value problemsof hyperbolic–parabolic type. A general investigationof admissible couplings between systems of higher order. Part 1: linear theory

In this article (which is divided in three parts) we investigate the non‐linear initial boundary value problems (1.2) and (1.3). In both cases we consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1 at hand, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2, we prove the local in time existence, uniqueness and regularity of solutions to the quasilinear initial boundary value problem (1.2) using the so‐called energy method. In the above sense, the regularity assumptions about the coefficients and right‐hand sides define the admissible couplings. In part 3, we extend the results of part 2 to the non‐linear initial boundary value problem (1.3). In particular, the assumptions about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit the assumptions about the respective parameters for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

A robust finite difference scheme for strongly coupled systems of singularly perturbed convection‐diffusion equations

This paper is devoted to developing an Il'in‐Allen‐Southwell (IAS) parameter‐uniform difference scheme on uniform meshes for solving strongly coupled systems of singularly perturbed convection‐diffusion equations whose solutions may display boundary and/or interior layers, where strong coupling means that the solution components in the system are coupled together mainly through their first derivatives. By decomposing the coefficient matrix of convection term into the Jordan canonical form, we first construct an IAS scheme for 1D systems and then extend the scheme to 2D systems by employing an alternating direction technique. The robustness of the developed IAS scheme is illustrated through a series of numerical examples, including the magnetohydrodynamic duct flow problem with a high Hartmann number. Numerical evidence indicates that the IAS scheme appears to be formally second‐order accurate in the sense that it is second‐order convergent when the perturbation parameter ϵ is not too small and when ϵ is sufficiently small, the scheme is first‐order convergent in the discrete maximum norm uniformly in ϵ.     

Robust consensus of nonlinear multi‐agent systems via reliable control with probabilistic time delay

In this paper, the consensus problem of uncertain nonlinear multi‐agent systems is investigated via reliable control in the presence of probabilistic time‐varying delay. First, the communication topology among the agents is assumed to be directed and fixed. Second, by introducing a stochastic variable which satisfies Bernoulli distribution, the information of probabilistic time‐varying delay is equivalently transformed into the deterministic time‐varying delay with stochastic parameters. Third, by using Laplacian matrix properties, the consensus problem is converted into the conventional stability problem of the closed‐loop system. The main objective of this paper is to design a state feedback reliable controller such that for all admissible uncertainties as well as actuator failure cases, the resulting closed‐loop system is robustly stable in the sense of mean‐square. For this purpose, through construction of a suitable Lyapunov–Krasovskii functional containing four integral terms and utilization of Kronecker product properties along with the matrix inequality techniques, a new set of delay‐dependent consensus stabilizability conditions for the closed‐loop system is obtained. Based on these conditions, the desired reliable controller is designed in terms of linear matrix inequalities which can be easily solved by using any of the effective optimization algorithms. Moreover, a numerical example and its simulations are included to demonstrate the feasibility and effectiveness of the proposed control design scheme. © 2016 Wiley Periodicals, Inc. Complexity 21: 138–150, 2016     

Non‐linear initial boundary value problems of hyperbolic–parabolic type. A general investigation of admissible couplings between systems of higher order. Part 3: applications

This is the third part of an article that is devoted to the theory of non‐linear initial boundary value problems. We consider coupled systems where each system is of higher order and of hyperbolic or parabolic type. Our goal is to characterize systematically all admissible couplings between systems of higher order and different type. By an admissible coupling we mean a condition that guarantees the existence, uniqueness and regularity of solutions to the respective initial boundary value problem. In part 1, we develop the underlying theory of linear hyperbolic and parabolic initial boundary value problems. Testing the PDEs with suitable functions we obtain a priori estimates for the respective solutions. In particular, we make use of the regularity theory for linear elliptic boundary value problems that was previously developed by the author. In part 2, we prove the local in time existence, uniqueness and regularity of solutions to quasilinear initial boundary value problems using the so‐called energy method. In the above sense the regularity assumptions about the coefficients and right‐hand sides define the admissible couplings. In part 3 at hand, we extend the results of part 2 to the nonlinear initial boundary value problem (4.2). In particular, assumptions (B8) and (B9) about the respective parameters correspond to the previous regularity assumptions and hence define the admissible couplings now. Moreover, we exploit assumptions (B8) and (B9) for the case of two coupled systems. Copyright © 2002 John Wiley & Sons, Ltd.     

Global existence of weak‐type solutions for models of monotone type in the theory of inelastic deformations

This article introduces the notion of weak‐type solutions for systems of equations from the theory of inelastic deformations, assuming that the considered model is of monotone type (for the definition see [Lecture Notes in Mathematics, 1998, vol. 1682]). For the boundary data associated with the initial‐boundary value problem and satisfying the safe‐load condition the existence of global in time weak‐type solutions is proved assuming that the monotone model is rate‐independent or of gradient type. Moreover, for models possessing an additional regularity property (see Section 5) the existence of global solutions in the sense of measures, defined by Temam in Archives for Rational Mechanics and Analysis, 95 : 137, is obtained, too. Copyright © 2002 John Wiley & Sons, Ltd.     

Uniform decay rates for the energy of weakly damped defocusing semilinear Schrödinger equations with inhomogeneous Dirichlet boundary control

In this paper, we study the open loop stabilization as well as the existence and regularity of solutions of the weakly damped defocusing semilinear Schrödinger equation with an inhomogeneous Dirichlet boundary control. First of all, we prove the global existence of weak solutions at the H¹-energy level together with the stabilization in the same sense. It is then deduced that the decay rate of the boundary data controls the decay rate of the solutions up to an exponential rate. Secondly, we prove some regularity and stabilization results for the strong solutions in H²-sense. The proof uses the direct multiplier method combined with monotonicity and compactness techniques. The result for weak solutions is strong in the sense that it is independent of the dimension of the domain, the power of the nonlinearity, and the smallness of the initial data. However, the regularity and stabilization of strong solutions are obtained only in low dimensions with small initial and boundary data.     

Full asymptotics and Laurent series of layer potentials for Laplace's equation on the half‐space

We combine the calculus of conormal distributions, in particular the Pull‐Back and Push‐Forward Theorems, with the method of layer potentials to solve the Dirichlet and Neumann problems on half‐spaces. We obtain full asymptotic expansions for the solutions, show that boundary layer potential operators are elements of the full b‐calculus and give a new proof of the classical jump relations. En route, we improve Siegel and Talvila's growth estimates for the modified layer potentials in the case of polyhomogeneous boundary data. The techniques we use here can be generalised to geometrically more complex settings, as for instance the exterior domain of touching domains or domains with fibred cusps. This work is intended to be a first step in a longer program aiming at understanding the method of layer potentials in the setting of certain non‐Lipschitz singularities that can be resolved in the sense of Melrose using manifolds with corners and at applying a matching asymptotics ansatz to singular perturbations of related problems.     

Non‐linear Control of a Hydraulic Piston Actuator without Velocity Information

The mathematical models of hydraulic actuators are known to be non‐linear. Therefore, in order to increase the dynamic performance of the closed‐loop system, we have to take into account the significant non‐linearities of the hydraulic plant in the controller design. In this contribution, we deal with so‐called valve‐controlled translational piston actuators. In general, they have the pleasing property to be exact input‐to‐state linearizable in the sense of the differential geometric control synthesis approach. However, in practical applications it often turns out that those controllers, which have to rely on the knowledge of the piston velocity, have problems in the case of noisy measurements. This is why, we propose an approach where the non‐linear controller is designed in such a way that the control law is independent of the piston velocity. It can be even proven that the closed‐loop system is globally asymptotically stable.     

Boundary output feedback stabilization for a class of coupled parabolic systems

In this paper, the boundary output feedback stabilization problem is addressed for a class of coupled nonlinear parabolic systems. An output feedback controller is presented by introducing a Luenberger‐type observer based on the measured outputs. To determine observer gains, a backstepping transform is introduced by choosing a suitable target system with nonlinearity. Furthermore, based on the state observer, a backstepping boundary control scheme is presented. With rigorous analysis, it is proved that the states of nonlinear closed‐loop system including state estimation and estimation error of plant system are locally exponentially stable in the L²norm. Finally, a numerical example is proposed to illustrate the effectiveness of the presented scheme.     

Well‐posedness of the equations governing the motions of a one‐dimensional hybrid thermo‐elastic structure

In this paper a model for the vibrations of a one‐dimensional hybrid thermo‐elastic structure consisting of an extensible thermo‐elastic beam which is hinged at one end, with a rigid body attached to its free end, is studied with a view to establishing the existence of a unique solution in a weak sense. The model takes account of the effect of stretching on bending and rotational inertia. By treating eigenvalue problems with the spectral parameter also in the boundary conditions, we are able to employ the method of Faedo–Galerkin approximations. Copyright © 2004 John Wiley & Sons, Ltd.     

A modal approach to flatness‐based control of flexible structures

Modal coordinates are used to construct a state and input parameterizing flat output for flexible structures and to design open‐loop controls. This is illustrated for the boundary control of a Timoshenko beam model. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Shape reconstruction for the time‐dependent Navier‐Stokes flow

This article deals with the shape reconstruction of a bounded domain with a viscous incompressible fluid driven by the time‐dependent Navier‐Stokes equations. For the approximate solution of the ill‐posed and nonlinear problem we propose a regularized Newton method. A theoretical foundation for the Newton method is given by establishing the differentiability of the initial boundary value problem with respect to the interior boundary curve in the sense of the domain derivative. Numerical examples indicate the feasibility of our method. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2008     

Exact boundary controllability for a kind of second‐order quasilinear hyperbolic systems and its applications

In this paper, by means of a constructive method based on the existence and uniqueness of the semi‐global C² solution, we establish the local exact boundary controllability for a kind of second‐order quasilinear hyperbolic systems. As an application, we obtain the one‐sided local exact boundary controllability for the first‐order quasilinear hyperbolic systems of diagonal form with boundary conditions in which the diagonal variables corresponding to the positive eigenvalues and those corresponding to the negative eigenvalues are decoupled. Copyright © 2009 John Wiley & Sons, Ltd.     

<Emphasis Type="Italic">O</Emphasis>(1) loop model with different boundary conditions and symmetry classes of alternating-sign matrices

This work is a continuation of our recent paper where we discussed numerical evidence that the numbers of the states of the fully packed loop model with fixed pairing patterns coincide with the components of the ground state vector of the O(1) loop model with periodic boundary conditions and an even number of sites. We give two new conjectures related to different boundary conditions: we suggest and numerically verify that the numbers of the half-turn symmetric states of the fully packed loop model with fixed pairing patterns coincide with the components of the ground state vector of the O(1) loop model with periodic boundary conditions and an odd number of sites and that the corresponding numbers of the vertically symmetric states describe the case of open boundary conditions and an even number of sites.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 142, No. 2, pp. 284–292, February, 2005.