Infinite horizon disturbance attenuation for discrete-time systems. A Popov-Yakubovich approach

It is proved that for the discrete-time linear systems with time-varying coefficients the existence of a controller which simultaneously stabilizes and provides prescribed disturbance attenuation for the resultant closed-loop system, implies the existence of global solutions to several Kalman-Szegö-Popov-Yakubovich systems. It is also proved that this fact is equivalent to the existence of the positive semidefinite stabilizing solutions to corresponding game-theoretic Riccati equations. The family of all controllers with the above mentioned properties is constructed in terms of the solutions to the cited Kalman-Szegö-Popov-Yakubovich systems. The main tool is the generalized Popov-Yakubovich theory which is essentially developed in an operator-theoretic framework.     

Fixed zeros in the model matching problem for systems over semirings

This paper studies “fixed zeros” of solutions to the model matching problem for systems over semirings. Such systems have been used to model queueing systems, communication networks, and manufacturing systems. The main contribution of this paper is the discovery of two fixed zero structures, which possess a connection with the extended zero semimodules of solutions to the model matching problem. Intuitively, the fixed zeros provides an essential component that is obtained from the solutions to the model matching problem. For discrete event dynamic systems modeled in max-plus algebra, a common Petri net component constructed from the solutions to the model matching problem can be discovered from the fixed zero structure.     

New filter design for linear time-delay systems

This paper develops new robust delay-dependent filter design for a class of linear systems with time-varying delays and convex-bounded parameter uncertainties. The design procedure hinges upon the constructive use of an appropriate Lyapunov functional plus a free-weighting matrices in order to exhibit the delay-dependent dynamics. The developed approach utilizes smaller number of LMI decision variables thereby leading to less conservative solutions to the delay-dependent stability and filtering problems. Subsequently, linear matrix inequalities (LMIs)-based conditions are characterized such that the linear delay system is robustly asymptotically stable with an γ-level L₂-gain. All the developed results are tested on representative examples.     

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.     

The infinite-time admissibility of observation operators and operator Lyapunov equations

Let (A, –, C) be an abstract dynamical system withA being the generator of aC ₀-semigroup on a Hilbert spaceH, C:D(A)Y a linear operator,Y another Hilbert space. In this paper, some sufficient and necessary conditions are obtained for the observation operatorC to be infinite-time admissible. For a control system (A, B, –), due to duality argument, some sufficient and necessary conditions are also given for the control operatorB to be extended admissible. It is wellknown that observation operatorC is admissible if and only if the operator Lyapunov equation associated with the system has a nonnegative solution. In this paper, all nonnegative solutions to this equation are represented parametrically.This project is supported by the NNSF of China, and the Youth Science and Technique Foundation of Shanxi Province.     

A generalized interpolation inequality and its application to the stabilization of damped equations

In this paper, we establish a generalized Hölder's or interpolation inequality for weighted spaces in which the weights are non-necessarily homogeneous. We apply it to the stabilization of some damped wave-like evolution equations. This allows obtaining explicit decay rates for smooth solutions for more general classes of damping operators. In particular, for 1−d models, we can give an explicit decay estimate for pointwise damping mechanisms supported on any strategic point.     

Radial solutions for a prescribed mean curvature equation with exponential nonlinearity

We establish an existence result for radial solutions for a prescribed mean curvature equation with exponential nonlinearity. Our methods are based on degree theory combined with a time map analysis. We also obtain two nonexistence results for positive solutions for more general f; one of them is not limited to radial solutions.     

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.     

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.     

Vanishing of the costate in pontryagin’s maximum principle and singular time optimal controls

We provide examples of time and norm optimal controls that satisfy Pontryagins maximum principle in an interval 0 t T but with a costate that vanishes in 0 t T - with < T. A refinement of this construction produces time optimal controls which do not satisfy the maximum principle, even in weak form. On the positive side, we show that when we drive to zero the costate is nonzero in the whole control interval.     

A numerical scheme for a class of nonlinear Fredholm integral equations of the second kind

In this paper an iterative approach for obtaining approximate solutions for a class of nonlinear Fredholm integral equations of the second kind is proposed. The approach contains two steps: at the first one, we define a discretized form of the integral equation and prove that by considering some conditions on the kernel of the integral equation, solution of the discretized form converges to the exact solution of the problem. Following that, in the next step, solution of the discretized form is approximated by an iterative approach. We finally on some examples show the efficiency of the proposed approach.     

Insensitizing controls with one vanishing component for the Navier–Stokes system

In this paper we prove the existence of insensitizing controls, having one vanishing component, for the local L²$L^2$-norm of the solutions of the Navier–Stokes system. This problem can be recast as a null controllability problem for a nonlinear cascade system. We first prove a controllability result, with controls having one vanishing component, for a linear problem. Then, by means of an inverse mapping theorem, we deduce the controllability for the cascade system.     

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.     

Structural stability of (C, A)-marked subspaces

Given an observable pair of matrices (C, A) we consider the manifold of (C, A)-invariant subspaces having a fixed Brunovsky-Kronecker structure. Using Arnold techniques we obtain the explicit form of a miniversal deformation of a marked (C, A)-invariant subspace with respect to the usual equivalence relation. As an application, we obtain the dimension of the orbit and we characterize the structurally stable subspaces (those with open orbit).     

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.     

On the nonnegative self-adjoint solutions of the operator Riccati equation for infinite dimensional systems

The nonnegative self-adjoint solutions of the operator Riccati equation (ORE) are studied for stabilizable semigroup Hilbert state space systems with bounded sensing and control. Basic properties of the maximal solution of the ORE are investigated: stability of the corresponding closed loop system, structure of the kernel, Hilbert-Schmidt property. Similar properties are obtained for the nonnegative self-adjoint solutions of the ORE. The analysis leads to a complete classification of all nonnegative self-adjoint solutions, which is based on a bijection between these solutions and finite dimensional semigroup invariant subspaces contained in the antistable unobservable subspace.     

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.     

Chaos synchronization between two novel different hyperchaotic systems with unknown parameters

This work is devoted to investigating the synchronization between two novel different hyperchaotic systems with fully unknown parameters, i.e., an uncertain hyperchaotic Lorenz system and an uncertain hyperchaotic Lü system. Based on the Lyapunov stability theory, a new adaptive controller with parameter update law is designed to synchronize these two hyperchaotic systems asymptotically and globally. Numerical simulations are presented to verify the effectiveness of the synchronization scheme.     

Analysis of a multistate control problem related to food technology

This paper is concerned with an optimal control problem related to the determination of an optimal profile for the steam temperature into the autoclave along the processing of canned foods. The problem studies a system coupling the evolution Navier-Stokes equations with the heat transfer equation by natural convection (the so-called Boussinesq equations), and with the microorganisms removal equation. The essential difficulties in the study of this multistate control problem arise from the lack of uniqueness for the solution of the state system. Here we obtain—after a careful analysis of the problem mathematical formulation—the uniqueness of part of the state, and the existence of optimal solutions.     

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.