A Popov-theory-based approach to digital H{infty} control with measurement feedback for Pritchard-Salamon systems

In this paper, we deal with the digital output-measurement-feedbackH control problem for Pritchard-Salamon infinite-dimensionalsystems with unbounded input and output operators. A discretePopov-theory-based solution is given in terms of the solvabilityof Kalman-Szegö-Popov-Yakubovitch systems associated withthe equivalent discrete-time time-invariant system obtainedby lifting the T-periodic continuous-time system.     

On infinite-dimensional control systems with state and control constraints

In this paper we examine infinite-dimensional control systems governed by semilinear evolution equations and having both state and control constraint. We introduce the relaxed system and show that the original trajectories are dense in an appropriate function space in the relaxed ones. We also determine the dependence of the solution set on the initial conditions. Then using those results we establish necessary and sufficient conditions for optimality for some optimization problems. Finally we prove some controllability results.     

Optimal control of infinite-dimensional uncertain systems

In this paper, we consider a minimax problem of optimal control for a class of strongly nonlinear uncertain evolution equations on a Banach space. We prove the existence of optimal controls. A nontrivial example of a class of systems governed by a nonlinear partial differential equation with uncertain spatial parameters is presented for illustration.This work was supported in part by the National Science and Engineering Research Council of Canada under Grant No. A7109 and The Engineering Faculty Development Fund, University of Ottawa.The authors would like to thank the anonymous reviewers for their valuable comments and suggestions.     

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].     

Optimal control in nonlinear infinite-dimensional systems with nondifferentiability of two types

We consider the optimal control problem for systems described by nonlinear equations of elliptic type. If the nonlinear term in the equation is smooth and the nonlinearity increases at a comparatively low rate of growth, then necessary conditions for optimality can be obtained by well-known methods. For small values of the nonlinearity exponent in the smooth case, we propose to approximate the state operator by a certain differentiable operator. We show that the solution of the approximate problem obtained by standard methods ensures that the optimality criterion for the initial problem is close to its minimal value. For sufficiently large values of the nonlinearity exponent, the dependence of the state function on the control is nondifferentiable even under smoothness conditions for the operator. But this dependence becomes differentiable in a certain extended sense, which is sufficient for obtaining necessary conditions for optimality. Finally, if there is no smoothness and no restrictions are imposed on the nonlinearity exponent of the equation, then a smooth approximation of the state operator is possible. Next, we obtain necessary conditions for optimality of the approximate problem using the notion of extended differentiability of the solution of the equation approximated with respect to the control, and then we show that the optimal control of the approximated extremum problem minimizes the original functional with arbitrary accuracy.     

A note on generalized invariant subspaces for infinite-dimensional systems

In this paper, some generalized invariant subspaces for uncertainlinear infinite-dimensional systems in the sense that each uncertainparameters are in given real intervals are studied.     

Approximation methods in optimal control problems for nonlinear infinite-dimensional systems

Some notions related to approximate solutions and to the approximation of extremum problems for nonlinear infinite-dimensional systems are proposed. Optimization problems for nonlinear parabolic equations with a fixed terminal state and on an infinite time interval, as well as for singular stationary systems with phase constraints, are illustrated by several examples.     

Adaptive control of infinite-dimensional systems without parameter estimation: an overview

This paper contains an overview of adaptive control of infinite-dimensionalsystems without parameter estimation or identification. We describethe main problems and present the most comprehensive results.High-gain, low-gain and switching controllers are considered.The literature is discussed and a number of open problems areposed.     

Controllability of second-order infinite-dimensional systems

In the paper, the approximate controllability of linear abstractsecond-order infinite-dimensional dynamical systems is considered.Using the frequency-domain method, it is proved that approximatecontrollability of such a system follows from that of a suitablydefined first-order system. The general results are then appliedto investigating the approximate controllability of a vibratorydynamical system modelling a flexible mechanical structure.Some special case are also considered. Moreover, remarks andcomments on the relationships between different concepts ofcontrollability are given. The paper generalizes earlier resultson second-order abstract dynamical systems.     

Some comments on stability of infinite-dimensional systems

The article proposes an infinite-dimensional generalization of the Lyapunov second method for stability analysis of dynamical systems. Translated from Nelineinaya Dinamika i Upravlenie, pp. 15–21, 1999.     

Stability of infinite-dimensional sampled-data systems

