Exact controllability of infinite dimensional systems persists under small perturbations

This paper studies the concept of controllability for infinite-dimensional linear control systems in Banach spaces. First, we prove that the set of admissible control operators for the semigroup generator is unchanged if we perturb the generator by the Desch–Schappacher perturbations. Second we show that exact controllability is not changed by such perturbations.     

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.     

Positive real control for 2-D discrete delayed systems via output feedback controllers

This paper considers the problem of positive real control for two-dimensional (2-D) discrete delayed systems in the Fornasini–Marchesini second local state-space model. Attention is focused on the design of dynamic output feedback controllers, which guarantee that the closed-loop system is asymptotically stable and the closed-loop transfer function is extended strictly positive real. We first present a sufficient condition for extended strictly positive realness of 2-D discrete delayed systems. Based on this, a sufficient condition for the solvability of the positive real control problem is obtained in terms of a linear matrix inequality (LMI). When the LMI is feasible, an explicit parametrization of a desired output feedback controller is presented. Finally, we provide a numerical example to demonstrate the application of the proposed method.     

Robustness of the controllability for the heat equation under the influence of multiple impulses and delays

For many control systems in real life, impulses and delays are intrinsic properties that do not modify their behavior. Thus, we conjecture that under certain conditions the abrupt changes and delays as perturbations of a system, that could model a real situation, do not modify properties such as controllability. In this regard, we prove the approximate controllability of the semilinear heat equation under the influence of multiple impulses and delays, this is done by using new techniques, avoiding fixed point theorems, employed by A.E. Bashirov et al.     

Eigenvalue perturbation theory of classes of structured matrices under generic structured rank one perturbations

udy the perturbation theory of structured matrices under structured rank one perturbations, and then focus on several classes of complex matrices. Generic Jordan structures of perturbed matrices are identified. It is shown that the perturbation behavior of the Jordan structures in the case of singular J-Hamiltonian matrices is substantially different from the corresponding theory for unstructured generic rank one perturbation as it has been studied in [18, 28, 30, 31]. Thus a generic structured perturbation would not be generic if considered as an unstructured perturbation. In other settings of structured matrices, the generic perturbation behavior of the Jordan structures, within the confines imposed by the structure, follows the pattern of that of unstructured perturbations.     

Realizations of perturbations of an observable pair with prescribed indices

It is well known that, when a full rank observable pair (C,A) is slightly perturbed, the new observability indices k′ are majorized by the initial ones k, k?k′. Conversely, any indices k′ majorized by k can be obtained by perturbing (C,A). The aim of this paper is the explicit construction of perturbations of (C,A) which have the desired indices k′ by means of a sequence of uniparametrical versal perturbations. Even more, using versal deformations we refine this construction in such a way that the perturbation has the maximum possible number of zeros and no parameters in the square part.     

State-Feedback Stabilization of Well-Posed Linear Systems

A finite-dimensional linear time-invariant system is output-stabilizable if and only if it satisfies the finite cost condition, i.e., if for each initial state there exists at least one L² input that produces an L² output. It is exponentially stabilizable if and only if for each initial state there exists at least one L² input that produces an L² state trajectory. We extend these results to well-posed linear systems with infinite-dimensional input, state and output spaces. Our main contribution is the fact that the stabilizing state feedback is well posed, i.e., the map from an exogenous input (or disturbance) to the feedback, state and output signals is continuous in L_loc² in both open-loop and closed-loop settings. The state feedback can be chosen in such a way that it also stabilizes the I/O map and induces a (quasi) right coprime factorization of the original transfer function. The solution of the LQR problem has these properties.     

Exponential Stability for Discrete Time Linear Equations Defined by Positive Operators

In this paper the problem of exponential stability of the zero state equilibrium of a discrete-time time-varying linear equation described by a sequence of linear positive operators acting on an ordered finite dimensional Hilbert space is investigated. The class of linear equations considered in this paper contains as particular cases linear equations described by Lyapunov operators or symmetric Stein operators as well as nonsymmetric Stein operators. Such equations occur in connection with the problem of mean square exponential stability for a class of difference stochastic equations affected by independent random perturbations and Markovian jumping as well us in connection with some iterative procedures which allow us to compute global solutions of discrete time generalized symmetric or nonsymmetric Riccati equations. The exponential stability is characterized in terms of the existence of some globally defined and bounded solutions of some suitable backward affine equations (inequalities) or forward affine equations (inequalities).     

A spectral approach for the exact observability of infinite-dimensional systems with skew-adjoint generator

Let A be a possibly unbounded skew-adjoint operator on the Hilbert space X with compact resolvent. Let C be a bounded operator from D(A) to another Hilbert space Y. We consider the system governed by the state equation with the output y(t)=Cz(t). We characterize the exact observability of this system only in terms of C and of the spectral elements of the operator A. The starting point in the proof of this result is a Hautus-type test, recently obtained in Burq and Zworski (J. Amer. Soc. 17 (2004) 443-471) and Miller (J. Funct. Anal. 218 (2) (2005) 425-444). We then apply this result to various systems governed by partial differential equations with observation on the boundary of the domain. The Schrödinger equation, the Bernoulli-Euler plate equation and the wave equation in a square are considered. For the plate and Schrödinger equations, the main novelty brought in by our results is that we prove the exact boundary observability for an arbitrarily small observed part of the boundary. This is done by combining our spectral observability test to a theorem of Beurling on nonharmonic Fourier series and to a new number theoretic result on shifted squares.     

The distance to strong stability

