Semigroup generation and stabilization by A-bounded feedback perturbations

Let A be a generator of a strongly continuous semigroup of operators, and assume that C and H are operators such that A + CH generates a strongly continuous semigroup S_H(t) on X. Let λ₀ be a real number in the resolvent set of A, and let ε [−1, 1]. Then there are some fairly unrestrictive conditions under which A+(λ₀ − A)CH(λ₀ − A)⁻ also generates a strongly continuous semigroup S_K(t) on X which has the same exponential growth rate as S_H(t). Given an input operator B, we can use this to identify a class of feedback perturbations K such that A + BK generates a strongly continuous semigroup. We can also use this result to identify classes of feedbacks which can and cannot uniformly stabilize a system. For example, we show that if the control on a cantilever beam in the state space H₀²[0, 1] × L²[0, 1] is a moment force on the free end, then we cannot stabilize the beam with an A^−1/2-bounded feedback, but we can find an A^−1/4-bounded feedback, for any > 0, which does stabilize the beam.     

An interpolation problem associated with H-optimal design in systems with distributed input lags

A variety of H^∞ optimal design problems reduce to interpolation of compressed multiplication operators, f(s) → π_k(w(s)f(s)), where w(s) is a given rational function and the subspace K is of the form K=H² φ(s)H². Here we consider φ(s) = (1-e^α-5)/(s - α), which stands for a distributed delay in a system's input. The interpolation scheme we develop, adapts to a broader class of distributed lags, namely, those determined by transfer functions of the form B(e^−s)/b(s), where B(z) and b(s) are polynomials and b(s) = 0 implies B(e^−s) = 0.     

On the weighted sensitivity minimization problem for delay systems

We consider the H^∞-optimal sensitivity problem for delay systems. In particular, we consider computation of μ:= inf {|W-φq|_∞ : q ε H^∞(j )} where W(s) is any function in RH^∞(j ), and φ in H^∞(j ) is any inner function. We derive a new explicit solution in the pure delay case where φ = e^−sh, h > 0.     

Optimal diagonal scaling for infinity-norm optimization

A solution is presented for the previously unsolved diagonally scaled multivariable infinity-norm optimization problem of minimizing D(s)(A(s) + Ψ(s) X(s))D⁻¹(s)_∞ over the set of stable minimum-phase diagonal D(s) and stable X(s). This problem is of central importance in the synthesis of feedback control laws for robust stability and insensitivity in the presence of ‘structured’ plant uncertainty. The result facilitates the design of feedback controllers which optimize the ‘excess stability margin’ [3] (or, equivalently, the ‘structured singular value μ’ [4]) of diagonally perturbed feedback systems.     

Positively invariant sets for continuous-time systems with the cone-preserving property

The main objective of this paper is to determine positively invariant and asymptotically stable polyhedral sets for a linear continuous-time system [xdot](t) = Ax(t) for which matrix e ^1A is a cone-preserving matrix, that is, e ^1A K ? K, for some proper cone K. Necessary and sufficient conditions guaranteeing that some bounded sets are positively invariant and contractive are given. These sets are obtained by means of the intersection of shifted cones. First, some results presented under a geometrical form and also in algebraic form allow characterization of systems having the cone-preserving property. Finally, as an application, the proposed results are used to determine a stability domain for a state feedback regulator with constraints on either or both states and controls.     

QFT template generation for time-delay plants based on zero-inclusion test

Plant template generation is the key step in applying quantitative feedback theory (QFT) to design robust control for uncertain systems. In this paper we propose a technique for generating plant templates for a class of linear systems with an uncertain time delay and affine parameter perturbations in coefficients. The main contribution lies in presenting a necessary and sufficient condition for the zero inclusion of the value set f(T,Q)={f(τ,q): τT[τ⁻,τ⁺], qQ∏_k=0^m−1[q_k⁻,q_k⁺]}, where f(τ,q)=g(q)+h(q)e^−jτω*, g(q) and h(q) are both complex-valued affine functions of the m-dimensional real vector q, and ω^* is a fixed frequency. Based on this condition, an efficient algorithm which involves, in the worst case, evaluation of m algebraic inequalities and solution of m2^m−1 one-variable quadratic equations, is developed for testing the zero inclusion of the value set f(T,Q). This zero-inclusion test algorithm allows one to utilize a pivoting procedure to generate the outer boundary of a plant template with a prescribed accuracy or resolution. The proposed template generation technique has a linear computational complexity in resolution and is, therefore, more efficient than the parameter gridding and interval methods. A numerical example illustrating the proposed technique and its computational superiority over the interval method is included.     

Stabilization and H control of symmetric systems: an explicit solution

