Lur’e feedback systems with both unbounded control and observation: Well-posedness and stability using nonlinear semigroups

This paper is a complement of information to Grabowski and Callier (2006) [1]. A SISO Lur’e feedback control system consisting of a linear, infinite-dimensional system of boundary control in factor form and a nonlinear static incremental sector type controller is considered. Well-posedness and a criterion of absolute strong asymptotic stability of the null equilibrium is obtained using a novel nonlinear semigroup approach. A quadratic form Lyapunov functional is considered via a Lur’e type linear operator inequality. A sufficient strict circle criterion of solvability of the latter is found, using the solution of an operator Riccati equation by a novel self contained exposition, via reciprocal systems with bounded generating operators as recently studied and used by R.F. Curtain. The noncoercive case is finally considered using, in a novel way, LaSalle’s invariance principle.     

On a class of strongly stabilizable systems of neutral type

We consider the strong stabilizability problem for a delayed system of neutral type. For simplicity the case of one delay in state is studied. We separate a class of such systems and give a constructive solution of the problem in this case, without the derivative of the localized delayed state. Our results are based on an abstract theorem on the strong stabilizability of contractive systems in Hilbert space. An illustrating example is also given.     

Strong stability of nonlinear semigroups with weak dissipation and non-compact resolvent–applications to structural acoustics

We consider asymptotic stability, in the strong topology, of a nonlinear coupled system of partial differential equations (PDEs) arising in structural–acoustic interactions. The coupling involves parabolic and hyperbolic dynamics with interaction on an interface–a manifold of lower dimension. The distinctive feature of the model is that the resolvent associated with the generator governing the evolution is not compact and the dissipation considered is ‘weak’. Thus, strong stability is not to be generally expected. In linear problems this difficulty is circumvented by the use of Taubrien theorems and spectral analysis [W. Arendt and C.J.K. Batty, Tauberian theorems and stability of one-parameter semi-groups, Trans. Amer. Math. Soc. 306(8) (1988), pp. 837–852, Y.I. Lyubich and V.Q. Phong, Asymptotic stability of linear differential equations ain Banach spaces, Studia Math., LXXXXVII, (1988), pp. 37–42, G.M. Sklyar, On the maximal asymptotica for linear equations in Banach spaces, 2009]. However these methods are not applicable to nonlinear dynamics.

In this article, we present an approach to strong stability that is applicable to nonlinear semigroups governed by multivalued generators with non-compact resolvents. The method relies on a suitable relaxation of Lasalle invariance principle [J.P. LaSalle, Stability theory and invariance principles, in Dynamical Systems, Vol. 1, L. Cerasir, J.K. Hale, J.P. LaSalle, eds., Academic Press, New York, 1976, pp. 211–222] which then requires appropriate unique continuation theorems along with a string of a-priori PDE estimates specific to parabolic–hyperbolic coupled systems.     

Some new simple stability criteria of linear neutral systems with a single delay

This article mainly considers the linear neutral delay-differential systems with a single delay. Using the characteristic equation of the system, new simple delay-independent asymptotic and exponential stability criteria are derived in terms of the matrix measure, the spectral norm and the spectral radius of the corresponding matrices. Numerical examples demonstrate that our criteria are less conservative than those of previous corresponding results [L.M. Li, Stability of linear neutral delay-differential systems, Bull. Aust. Math. Soc. 38 (1988) 339–344; G.D. Hu, G.D. Hu. Some simple criteria for stability of neutral delay-differential systems, Appl. Math. Comput. 80 (1996) 257–271; D.Q. Cao, Ping He, Sufficient conditions for stability of linear neutral systems with a single delay, Appl. Math. Lett. 17 (2004) 139–144; G.D. Hu, G.D. Hu, B. Cahlon, Algebraic criteria for stability of linear neutral systems with a single delay, J. Comput. Appl. Math. 135 (2001) 125–130].     

Mobility limits of the Lyapunov exponents of linear systems under small average perturbations