The notion of “strong stability” has been introduced in a recent paper [12]. This notion is relevant for state-space models described by physical variables and prohibits overshooting trajectories in the state-space transient response for arbitrary initial conditions. Thus, “strong stability” is a stronger notion compared to alternative definitions (e.g. stability in the sense of Lyapunov or asymptotic stability). This paper defines two distance measures to strong stability under absolute (additive) and relative (multiplicative) matrix perturbations, formulated in terms of the spectral and the Frobenius norm. Both symmetric and non-symmetric perturbations are considered. Closed-form or algorithmic solutions to these distance problems are derived and interesting connections are established with various areas in matrix theory, such as the field of values of a matrix, the cone of positive semi-definite matrices and the Lyapunov cone of Hurwitz matrices. The results of the paper are illustrated by numerous computational examples.     

Adaptive control for modified projective synchronization of a four-dimensional chaotic system with uncertain parameters

This article is concerned with the modified projective synchronization problem for a class of four-dimensional chaotic system with uncertain parameters. By utilizing Lyapunov method, an adaptive control scheme for the synchronization has been presented. The control performances are verified by a numerical simulation.     

Scattering Systems with Several Evolutions and Multidimensional Input/State/Output Systems

The one-to-one correspondence between one-dimensional linear (stationary, causal) input/state/output systems and scattering systems with one evolution operator, in which the scattering function of the scattering system coincides with the transfer function of the linear system, is well understood, and has significant applications in H^∞ control theory. Here we consider this correspondence in the d-dimensional setting in which the transfer and scattering functions are defined on the polydisk. Unlike in the onedimensional case, the multidimensional state space realizations and the corresponding multi-evolution scattering systems are not necessarily equivalent, and the cases d = 2 and d > 2 differ substantially. A new proof of Andô’s dilation theorem for a pair of commuting contraction operators and a new statespace realization theorem for a matrix-valued inner function on the bidisk are obtained as corollaries of the analysis.     

The spectral factorization problem for multivariable distributed parameter systems

This paper studies the solution of the spectral factorization problem for multivariable distributed parameter systems with an impulse response having an infinite number of delayed impulses. A coercivity criterion for the existence of an invertible spectral factor is given for the cases that the delays are a) arbitrary (not necessarily commensurate) and b) equally spaced (commensurate); for the latter case the criterion is applied to a system consisting of two parallel transmission lines without distortion. In all cases, it is essentially shown that, under the given criterion, the spectral density matrix has a spectral factor whenever this is true for its singular atomic part, i.e. its series of delayed impulses (with almost periodic symbol). Finally, a small-gain type sufficient condition is studied for the existence of spectral factors with arbitrary delays. The latter condition is meaningful from the system theoretic point of view, since it guarantees feedback stability robustness with respect to small delays in the feedback loop. Moreover its proof contains constructive elements.     

The Nehari problem for infinite-dimensional linear systems of parabolic type

A complete solution is obtained to the suboptimal Nehari extension problem for transfer functions of parabolic systems with Dirichlet boundary control and smooth observations. The solutions are given in terms of the realization (–A, B, C), whereA is a uniformly strongly elliptic operator of order two with smooth coefficients defined on a bounded open domain ofR _d ,B=AB _D andB _D is the Dirichlet map associated with Dirichlet boundary conditions andC is a bounded observation map fromL ₂() to the output spaceY. The approach is to solve an equivalentJ-spectral factorization problem for this particular realization.     

The time-varying discrete four block Nehari problem: A generalized Popov-Yakubovich type approach

The paper provides necessary and sufficient solvability conditions for the time-variant discrete four block Nehari problem in terms of the existence of the stabilizing solutions to two coupled Riccati equations. A parametrization of the class of all solutions is also given. The results are easily obtained from a signature condition — a generalized Popov Yakubovich type argument-imposed on an appropiate rational node. The present development may be seen as an alternative of the theory developed by Gohberg, Kaashoek and Woerdeman [15].     

Optimal control of the primitive equations of the ocean with state constraints

We investigate in this article Pontryagin’s maximum principle for a class of control problems associated with the primitive equations (PEs) of the ocean. These optimal problems involve a state constraint similar to that considered in Wang (2002) [7] for the three-dimensional Navier-Stokes (NS) equations. The main difference between this work and Wang (2002) [7] is that the nonlinearity in the PEs is stronger than in the three-dimensional NS systems.     

Robust stability criteria for systems with interval time-varying delay and nonlinear perturbations

This paper considers the robust stability for a class of linear systems with interval time-varying delay and nonlinear perturbations. A Lyapunov-Krasovskii functional, which takes the range information of the time-varying delay into account, is proposed to analyze the stability. A new approach is introduced for estimating the upper bound on the time derivative of the Lyapunov-Krasovskii functional. On the basis of the estimation and by utilizing free-weighting matrices, new delay-range-dependent stability criteria are established in terms of linear matrix inequalities (LMIs). Numerical examples are given to show the effectiveness of the proposed approach.     

Error bounds in the gap metric for dissipative balanced approximations

We derive an error bound in the gap metric for positive real balanced truncation and positive real singular perturbation approximation. We prove these results by working in the context of dissipative driving-variable systems, as in behavioral and state/signal systems theory. In such a framework no prior distinction is made between inputs and outputs. Dissipativity preserving balanced truncation of dissipative driving-variable systems is addressed and a gap metric error bound is obtained. Bounded real and positive real input–state–output systems are manifestations of a dissipative driving-variable system through particular decompositions of the signal space. Under such decompositions the existing bounded real and positive real balanced truncation schemes can be seen as special cases of dissipative balanced truncation and the new positive real error bounds follow.     

Redheffer's theorem revisited

Based on the Ben Artzi-Gohberg result concerning the equivalence between the invertibility of theL ²-operator and the exponential dichotomic evolution defined byA(t), the time-varying counterpart of the Redheffer theorem is considered under relaxed conditions.