Finite-dimensional H{infty} control of flexible beam equation systems

In this paper, we consider H control problem with measurementfeedback for flexible beam equation systems. The aim is to constructa finite-dimensional H controller with a given level for theflexible beam equation system. For that purpose, we first formulatethe system as an infinite-dimensional system in l² and derivea finite-dimensional reduced-order system for the infinite-dimensionalsystem. Then, an H controller with level d less than is constructedfor the reduced-order model. The finite-dimensional controllertogether with a residual mode filter plays a role of a finite-dimensionalH controller with level for the original flexible beam equationsystem, if the order of the residual mode filter is chosen sufficientlylarge.     

Robust disturbance attenuation of fluid dynamic systems with norm-bounded uncertainties

In this paper, we consider the problem of robust control of fluid dynamic systems in an Hsense. The system under studyis nonlinear in state and linear in inputs with parameter uncertaintiesin all entries. The controller is designed, via Hamilton–Jacobiequation and Riccati equation approaches, such that the resultingclosed-loop systems is robust stable and has a robust Hperformance.In particular, it is shown that the robust Hcontrol problemis solvable for a nonlinear system (governed by Navier–Stokes equation) in the neighbourhood of the origin if a robust Hcontrolproblem is solvable for a corresponding linearized system.     

Robust H{infty} control of uncertain systems with time-varying state and control input delays

In this paper, a new method for robust H controller of uncertainsystems with time-varying state and control input delays isproposed. A sufficient condition, which is dependent on themaximum value of the time derivative of time-varying delay,is also presented for the existence of H controller. The proposedcontroller not only stabilizes closed-loop uncertain systemsbut also guarantees a prescribed H norm bound of the closed-looptransfer matrix from the disturbance to controlled output. Furthermore,we propose a new robust stability criterion to decide the allowedmaximum bound of plant uncertainty which still can be stabilizedby proposed robust controller. An example given illustratesthe availability of the proposed design method.     

Robust H{infty} dynamic output feedback control for 2D linear parameter-varying systems

James Lam Department of Mechanical Engineering, The University of Hong Kong, Pokfulam Road, Hong Kong Changhong Wang Space Control and Inertial Technology Research Center, Harbin Institute of Technology, Harbin 150001, People's Republic of China Corresponding author. Email: ligangwu{at}hit.edu.cn Email: james.lam{at}hku.hk Email: cwang{at}hit.edu.cn Received on June 28, 2006; Accepted on October 1, 2007 This paper is concerned with the problem of robust dynamicoutput feedback control for 2D discrete-time linear parameter-varyingsystems. Given a Fornasini–Marchesini local state-spacesystem with linear varying parameters, our attention is focussedon the design of full-order dynamic output feedback controller,which guarantees the closed-loop system to be asymptoticallystable and has a prescribed disturbance attenuation performance.A sufficient condition for the existence of a desired robustoutput feedback controller is established in terms of parameterizedlinear matrix inequalities, and the corresponding controllersynthesis is cast into a convex optimization problem which canbe efficiently handled by using standard numerical software.A numerical example is provided to illustrate the effectivenessof the proposed design method.     

Reduced-order filtering with energy-to-peak performance for discrete-time Markovian jumping systems

In this paper, the l₂–l (energy-to-peak) performanceof the discrete-time Markovian jump linear system is investigated.The jump parameters are modelled by a discrete-time Markov process.Furthermore, we study the l₂–l reduced-order filteringproblem for the Markovian jump linear system. A reduced-orderfilter with the same randomly jumping parameters is proposedwhich can make the error systems with Markovian jump parametersstochastically stable with a prescribed l₂–lperformance.Sufficient conditions in terms of linear matrix inequalities(LMIs) and a coupling non-convex rank constraint are derivedfor the existence of a solution to the reduced-order filteringproblems. A numerical example is given to illustrate the designprocedures.     

A Twisted Sampling Theorem

A generalized sampling theorem is proved for a set of functionsf that are well behaved in the frequency domain. Specifically,let W be a positive bounded integrable function, let be a reconstructionfunction, and let A denote the operation of multiplication inthe frequency domain by a bounded function A(s). Then coefficientsh_n (–<n<) are determined to minimize the maximalL²-error in an approximation scheme for functions f ranging over the set is the Fourier of f. Formulae are given for the minimal obtainablemaximal error, and the optimal choice (choices) of h_n (–<n<)is characterized through its discrete Fourier transform .     

