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.     

Characterizations of distributions of exponential or geometric type by the integrated lack of memory property and record values

Let be a sequence of i.i.d. random variables, the sequence of its upper record values (i.e. L(0) = 1, L(n) = inf{jX_j>X_L(n−1} for n≥1). Without any assumptions to the support of P^X₁ the equidistribution of X₁ and a record increment X_L(n − X_L(n−1), n ≥ 1 yields X₁ to be either exponentially or geometrically distributed according to whether the additive subgroup generated by the support of P^X₁ is dense or a lattice in . The integrated lack of memory property can easily be reduced to the above problem for the case n = 1. Similarly the independence of X_L(n−1) and X_L(n) − X_L(n−1) for some n>1 characterizes X₁ to have e exponential or a geometric tail provided that the support of P^X₁ is bounded to the left and its right extremity no atom. Hence, if also its left extremity is no atom the independence of X_L(n−1) and X_L(n−1) − X_L(n−1) characterizes X₁ to be exponentially distributed.     

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

Empirical Bayes estimation of the scale parameter in a Pareto distribution

Let f(xθ) = αθ^αx^−(α+1)I(x>θ) be the pdf of a Pareto distribution with known shape parameter α>0, and unknown scale parameter θ. Let {(X_i, θ_i)} be a sequence of independent random pairs, where X_i's are independent with pdf f(xα_i), and θ_i are iid according to an unknown distribution G in a class of distributions whose supports are included in an interval (0, m), where m is a positive finite number. Under some assumption on the class and squared error loss, at (n + 1)th stage we construct a sequence of empirical Bayes estimators of θ_n+1 based on the past n independent observations X₁,…, X_n and the present observation X_n+1. This empirical Bayes estimator is shown to be asymptotically optimal with rate of convergence O(n^−1/2). It is also exhibited that this convergence rate cannot be improved beyond n^−1/2 for the priors in class .     

On the non-existence of stationary diffusions which satisfy the Bene condition

The one-dimensional diffusion x_t satisfying dx_t = f(x_t)dt + dw_t, where w_t is a standard Brownian motion and f(x) satisfies the Bene condition f′(x) + f²(x) = ax² + bx + c for all real x, is considered. It is shown that this diffusion does not admit a stationary probability measure except for the linear case f(x) = αx + β, α < 0.     

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.     

Single quantum dot-micelles coated with gemini surfactant for selective recognition of a cation and an anion in aqueous solutions

The synthesis of quantum dot coated with cetyltrimethyl ammonium bromide (CTAB) and gemini surfactant [C₁₂H₂₅N⁺(CH₃)₂(CH₂)₄(CH₃)₂N⁺C₁₂H₂₅]·2Br⁻ (C_12-4-12) in aqueous solution have been described. It is characterized by photoluminescent spectroscopy, UV–vis spectroscopy and transmission electron microscopy (TEM), etc. In comparison with CTAB-coated QDs, the QDs coated with C_12-4-12 respond selectively to both transition metal ion copper and fluoride ion in aqueous media. When Cu²⁺ is bound to C_12-4-12-coated QD micelles, the fluorescence intensity is quenched. Linear relationships are found between the relative fluorescence intensity and the concentration of Cu²⁺ in the range 0–500 μM, which is best described by a Stern–Volmer-type equation. Meanwhile, it is found that F⁻ enhanced the luminescence of the C_12-4-12-coated QD micelles in a concentration dependence that is described by a Langmuir binding isotherm equation in the range 0–300 μM. The limits of detection of Cu²⁺ and F⁻ are 1.1 and 0.68 μM, respectively. The possible mechanism is discussed.     

Monotonicity of maximal solutions of algebraic Riccati equations

A monotonicity result for the maximal solution of the equation XBB^*X − A^*X − XA − Q = 0, Q = Q^*, (A, B) stabilizable, is proved.     

On input-output linearization of discrete-time nonlinear systems

We consider a nonlinear discrete-time system of the form Σ: x(t+1)=f(x(t), u(t)), y(t) =h(x(t)), where x ε R^N, u ε R^m, y ε R^q and f and h are analytic. Necessary and sufficient conditions for local input-output linearizability are given. We show that these conditions are also sufficient for a formal solution to the global input-output linearization problem. Finally, we show that zeros at infinity of ε can be obtained by the structure algorithm for locally input-output linearizable systems.     

Existence of triple positive solutions of two-point right focal boundary value problems on time scales

We consider the following boundary value problem, (−1)ⁿ⁻¹y^Δn(t)=(−1)^p+1F(t,y(σⁿ⁻¹(t))),t[a,b]∩T, y^Δn(a)=0,0≤i≤p−1, y^Δn(σ(b))=0,p≤i≤n−1,where n ≥ 2, 1 ≤ p ≤ n - 1 is fixed and T is a time scale. By applying fixed-point theorems for operators on a cone, existence criteria are developed for triple positive solutions of the boundary value problem. We also include examples to illustrate the usefulness of the results obtained.     

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.     

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.     

Decoupling of continuous-time linear time-invariant systems using generalized sampled-data hold functions

We investigate the possibility of input-output decoupling without stability a square continuous-time LTI plant (C, A, B) by designing discrete devices, the generalized sampled-data hold functions. By adopting sequential design procedures for the resulting diagonalizing problem, two cases are found to be solvable and yield nontrivial solutions: (1) CB nonsingular; (2) mn2m, rk(CB)=n-m where n, m are the number of states and inputs (outputs) respectively; C=I_n-C^T(CC^T)⁻¹C.     

An alternative solution to the H∞-optimal control problem

In this paper we present an alternative solution to the problem min _{X ε H^n×n∞} |A + BXC|_∞ where A, B, rmand C are rational matrices in H^n×n_∞. The solution circumvents the need to extract the matrix inner factors of B and C, providing a multivariable extension of Sarason's H^∞-interpolation theory [1] to the case of matrix-valued B(s) and C(s). The result has application to the diagonally-scaled optimization problem int |D(A + BXC)D⁻¹|_∞, where the infimum is over D, X εH^n×n_∞, D diagonal.     

System Reduction and Solution Algorithms for Singular Linear Difference Systems under Rational Expectations

A first-order linear difference system under rational expectations is, AEy_t+1|I_t=By_t+C(F)Ex_t|I_t , where y_t is a vector of endogenous variables;x_t is a vector ofexogenous variables; Ey_t+1|I_t is the expectation ofy_t+1 givendate t information; and C(F)Ex_t|I_t =C₀x_t+C₁Ex_t+1|I_t+dot;s +C_nEx_t+n|I_t. If the model issolvable, then y_t can be decomposed into two sets of variables:dynamicvariables d_t that evolve according toEd_t+1|I_t = Wd_t + ¶si_d(F)Ex_t|I_t and other variables thatobey the dynamicidentities f_t =–Kd_t–¶si_f(F)Ex_t|I_t. We developan algorithm for carrying out this decomposition and for constructing theimplied dynamic system. We also provide algorithms for (i) computing perfectforesight solutions and Markov decision rules; and (ii) solutions to relatedmodels that involve informational subperiods.     

Semiparametric analysis of survival data with left truncation and right censoring

Let T, C and V denote the lifetime, censoring and truncation variables, respectively. Assume that (C,V) is independent of T and P(C≥V)=1. Let F, Q and G denote the common distribution functions of T, C and V, respectively. For left-truncated and right-censored (LTRC) data, one can observe nothing if T<V and observe (X,δ,V), with X=min(T,C) and δ=I_[T≤C], if T≥V. For LTRC data, the truncation product-limit estimate is the maximum likelihood estimate (MLE) for nonparametric models. If the distribution of V is parameterized as G(x;θ) and the distributions of T and C are left unspecified, the product-limit estimate is not the MLE for this semiparametric model. In this article, for LTRC data, two semiparametric estimates are proposed for the semiparametric model. A simulation study is conducted to compare the performances of the two semiparametric estimators against that of . The proposed semiparametric method is applied to a Channing House data.     

Necessary and sufficient conditions on Q ( = C( I + PC)) for stabilization of the linear feedback system S(P, C)

We find the following necessary and sufficient conditions for Q (:=C(I+PC)⁻¹) to -stabilize the standard linear time-invariant unity feedback system S(P, C) where P has the l.c.f. (D_pl, N_pl) and the r.c.f. (N_pr, D_pr); and is a principal ideal domain. (i) Q must have elements in (ii) (resp. (iii)) Q must factorize in with D_pr, (resp. D_pl) as a left (resp. right) factor and (iv) (I – QP) must factor in with D_pr, as a left factor.     

Oscillation criteria of certain nonlinear partial difference equations

This paper is concerned with the nonlinear partial difference equation with continuous variables

,where a, σ_i, τ_i are positive numbers, h_i(x, y, u) ε C(R⁺ × R⁺ × R, R), uh_i(x, y, u) > 0 for u ≠ 0, h_i is nondecreasing in u, i = 1, …, m. Some oscillation criteria of this equation are obtained.     

Filtering of some nonlinear diffusions satisfying the general Bene condition

Under some regularity assumptions and the following generalization of the well-known Bene condition [1]:

Full-size image

, where F(t,z) = g⁻²(t)∫f(t,z)dz, F_t, F_z, F_zz, are partial derivatives of F, we obtain explicit formulas for the unnormalized conditional density q_t(z, x) α Px_t ε dz| y_s, 0 st, where diffusion x_t on R¹ solves x₀ = x, dx_t = [β(t) + α(t)x_t + f(t, x_t] dt + g(t) dw₁, and observation y_t = ∫_o^th(s)x_s ds + ∫_o^t(s) dw_2t, with w = (w₁, w₂) a two-dimensional Wiener process.     

The asymptotic self-similar behavior for the quasilinear heat equation with nonlinear boundary condition

In this paper the quasilinear heat equation with the nonlinear boundary condition is studied. The blow-up rate and existence of a self-similar solution are obtained. It is proved that the rescaled function

v(y,t)=(T−t)^{1/(2p+α−2)}u((T−t)^{(p−1)/(2p+α−2)}y,t),