In this paper we address the H^∞ control analysis, the output feedback stabilization, and the output feedback H^∞ control synthesis problems for state-space symmetric systems. Using a particular solution of the Bounded Real Lemma for an open-loop symmetric system we obtain an explicit expression to compute the H^∞ norm of the system. For the output feedback stabilization problem we obtain an explicit parametrization of all asymptotically stabilizing control gains of state-space symmetric systems. For the H^∞ control synthesis problem we derive an explicit expression for the optimally achievable closed-loop H^∞ norm and the optimal control gains. Extension to robust and positive real control of such systems are also examined. These results are obtained from the linear matrix inequality formulations of the stabilization and the H^∞ control synthesis problems using simple matrix algebraic tools.     

Robust stabilization of infinite dimensional systems by finite dimensional controllers

The problem of robustly stabilizing an infinite dimensional system with transfer function G, subject to an additive perturbation Δ is considered. It is assumed that: G ε ₀(σ) of systems introduced by Callier and Desoer [3]; the perturbation satisfies |W₁ΔW₂| < ε, where W₁ and W₂ are stable and minimum phase; and G and G + Δ have the same number of poles in ⁺. Now write W₁GW₂=G₁ + G₁, where G₁ is rational and totally unstable and G₂ is stable. Generalizing the finite dimensional results of Glover [12] this family of perturbed systems is shown to be stabilizable if and only if ε σ_min (G^*₁)( = the smallest Hankel singular value of G^*₁). A finite dimensional stabilizing controller is then given by where 2 is a rational approximation of G₂ such that

Full-size image

) and K₁ robustly stabilizes G₁ to margin ε. The feedback system (G, K) will then be stable if |W₁ΔW₂| _∞< ε − Δ.     

On the solvability of the positive real lemma equations

In this paper, we consider the classical equations of the positive real lemma under the sole assumption that the state matrix A has unmixed spectrum: σ(A)∩σ(−A)=. Without any other system-theoretic assumption (observability, reachability, stability, etc.), we derive a necessary and sufficient condition for the solvability of the positive real lemma equations.     

A note on two-sided stochastic control problems

We consider a class of two-sided stochastic control problems. For each continuous process π_t = π_t⁺ − π_t⁻ with bounded variation, the state process (x_t) is defined by x_t = B_t + f₀^t I(x_s - a)^d_πs+ − f₀^t I(x_s a)^dπ_s−, where a is a positive constant and (B_t) is a standard Brownian motion. We show the existence of an optimal policy so as to minimize the cost function J(π) = E [f₀^∞ e^−αsX_s² ds], with discount rate α > 0, associated with π.     

Tracking control with prescribed transient behaviour for systems of known relative degree

Tracking of a reference signal (assumed bounded with essentially bounded derivative) is considered for multi-input, multi-output linear systems satisfying the following structural assumptions: (i) arbitrary—but known—relative degree, (ii) the “high-frequency gain” matrix is sign definite—but of unknown sign, (iii) exponentially stable zero dynamics. The first control objective is tracking, by the output y, with prescribed accuracy: given λ>0 (arbitrarily small), determine a feedback strategy which ensures that, for every reference signal r, the tracking error e=y-r is ultimately bounded by λ (that is, e(t)<λ for all t sufficiently large). The second objective is guaranteed output transient performance: the evolution of the tracking error should be contained in a prescribed performance funnel (determined by a function ). Both objectives are achieved by a filter in conjunction with a feedback function of the filter states, the tracking error and a gain parameter. The latter is generated via a feedback function of the tracking error and the funnel parameter . Moreover, the feedback system is robust to nonlinear perturbations bounded by some continuous function of the output. The feedback structure essentially exploits an intrinsic high-gain property of the system/filter interconnection by ensuring that, if (t,e(t)) approaches the funnel boundary, then the gain attains values sufficiently large to preclude boundary contact.     

A necessary condition for quantitative exponential stability of linear state-space systems

For an arbitrary n×n constant matrix A the two following facts are well known:

• (1/n)Re(traceA)−max_j=1,…,nRe λ_j(A)0;

• If U is a unitary matrix, one can always find a skew-Hermitian matrix A so that U=e^A.

In this note we present the extension of these two facts to the context of linear time-varying dynamical systemsAs a by-product, this result suggests that, the notion of “slowly varying state-space systems”, commonly used in literature, is mathematically not natural to the problem of exponential stability.     

Riccati equations and normalized coprime factorizations for strongly stabilizable infinite-dimensional systems

The first part of the paper concerns the existence of strongly stabilizing solutions to the standard algebraic Riccati equation for a class of infinite-dimensional systems of the form Σ(A,B,S^−1/2B^*,D), where A is dissipative and all the other operators are bounded. These systems are not exponentially stabilizable and so the standard theory is not applicable. The second part uses the Riccati equation results to give formulas for normalized coprime factorizations over H_∞ for positive real transfer functions of the form D+S^−1/2B^*(author−A)⁻¹,B.     

Universal stabilization of a class of nonlinear systems with homogeneous vector fields