Mobility limits of the Lyapunov and central exponents of linear systems of differential equations, under arbitrarily small average linear perturbations are found with the aid of V. M. Millionshchikov's method of rotations. One obtains stability criteria for these exponents with respect to the mentioned perturbations, as well as criteria for the stabilizability or destabilizability of the zero solution.Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 11, pp. 32–73, 1986.     

Representation of infinite-dimensional neutral non-autonomous control systems

This paper studies the well-posedness of a class of non-autonomous neutral control systems in Banach spaces. We prove that such systems are represented by absolutely regular non-autonomous linear systems in the sense of Schnaubelt [R. Schnaubelt, Feedback for non-autonomous regular linear systems, SIAM J. Control Optim. 41 (2002) 1141-1165]. This paper can be considered as the non-autonomous version of the work presented in [H. Bounit, S. Hadd, Regular linear systems governed by neutral FDEs, J. Math. Anal. Appl. 320 (2006) 836-858].     

Stability by the linear approximation for discrete equations

This paper is concerned with exponential stability of solutions of perturbed discrete equations. For a given m>1 we will provide necessary and sufficient conditions for exponential stability of all perturbed systems with perturbation of order m under the assumption that the unperturbed linear system is exponentially stable. Basing on this result we obtained necessary and sufficient conditions for exponential stability of the perturbed system for all perturbations of order m>1 for regular systems. Our results are expressed in terms of regular coefficients of the unperturbed system.     

Delay-independent stabilization of uncertain linear systems of neutral type

In this paper, we show that a sufficient condition for the delay-independent stabilizability of linear delay systems, which had been obtained by Amemiya et al., is also valid for linear neutral systems with measurable state variables by a new differential-difference inequality.The authors express their appreciation to Professor G. Leitmann for his useful comments.     

Stability analysis of neutral type systems in Hilbert space

The asymtoptic stability properties of neutral type systems are studied mainly in the critical case when the exponential stability is not possible. We consider an operator model of the system in Hilbert space and use recent results on the existence of a Riesz basis of invariant finite-dimensional subspaces in order to verify its dissipativity. The main results concern the conditions of asymptotic non-exponential stability. We show that the property of asymptotic stability is not determinated only by the spectrum of the system but essentially depends on the geometric spectral characteristic of its main neutral term. Moreover, we present an example of two systems of neutral type which have both the same spectrum in the open left-half plane and the main neutral term but one of them is asymptotically stable while the other is unstable.     

On Stability and Stabilizability of Singular Stochastic Systems with Delays

This paper deals with the class of continuous-time singular linear systems with Markovian jump parameters and time delays. Sufficient conditions on the stochastic stability and stochastic stabilizability are developed. A design algorithm for a state feedback controller which guarantees that the closed-loop dynamics will be regular, impulse free, and stochastically stable is proposed in terms of the solutions to linear matrix inequalities. The research of this author was supported by NSERC Grant RGPIN36444-02. The research of this author was supported by the Program for a New Century of Excellent Talents in the Universities and by the Foundation for the Authors of National Excellent Doctoral Dissertations of P. R. China, Grant 200240. The research of this author was supported by HKU Grant RGC 7029/05P.     

Reversible linear systems and their versal deformations

Let R be a fixed linear involution (R ²=id) of the spaceR ⁿ . A linear operator M is said to bereversible with respect to R if RM R=M^–1 and infinitesimally reversible with respect to R if M R=–RM. A linear differential equation dx/dt=B(t)x is said to be reversible with respect to R if V(t)R –RV(–t). We construct normal forms and versal deformations for reversible and infinitesimally reversible operators. The results are applied to describe the homotopy classes of strongly stable reversible linear differential equations with periodic coefficients. The analogous theory for linear Hamiltonian systems was developed by J. Williamson, M. G. Krein, I.M. Gel'fand, V. B. Lidskii, D. M. Galin, and H. Koçak.Translated fromTrudy Seminara imeni I. G. Petrovskogo, No. 15, pp. 33–54, 1991. Original article submitted April 27, 1988.     

Continuous and discrete characterizations for the uniform exponential stability of linear skew-evolution semiflows

