Delay-range-dependent robust H filtering for uncertain stochastic systems with mode-dependent time delays and Markovian jump parameters

This paper investigates the problem of robust H^∞ filtering for uncertain stochastic time-delay systems with Markovian jump parameters. Both the state dynamics and measurement of the system are corrupted by Wiener processes. The time delay varies in an interval and depends on the mode of operation. A Markovian jump linear filter is designed to guarantee robust exponential mean-square stability and a prescribed disturbance attenuation level of the resulting filter error system. A novel approach is employed in showing the robust exponential mean-square stability. The exponential decay rate can be directly estimated using matrices of the Lyapunov-Krasovskii functional and its derivative. A delay-range-dependent condition in the form of LMIs is derived for the solvability of this H^∞ filtering problem, and the desired filter can be constructed with solutions of the LMIs. An illustrative numerical example is provided to demonstrate the effectiveness of the proposed approach.     

Robust finite-time H∞ control for a class of uncertain switched neutral systems

This paper investigates the robust finite-time H_∞ control problem for a class of uncertain switched neutral systems with unknown time-varying disturbance. The uncertainties under consideration are norm bounded. By using the average dwell time approach, a sufficient condition for finite-time boundedness of switched neutral systems is derived. Then, finite-time H_∞ performance analysis for switched neutral systems is developed, and a robust finite-time H_∞ state feedback controller is proposed to guarantee that the closed-loop system is finite-time bounded with H_∞ disturbance attenuation level γ. All the results are given in terms of linear matrix inequalities (LMIs). Finally, two numerical examples are provided to show the effectiveness of the proposed method.     

On some special codes over Fp + uFp + uFp

We define a new map between codes over F_p + uF_p + u²F_p and F_p which is different to that defined in [2]. It is proved that the image of the linear cyclic code over the commutative ring F_p + uF_p + u²F_p with length n under this map is a distance-invariant quasi-cyclic code of index p² with length p²n over F_p. Moreover, it is proved that, if (n, p) = 1, then every code with length p²n over F_p which is the image of a linear (1 − u²)-cyclic code with length n over F_p + uF_p + u²F_p under this map is permutation equivalent to a quasi-cyclic code of index p².     

Robust H∞ control for linear Markovian jump systems with unknown nonlinearities

This paper studies the problem of stochastic stability and disturbance attenuation for a class of linear continuous-time uncertain systems with Markovian jumping parameters. The uncertainties are assumed to be nonlinear and state, control and external disturbance dependent. A sufficient condition is provided to solve the above problem. An H_∞ controller is designed such that the resulting closed-loop system is stochastically stable and has a disturbance attenuation γ for all admissible uncertainties. It is shown that the control law is in terms of the solutions of a set of coupled Riccati inequalities. A numerical example is included to demonstrate the potential of the proposed technique.     

Generalized Arf invariants in algebraic L-theory