A necessary and sufficient algebraic condition for the controllability of a thermoelastic plate equation

In this paper we give a necessary and sufficient algebraic conditionfor the approximate controllability of the following thermoelasticplate equation with Dirichlet boundary conditions w_tt + ²w + = a₁(x)u₁ + ... + a_m(x)u_m, t 0, x , _t – ß – w_t = d₁(x)u₁ + ... + d_m(x)u_m,t 0, x , = w = w = 0, t 0, x , where 0, ß > 0, is a sufficiently regular boundeddomain in R^N, a_i, d_i, L² (; R), the control functions u_i L²(0, t₁; R); i = 1, 2, ..., m. This condition is easy to checkand is given by Rank [P_jBA_jP_jBA²_jP_jB ... A^3_j–1_jP_jB] = 3_j,BU=b₁U₁+...+b_mU_m,b_i=[0, a_i, d_i], A_j=[0, –²_j, 0, 1, 0, –_j, 0, _j, –ß_j]P_j, j1, where _j, S are the eigenvalues of – with Dirichlet boundarycondition and P_j, S are the projections on the correspondingeigenspace.     

A Generalized Frequency Response for Nonlinear Systems

The principal aim of this paper is to present the idea of ‘generalizedfrequency response’ of a nonlinear input-output map S_xo.It is defined as · S_xo · ^-1 where is the canonicalisomorphsim from the weighted space L²_w[0, ] to ² with respectto a given basis for L²_w(0 , ) and the standard basis for ².Realization results are presented pertainig to the linear, bilinear,and nonlinear cases.     

Identity Theorems for Functions of Bounded Characteristic

Suppose that f(z) is a meromorphic function of bounded characteristicin the unit disk :|z|<1. Then we shall say that f(z)N. Itfollows (for example from [3, Lemma 6.7, p. 174 and the following])that where h₁(z), h₂(z) are holomorphic in and have positive realpart there, while ₁(z), ₂(z) are Blaschke products, that is, where p is a positive integer or zero, 0<|a_j|<1, c isa constant and (1–|a_j|)<. We note in particular that, if c0, so that f(z)0, (1.1) so that f(z)=0 only at the points a_j. Suppose now that z_j isa sequence of distinct points in such that |z_j|1 as j and (1–|z_j|)=. (1.2) If f(z_j)=0 for each j and fN, then f(z)0. N. Danikas [1] has shown that the same conclusion obtains iff(z_j)0 sufficiently rapidly as j. Let _j, _j be sequences of positivenumbers such that _j< and _j as j. Danikas then defines and proves Theorem A.     

On strongly asymptotic lp spaces and minimality

Let 1 p and let X be a Banach space with a semi-normalizedstrongly asymptotic _p basis (e_i). If X is minimal and 1 p <2, then X is isomorphic to a subspace of _p. If X is minimaland 2 p < , or if X is complementably minimal and 1 p , then (e_i) is equivalent to the unit vector basis of _p (orc₀ if p = ).     

Metrical Theorems on Prime Values of the Integer Parts of Real Sequences II

Let [ ] denote the integer part. Among other results in [3]we gave a complete solution to the following problem. PROBLEM. Given an increasing sequence a_n R⁺, n = 1, 2, ...,where a_n as n , are there infinitely many primes in the sequence[a_n] for almost all ?     

Stability and Asymptotic Stability of Functional-Differential Equations

We investigate asymptotic behaviour of solutions of the functional-differentialequation where f and g arelocally Lipschitz functions, C is a continuous matrix and thesmooth lag function obeys 0 (t) t for t 0. We transformthe equation into a delay equation with an infinity of delaysand use a theorem of Söderlind to derive sufficient conditionsfor stability and for asymptotic stability in the case lim_t (t) = . The situation is qualitatively different when lim_t (t) = * < and we outline stability conditions for thatcase by employing direct techniques.     

Approximation of exact controllability problem involving parabolic differential equations