In this paper, we will consider the concept “linear skew-evolution semiflows” and extend theorems of R. Datko, S. Rolewicz, Zabczyk and J.M.A.M van Neerven for this case [15].     

Third-order nilpotency, nice reachability and asymptotic stability

We consider an affine control system whose vector fields span a third-order nilpotent Lie algebra. We show that the reachable set at time T using measurable controls is equivalent to the reachable set at time T using piecewise-constant controls with no more than four switches. The bound on the number of switches is uniform over any final time T. As a corollary, we derive a new sufficient condition for stability of nonlinear switched systems under arbitrary switching. This provides a partial solution to an open problem posed in [D. Liberzon, Lie algebras and stability of switched nonlinear systems, in: V. Blondel, A. Megretski (Eds.), Unsolved Problems in Mathematical Systems and Control Theory, Princeton Univ. Press, 2004, pp. 203-207].     

Control of the Lyapunov exponents of dynamical systems in the plane with incomplete observation

Control linear systems in the plane are studied under the assumption of incomplete observation and incomplete control. In this situation ordinary static output controls may fail to stabilize the system. That is why special dynamic output feedback controls with finitely many states (hybrid feedback controls) are applied. Necessary and sufficient conditions are offered that guarantee exponential convergence/divergence of the solutions at an arbitrary rate. It is also shown that the general case can be reduced to two particular cases which are treated in detail.     

The Kalman-Yakubovich-Popov theorem for stabilizable hyperbolic boundary control systems

In this paper we present a version of the Kalman-Yakubovich-Popov theorem for a class of boundary control systems of hyperbolic type. Unstable, controllable systems are considered and stabilizability withunbounded feedbacks is permitted.Paper partially supported by the Italian MINISTERO DELLA RICERCA SCIENTIFICA E TECNOLOGICA within the program of GNAFA-CNR and by NATO CRG program SA.5-2-05 (CRG940161).     

Robust exponential stability and stabilizability of linear parameter dependent systems with delays

The robust exponential stability and stabilizability problems are addressed in this paper for a class of linear parameter dependent systems with interval time-varying and constant delays. In this paper, restrictions on the derivative of the time-varying delay is not required which allows the time-delay to be a fast time-varying function. Based on the Lyapunov-Krasovskii theory, we derive delay-dependent exponential stability and stabilizability conditions in terms of linear matrix inequalities (LMIs) which can be solved by various available algorithms. Numerical examples are given to illustrate the effectiveness of our theoretical results.     

Stability of infinite dimensional stochastic evolution equations with memory and Markovian jumps

A strong solutions approximation approach for mild solutions of stochastic functional differential equations with Markovian switching driven by Lévy martingales in Hilbert spaces is considered. The Razumikhin–Lyapunov type function methods and comparison principles are studied in pursuit of sufficient conditions for the moment exponential stability and almost sure exponential stability of equations in which we are interested. The results of [A.V. Svishchuk, Yu.I. Kazmerchuk, Stability of stochastic delay equations of Itô form with jumps and Markovian switchings, and their applications in finance, Theor. Probab. Math. Statist. 64 (2002) 167–178] are generalized and improved as a special case of our theory.     

Necessary and Sufficient Condition for Robust Stability and Stabilizability of Continuous-Time Linear Systems with Markovian Jumps

In this paper, we investigate the quadratic stability and quadratic stabilizability of the class of continuous-time linear systems with Markovian jumps and norm-bound uncertainties in the parameters. Under some appropriate assumptions, a necessary and sufficient condition is established for mean-square quadratic stability and mean-square quadratic stabilizability of this class of systems. The quadratic guaranteed cost control problem is also addressed via a LMI optimization problem.     

Positive stabilization of a parabolic equation by controls localized on a curve

We consider the stabilization of the nonnegative solutions of linear parabolic equation by controls localized on a curve. The main results of the article give a necessary and sufficient condition for positive stabilizability in terms of the principal eigenvalue of a certain elliptic operator. In case of positive stabilizability, some feedback stabilizing controls are indicated.