The difference between the quadratic L-groups L_*(A) and the symmetric L-groups L^*(A) of a ring with involution A is detected by generalized Arf invariants. The special case A=Z[x] gives a complete set of invariants for the Cappell UNil-groups UNil_*(Z;Z,Z) for the infinite dihedral group D_∞=Z₂*Z₂, extending the results of Connolly and Ranicki [Adv. Math. 195 (2005) 205-258], Connolly and Davis [Geom. Topol. 8 (2004) 1043-1078, e-print http://arXiv.org/abs/math/0306054].     

Inequalities between ∥f(A + B)∥ and ∥f(A) + f(B)∥

The conjecture posed by Aujla and Silva [J.S. Aujla, F.C. Silva, Weak majorization inequalities and convex functions, Linear Algebra Appl. 369 (2003) 217-233] is proved. It is shown that for any m-tuple of positive-semidefinite n × n complex matrices A_j and for any non-negative convex function f on [0, ∞) with f(0) = 0 the inequality ?f(A₁) + f(A₂) + ? + f(A_m)? ? ? f(A₁ + A₂ + ? + A_m)? holds for any unitarily invariant norm ? · ?. It is also proved that ?f(A₁) + f(A₂) + ? + f(A_m)? ? f(?A₁ + A₂ + ? + A_m?), where f is a non-negative concave function on [0, ∞) and ? · ? is normalized.     

Robust finite-time H∞ control of singular stochastic systems via static output feedback

This paper addresses the problem of robust finite-time stabilization of singular stochastic systems via static output feedback. Firstly, sufficient conditions of singular stochastic finite-time boundedness on static output feedback are obtained for the family of singular stochastic systems with parametric uncertainties and time-varying norm-bounded disturbance. Then the results are extended to singular stochastic H_∞ finite-time boundedness for the class of singular stochastic systems. Designed algorithm for static output feedback controller is provided to guarantee that the underlying closed-loop singular stochastic system is singular stochastic H_∞ finite-time boundedness in terms of strict linear matrix equalities with a fixed parameter. Finally, an illustrative example is presented to show the validity of the developed methodology.     

Contractive projections with contractive complement in Lp space

Using the concepts of conditional expectation and independence of subalgebras, we characterize those contractive projections, P, on L_p, over a probability measure space, having the property that I − P is contractive. By contractive projection we mean a linear operator, P, on the Lebesgue space, L_p, 1 < p < ∞, ≠2, with P² = P, ∥ = 1.     

Resolution, in L-spaces, of transmission problems set in an unbounded domains

The goal of this work is to give a complete study of some abstract transmission problems (P^δ), for every δ > 0, set in unbounded domain composed of a half-line ]−∞, 0[ and a thin layer ]0, δ[. Existence and uniqueness results are obtained for strict solutions in UMD Banach spaces, by using essentially the semigroup theory and the Dore-Venni’s Theorem given in [8].     

Copies of c0(Г) and ?∞(Г)/c0(Г) in quotients of Banach spaces with applications to Orlicz and Marcinkiewicz spaces

Let X be a Banach space, let Y be its subspace, and let Г be an infinite set. We study the consequences of the assumption that an operator T embeds ?_221E;(Г) into X isomorphically with T(c₀(Г)) ⊂ Y. Under additional assumptions on T we prove the existence of isomorphic copies of c₀(Г^ℵ0) in X/Y, and complemented copies ?_∞(Г) in X/Y. In concrete cases we obtain a new information about the structure of X/Y. In particular, L∞[O,1]/C[O,1] contains a complemented copy of ?_∞/c₀, and some natural (lattice) quotients of real Orlicz and Marcinkiewicz spaces contain lattice-isometric and positively I-complemented copies of(real) ?_∞/c₀.     

Bundle convergence of sequences of pairwise uncorrelated operators in von Neumann algebras and vectors in their L2-spaces

Let H be a separable complex Hilbert space, A a von Neumann algebra in ?(H),a faithful, normal state on A. We prove that if a sequence (X_n: n ≥ 1) of uncorrelated operators in A is bundle convergent to some operator X in A and Σ^∞_n=1n⁻² Var(X_n) log²(n + 1) < ∞, then X is proportional to the identity operator on H. We also prove an analogous theorem for certain uncorrelated vectors in the completion L₂=L₂(A,φ) of A given by the Gelfand-Naimark-Segal representation theorem. Both theorems were motivated by a recent one proved by Etemadi and Lenzhen in the classical commutative setting.     

A two-unit general parallel system with (n − 2) cold standbys—Analytic and simulation approach

A parallel (2, n − 2)-system is investigated here where two units start their operation simultaneously and any one of them is replaced instantaneously upon its failure by one of the (n − 2) cold standbys. We assume availability of n non-identical, non-repairable units for replacement or support. The system reliability is evaluated by recursive relations with unit-lifetimes T_i (i = 1, … , n) that have a general joint distribution function F(t). On the basis of the derived expression, simulation techniques have been developed for the evaluation of the system reliability and the mean time to failure, useful when dealing with large systems or correlated unit-lifetimes and less mathematically manageable distributions. Simulation results are presented for various lifetime distributions and comparisons are made with derived analytic results for some special distributions and moderate values of n.     

Robust H ∞ Filtering for a Class of Nonlinear Discrete-Time Markovian Jump Systems

This paper considers the problem of the robust H filtering for a class of nonlinear discrete-time Markovian jump systems with real time-varying norm-bounded parameter uncertainty. For each mode, the nonlinearity is assumed to satisfy the global Lipschitz conditions and appears in both the state and measured output equations. The problem that we address is the design of a nonlinear filter which ensures robust stochastic stability and a prescribed H performance level of the filtering error system for all admissible uncertainties. A sufficient condition for the solvability of this problem is obtained in terms of a set of linear matrix inequalities; an explicit expression of a desired nonlinear H filter is also given. Finally, an example is provided to demonstrate the effectiveness of the proposed approach.     

Topological André-Quillen Cohomology and E∞ André-Quillen Cohomology

We show that the André-Quillen cohomology of an E_∞ simplicial algebra with arbitrary coefficients and the topological André-Quillen cohomology of an E_∞ ring spectrum with Eilenberg-Mac Lane coefficients may be calculated as the André-Quillen cohomology of an associated E_∞ differential graded algebra.     

On two perturbation estimates of the extreme solutions to the equations X ± A*XA = Q

Two perturbation estimates for maximal positive definite solutions of equations X + A*X⁻¹A = Q and X − A*X⁻¹A = Q are considered. These estimates are proved in [Hasanov et al., Improved perturbation Estimates for the Matrix Equations X ± A*X⁻¹A = Q, Linear Algebra Appl. 379 (2004) 113-135]. We derive new perturbation estimates under weaker restrictions on coefficient matrices of the equations. The theoretical results are illustrated by numerical examples.     

Robust fault detection of Markovian jump systems with different system modes

This paper deals with the robust fault detection filter (RFDF) design problems for uncertain nonlinear Markovian jump systems with unknown input. By using a observer-based fault detection filter as residual generator, the RFDF design is formulated as an _H∞$H_{\infty }$-filtering problem. Particularly, two different Markov processes are considered for modeling the randomness of system matrix and the state delay. With the aid of the weighting matrix function, the design objective is to find an optimal RFDF, which results in a minimal difference between the reference model and the RFDF to be designed. By using a new convex polyhedron technique and two mode-dependent Lyapunov functional, some new sufficient conditions are established in terms of delay-dependent linear matrix inequalities (LMIs) to synthesize the residual generation scheme. Finally, a numerical example is given to illustrate the effectiveness of the proposed techniques.     

A landau-type construction concerning (L)′ ⊂ L

Let 1 ? p < ∞ and 1/p + 1/q = 1. For a locally finite measure space (X, S, μ) and a measurable complex-valued function f ∉ L^q functions g ∈ L^p may be constructed explicitly which satisfy

     

Robust partially mode‐dependent H∞ filtering for discrete‐time nonhomogeneous Markovian jump neural networks with additive gain perturbations

This paper studies the robust partially mode‐dependent H_∞ filtering for nonhomogeneous Markovian jump neural networks with additive gain perturbations. The discrete time‐varying jump transition probability matrix is considered to be a polytope set. A partially mode‐dependent filter with additive gain perturbations is constructed to increase the robustness of the filter, which is subjects to H_∞ performance index. Based on the Lyapunov function approach, sufficient conditions are established such that the filtering error system is robustly stochastically stable. The efficiency of the new technique is illustrated by an illustrative example and a biological network example.     

Special exact soliton solutions for the K(2, 2) equation with non-zero constant pedestal

Special exact solutions of the K(2, 2) equation, u_t + (u²)_x + (u²)_xxx = 0, are investigated by employing the qualitative theory of differential equations. Our procedure shows that the K(2, 2) equation either has loop soliton, cusped soliton and smooth soliton solutions when sitting on the non-zero constant pedestal lim_x→±∞u = A ≠ 0, or possesses compacton solutions only when lim_x→±∞u = 0. Mathematical analysis and numerical simulations are provided for these soliton solutions of the K(2, 2) equation.