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.     

H{infty} filtering for linear continuous-time systems with sampled measurements

The problem of H filtering of continuous-time systems with sampledmeasurements has been investigated. Both finite-and infinite-horizoncases have been considered. It has bas been shown that the sampled-dataH filtering problem can be solved in terms of a differentialRiccati equation with finite discrete jumps. When the systemis time-invariant with zero initial condition, and an infinitehorizon is concerned, the solution to the above problem is equivalentto a solution to a discrete-time algebraic Riccati equation.     

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 = ).     

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.     

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.     

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 ?     

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||=+.     

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.     

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     

The Full Muntz Theorem in C[0, 1] and L1[0, 1]

The main result of this paper is the establishment of the ‘fullMüntz Theorem’ in C[0, l]. This characterizes thesequences of distinct, positive real numbers for which span{l, x^₁, x^₂, ...} is dense in C[0,1]. The novelty of this result is the treatment of the mostdifficult case when inf_ii = 0 while sup_ii = . The paper settlesthe L and L₁ cases of the following. THEOREM (Full Müntz Theorem in L_p[0,1]). Let p [l, ].Suppose that is a sequence of distinct real numbers greater than –1/p. Then span{x^₀,x^₁, ...} is dense in L_p[0, 1] if and only if      

On Finite and InfiniteCk-A-Determinacy

Let f: (Rⁿ,0) (R^p,0) be a C map-germ. We define f to be finitely,or -, A-determined, if there exists an integer m such that allgerms g with j^mg(0) = j^mf(0), or if all germs g with the sameinfinite Taylor series as f, respectively, are A-equivalentto f. For any integer k, 0 k < , we can consider A' sC^kcounterpart (consisting of C^k diffeomorphisms) A^(k), and wecan define the notion of finite, or -,A^(k)-determinacy in asimilar manner. Consider the following conditions for a C germf: (a_k) f is -A^(k)-determined, (b_k) f is finitely A^(k)-determined,(t) , (g) there exists a representative f : U R^p defined on some neighbourhood U of 0 in Rⁿ such thatthe multigerm of f is stable at every finite set , and (g') every f' with j f'(0)=j f(0) satisfiescondition (g). We also define a technical condition which willimply condition (g) above. This condition is a collection ofp+1 Lojasiewicz inequalities which express that the multigermof f is stable at any finite set of points outside 0 and onlybecomes unstable at a finite rate when we approach 0. We willdenote this condition by (e). With this notation we prove thefollowing. For any C map germ f:(Rⁿ,0) (R^p,0) the conditions(e), (t), (g') and (a) are equivalent conditions. Moreover,each of these conditions is equivalent to any of (a_k) (p+1 k < , (b_k) (p+1 k < ). 1991 Mathematics Subject Classification:58C27.     

The Magnetogasdynamic Boundary Layer on a Thermally Insulated Flat Plate

This paper examines the effect of compressibility on the flowin the boundary layer on a semi-infinite, thermally insulatedflat plate placed at zero incidence to a uniform stream of electricallyconducting gas, with an aligned magnetic field at large distancesfrom the plate. The present discussion is limited to small values of the conductivityparameter = 4µv, and the Prandtl number is taken to beunity. The latter assumption permits a simplification of theanalysis, and the former allows the dependence of the flow onthe parameters ß = µH²/4U² and M = U/cto beadequately illustrated without excessive computation. A seriessolution valid for small values of the conductivity parameterand for Mach numbers not too large is derived. Values of ß = 0.3 and 0.5, = 0.01 and 0.1 are consideredand for those values the skin friction decreases with increasingMach number, similar to the case when ß = 0. The analysissuggests that for larger values of ß the skin frictionmight even increase with the Mach number initially. This iscertainly the case with the tangential component of the magneticfield, which for ß = 0.5 exhibits a maximum at approximatelyunit Mach number. The reason for this behaviour lies in thefact that, in view of the temperature changes taking place inthe flow, the electrical conductivity and thereby the localvalue of can change by more than an order of magnitude. Thishas the effect of giving results which are akin to those forarbitrary large in incompressible flow even though the valueof based on the main stream gas properties remains low.