In this paper we examine computation of optimal control u^* ofthe exact controllability problem (referred to as the constraintproblem) governed by the following type of linear parabolicdifferential equations: (y/t) + Ay = u in Q y = 0 on y(0) = y₀ on where A is the second-order elliptic differential operator, is a bounded domain in ^k with smooth boundary , Q = (0, T)x , = (0, T) x and T > 0. This is achieved by approximatingu^* through a sequence {u_n} of controls corresponding to unconstrainedproblems involving a penalty function arising from the controllabilityconstraint.     

The l{infty} direct sum of Lp (1 < p < {infty}) is primary

Using Szemeredi's theorem on arithmetic progressions, it isshown that, for 1 < p < , the infinite l direct sum (L^p L^p · · · )_l is a primary Banach space.     

On hearing the shape of a bounded domain with Robin boundary conditions

The asymptotic expansions of the trace of the heat kernel (t)= [sum ]_j=1 exp(-t_j) for small positive t, where {_j} _j=1 arethe eigenvalues of the negative Laplacian -_n = -[sum ]ⁿ_k=1 (/x^k)²in Rⁿ (n = 2 or 3), are studied for a general multiply connectedbounded domain which is surrounded by simply connected boundeddomains _i with smooth boundaries _i (i = 1,...,m), where smoothfunctions Y_i (i = 1,...,m) are assuming the Robin boundary conditions(n_i + Y_i) = 0 on _i. Here /n_i denote differentiations along theinward-pointing normals to _i (i = 1,...,m). Some applicationsof an ideal gas enclosed in the multiply connected bounded containerwith Neumann or Robin boundary conditions are given.     

Contractions et Hyperdistributions a Spectre de Carleson

Let =(_n)_n1 be a log concave sequence such that lim inf_n+n/n^c>0for some c>0 and ((log _n)/n)_n1 is nonincreasing for some<1/2. We show that, if T is a contraction on the Hilbertspace with spectrum a Carleson set, and if ||T^–n||=O(_n)as n tends to + with _n11/(n log _n)=+, then T is unitary. Onthe other hand, if _n11/(n log _n)<+, then there exists a (non-unitary)contraction T on the Hilbert space such that the spectrum ofT is a Carleson set, ||T^–n||=O(_n) as n tends to +, andlim sup_n+||T^–n||=+.     

A generalization of the concept of similarity of infinite-dimensional linear systems with applications to stability, stabilizability, and detectability

In the present paper a generalization of the concept of similaritycalled D similarity for infinite-demensional linear systemsis introduced. We show that this D similarity preserves thespectrum in the standard sense, and the exponential growth bound,stability, stabilizability, and detectability in the extensionsense. For the case where one of the semigroups is stronglydifferentiable at some t₀ 0, it is shown that D similaritypreserves the exponential growth bound and weak and exponentialstability in the standard sense. For the case where one of thesemigroups is analytic, it is shown that D similarity preservesstabilizability and detectability in the standard sense.     

A problem of Hirst on continued fractions with sequences of partial quotients

Let B denote an infinite sequence of positive integers b₁ <b₂ < ..., and let denote the exponent of convergence ofthe series _{n = 1} 1/b_n; that is, = inf {s 0 : _{n = 1} 1/b_n^s <}. Define E(B) = {x [0, 1]: a_n(x) B (n 1) and a_n(x) asn }. K. E. Hirst [Proc. Amer. Math. Soc. 38 (1973) 221–227]proved the inequality dim_H E(B) /2 and conjectured (see ibid.,p. 225 and [T. W. Cusick, Quart. J. Math. Oxford (2) 41 (1990)p. 278]) that equality holds. In this paper, we give a positiveanswer to this conjecture.     

Asymptotics for Fractional Nonlinear Heat Equations

The Cauchy problem is studied for the nonlinear equations withfractional power of the negative Laplacian where (0,2), with critical = /n and sub-critical (0,/n)powers of the nonlinearity. Let u₀ L^1,a L C, u₀(x) 0 in Rⁿ, = . The case of not small initial data is of interest. It is proved that the Cauchy problemhas a unique global solution u C([0,); L L^1,a C) and the largetime asymptotics are obtained.     

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