Under relative-degree-one and minimum-phase assumptions, it is well known that the class of finite-dimensional, linear, single-input (u), single-output (y) systems (A,b,c) is universally stabilized by the feedback strategy u = Λ(λ)y, λ = y², where Λ is a function of Nussbaum type (the terminology “universal stabilization” being used in the sense of rendering /s(0/s) a global attractor for each member of the underlying class whilst assuring boundedness of the function λ(·)). A natural generalization of this result to a class ^k of nonlinear control systems (a,b,c), with positively homogeneous (of degree k 1) drift vector field a, is described. Specifically, under the relative-degree-one (cb ≠ 0) and minimum-phase hypotheses (the latter being interpreted as that of asymptotic stability of the equilibrium of the “zero dynamics”), it is shown that the strategy u = Λ(λ)/vby/vb^k−1y, assures ^k-universal stabilization. More generally, the strategy u = Λ(λ)exp(/vby/vb)y, assures -universal stabilization, where = _{k 1} ^k.     

A result on robust boundedness

We give conditions under which, if, for any fixed p, all the solutions of (1) enter a compact set K_p (depending on p) after a finite time, then all the solutions of (2) ‘tend to’ the moving compact set K_p(t).The differential equation (2) may be obtained when applying a time-varying control law to a system. Non-linear output tracking is concerned.This may also apply to indirect adaptive control when you design such and adaptation law that you have a priori informations about e(t), the equation error, and p(t), the parameter estimate.     

Uniform finite generation of compact Lie groups

Consider a compact connected Lie group G and the corresponding Lie algebra . Let {X₁,…,X_m} be a set of generators for the Lie algebra . We prove that G is uniformly finitely generated by {X₁,…,X_m}. This means that every element KG can be expressed as K=e^Xt₁e^Xt₂···e^Xt_l, where the indeterminates X are in the set {X₁,…,X_m}, , and the number l is uniformly bounded. This extends a previous result by F. Lowenthal in that we do not require the connected one dimensional Lie subgroups corresponding to the X_i, i=1,…,m, to be compact. We link the results to the existence of universal logic gates in quantum computing and discuss the impact on bang bang control algorithms for quantum mechanical systems.     

Generalized dilations and the stabilization of uncertain systems via measurement feedback

We study the problem of semiglobally stabilizing uncertain nonlinear system

Full-size image

, with (A,B) in Brunowski form. We prove that if p₁(z,u,t)u and p₂(z,u,t)u are of order greater than 1 and 0, respectively, with “generalized” dilation δ_l(z,u)=(l¹⁻ⁿz₁,…,l⁻¹z_n−1,z_n,lu) and uniformly with respect to t, where z_i is the ith component of z, then we can achieve semiglobal stabilization via arbitrarily bounded linear measurement feedback.     

Optimal strategies against a liar

We consider the following scenario: There are two individuals, say Q (Questioner) and R (Responder), involved in a search game. Player R chooses a number, say x, from the set S={1,…,M}. Player Q has to find out x by asking questions of type: “which one of the sets A₁,A₂,…,A_q, does x belong to?”, where the sets A₁,…,A_q constitute a partition of S. Player R answers “i” to indicate that the number x belongs to A_i. We are interested in the least number of questions player Q has to ask in order to be always able to correctly guess the number x, provided that R can lie at most e times. The case e=0 obviously reduces to the classical q-ary search, and the necessary number of questions is [log_qM]. The case q=2 and e1 has been widely studied, and it is generally referred to as Ulam's game. In this paper we consider the general case of arbitrary q2. Under the assumption that player R is allowed to lie at most twice throughout the game, we determine the minimum number of questions Q needs to ask in order to successfully search for x in a set of cardinality M=qⁱ, for any i1. As a corollary, we obtain a counterexample to a recently proposed conjecture of Aigner, for the case of an arbitrary number of lies. We also exactly solve the problem when player R is allowed to lie a fixed but otherwise arbitrary number of times e, and M=qⁱ, with i not too large with respect to q. For the general case of arbitrary M, we give fairly tight upper and lower bounds on the number of the necessary questions.     

Stabilization and decay estimate for distributed bilinear systems

In this paper, we consider the problem of feedback stabilization for the distributed bilinear system y′(t)=Ay(t)+u(t)By(t). Here A is the infinitesimal generator of a linear C⁰ semigroup of contractions on a Hilbert space H and B:H→H is a linear bounded operator. A sufficient condition for feedback stabilization is given and explicit decay estimate is established. Applications to vibrating systems are presented.     

A generalization of the Curtis–Hedlund theorem

Let A be a set and let G be a group, and equip A^G with its prodiscrete uniform structure. Let τ:A^G→A^G be a map. We prove that τ is a cellular automaton if and only if τ is uniformly continuous and G-equivariant. We also give an example showing that a continuous and G-equivariant map τ:A^G→A^G may fail to be a cellular automaton when the alphabet set A is infinite.