Suppose that a static-state feedback stabilizes a continuous-time linear infinite-dimensional control system. We consider the following question: if we construct a sampled-data controller by applying an idealized sample-and-hold process to a continuous-time stabilizing feedback, will this sampled-data controller stabilize the system for all sufficiently small sampling times? Here the state space and the control space are Hilbert spaces, the system is of the form , where is the generator of a strongly continuous semigroup on , and the continuous time feedback is . The answer to the above question is known to be ``yes' if and are finite-dimensional spaces. In the infinite-dimensional case, if is not compact, then it is easy to find counterexamples. Therefore, we restrict attention to compact feedback. We show that the answer to the above question is ``yes', if is a bounded operator from into . Moreover, if is unbounded, we show that the answer ``yes' remains correct, provided that the semigroup generated by is analytic. We use the theory developed for static-state feedback to obtain analogous results for dynamic-output feedback control.

     

Feedback approximation of the minimum energy control for linear infinite-dimensional systems with zero terminal state

The paper studies the minimum energy control problem for linear infinite-dimensional systems with an unbounded input operator and zero terminal state. This problem is approximated by the minimum energy control problem with a small terminal state for which the solution is derived in feedback form. The operators which comprise the feedback are described in terms of differential relations which, depending on circumstances, involve Liapunov or Riccati differential equations. A detailed example illustrates how the general results apply to the wave equation with control in Dirichlet boundary condition.This work was supported by the Polish Ministry of National Education under Grant DNS-T/02/097/90-2.     

Malliavin calculus for infinite-dimensional systems with additive noise

We consider an infinite-dimensional dynamical system with polynomial nonlinearity and additive noise given by a finite number of Wiener processes. By studying how randomness is spread by the dynamics, we develop in this setting a partial counterpart of Hörmander's classical theory of Hypoelliptic operators. We study the distributions of finite-dimensional projections of the solutions and give conditions that provide existence and smoothness of densities of these distributions with respect to the Lebesgue measure. We also apply our results to concrete SPDEs such as a Stochastic Reaction Diffusion Equation and the Stochastic 2D Navier-Stokes System.     

A Hyland-Bernstein approach to the digital control of Pritchard-Salamon systems

In this paper we consider the fixed finite-order digital linear-quadraticcontrol of Pritchard-Salamon infinite-dimensional systems withunbounded input and output operators under gaussian disturbances.A set of necessary conditions is given in terms of the solvabilityof a discrete-time Hyland-Bernstein system of equations (twomodified Riccati equations and two modified Lyapunov equationscoupled by an projection operator).     

Some remarks on reachability of infinite-dimensional linear systems

In this paper we shall be concerned with the question of reachability when allowing distribution inputs. We show that a certain class of systems accept distribution inputs, but, in general, they cannot be exactly reachable. We shall also consider the problem of the uniqueness of canonical realizations in relation to exact reachability, and show that Matsuo's result on uniqueness (Ph.D. dissertation, in preparation) does not apply to the example given in Baras, Brockett, and Fuhrmann [IEEE Trans. Automatic ControlAC-19 (1974), 693–700].     

Reducibility of systems defined on an infinite-dimensional torus

An analog of Arnol'd's theorem on the reducibility of weakly perturbed systems on the finite-dimensional torus is proved for systems of differential equations given on the infinite-dimensional torus.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 8, pp. 1117–1121, August, 1990.     

A survey of vector optimization in infinite-dimensional spaces,part 2

The present survey deals with the state of vector optimization as a mathematical discipline. In this context, the optima are generally defined as maximal pointsy ₀ with respect to a partial order on the criteria space. The survey is restricted to a discussion of that literature which deals with pointsy ₀ which satisfy a maximality condition with respect toy ₀-comparable criteria values; papers which are based on a maximality condition satisfied for all admissible criteria values are included only in a supplementary bibliography. For the former, all aspects of the optimization process are surveyed, ranging from questions of existence to the treatment of duality. Particular attention is paid to questions of proper maximality. The discussion is based on a broad range of definitions and selected theorems from the literature.The authors wish to express their appreciation to O. Saleh and Y. H. Liu for their thoughtful ear, their cogent suggestions, and their untiring legwork in procuring and discussing many of the papers cited in this review. Above all, however, their thanks go to Professors L. Hurwicz and J. M. Borwein for the excellent papers they produced in this area. Their work was a pleasure to read, and it provided the supporting framework without which our task would have been a considerably more difficult one.     

Approximate parametric optimization of infinite-dimensional systems

We consider the problem of finding g M_n such that where M_n is the n-dimensional subspace of the complexHilbert space L²(0, ) spanned by an n-tuple of normalized eigenvectoesof the operator , corresponding to eigenvalues. The solution is g = P_nf and P_n denotesthe orthoprojector onto M_n. From Grabowski (1991) we know thatP_n can be expressed in terms of the Malmquist functions. Wegive an alternative approach, more convenient for applicationof the standard mathematical software. The problem of convergenceas n is discussed from both theoretical and numerical viewpoint.The reslts are illustrated by the problems of finding the optimaladjustment of the proportional controller stabilizing a distributedplant. Email: pgrab{at}ia.agh.edu.pl     

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.