Strong convergence theorems for a new iterative method of -strictly pseudo-contractive mappings in Hilbert spaces

In this paper, we introduce a new iterative method of a k-strictly pseudo-contractive mapping for some 0≤k<1 and prove that the sequence {x_n} converges strongly to a fixed point of T, which solves a variational inequality related to the linear operator A. Our results have extended and improved the corresponding results of Y.J. Cho, S.M. Kang and X. Qin [Some results on k-strictly pseudo-contractive mappings in Hilbert spaces, Nonlinear Anal. 70 (2008) 1956–1964], and many others.     

Stabilization of some fractional delay systems of neutral type

In this note, we give new stability tests which enable one to fully characterize the H_∞-stability of systems with transfer function , where h>0 and p,q,r are real polynomials in the variable s^μ for 0<μ<1.As an application of this, in the case r(s)=1 and degp=degq=1, families of H_∞-stabilizing controllers are given and a complete parametrization of all H_∞-stabilizing controllers is obtained when .     

Static and output-feedback of discrete-time LTI systems with state multiplicative noise

A parameter dependent approach for designing static output-feedback controller for linear time-invariant systems with state-multiplicative noise is introduced which achieves a minimum bound on either the stochastic H₂ or the H_∞ performance levels. A solution is obtained also for the case where, in addition to the stochastic parameters, the system matrices reside in a given polytope. In this case, a parameter dependent Lyapunov function is described which enables the derivation of the required constant feedback gain via a solution of a set of linear matrix inequalities that correspond to the vertices of the uncertainty polytope.The stochastic parameters appear in both the dynamics and the input matrices of the state space model of the system. The problems are solved using the expected value of the standard performance indices over the stochastic parameters. The theory developed is demonstrated by a simple example.     

Input–output approach to stability and -gain analysis of systems with time-varying delays

Stability and L₂ (l₂)-gain of linear (continuous-time and discrete-time) systems with uncertain bounded time-varying delays are analyzed under the assumption that the nominal delay values are not equal to zero. The delay derivatives (in the continuous-time) are not assumed to be less than q<1. An input–output approach is applied by introducing a new input–output model, which leads to effective frequency domain and time domain criteria. The new method significantly improves the existing results for delays with derivatives not greater than 1, which were treated in the past as fast-varying delays (without any constraints on the delay derivatives). New bounded real lemmas (BRLs) are derived for systems with state and objective vector delays and norm-bounded uncertainties. Numerical examples illustrate the efficiency of the new method.     

Limitations of nonlinear discrete periodic control for disturbance attenuation and robust stabilization

This paper presents a performance analysis of nonlinear periodically time-varying discrete controllers acting upon a linear time-invariant discrete plant. Time-invariant controllers are distinguished from strictly periodically time-varying controllers. For a given nonlinear periodic controller, a time-invariant controller is constructed. Necessary and sufficient conditions are given under which the time-invariant controller gives strictly better control performance than the time-invariant controller from which it was obtained, for the attenuation of l_p exogenous disturbances and the robust stabilization of l_p unstructured perturbations, for all p[1,∞].     

Delay-dependent robust stability and control for jump linear systems with delays

This paper considers robust stochastic stability, stabilization and H_∞ control problems for a class of jump linear systems with time delays. By using some zero equations, neither model transformation nor bounding for cross terms is required to obtain the delay-dependent results, which are given in terms of linear matrix inequalities (LMIs). Maximum sizes of time delays are also studied for system stability. Furthermore, solvability conditions and corresponding H_∞ control laws are given which provide robust stabilization with a prescribed H_∞ disturbance attenuation level. Numerical examples show that the proposed methods are much less conservative than existing results.     

Isolation concepts for efficiently enumerating dense subgraphs

In an undirected graph G=(V,E), a set of k vertices is called c-isolated if it has less than ck outgoing edges. Ito and Iwama [H. Ito, K. Iwama, Enumeration of isolated cliques and pseudo-cliques, ACM Transactions on Algorithms (2008) (in press)] gave an algorithm to enumerate all c-isolated maximal cliques in O(4^cc⁴|E|) time. We extend this to enumerating all maximal c-isolated cliques (which are a superset) and improve the running time bound to O(2.89^cc²|E|), using modifications which also facilitate parallelizing the enumeration. Moreover, we introduce a more restricted and a more general isolation concept and show that both lead to faster enumeration algorithms. Finally, we extend our considerations to s-plexes (a relaxation of the clique notion), providing a W[1]-hardness result when the size of the s-plex is the parameter and a fixed-parameter algorithm for enumerating isolated s-plexes when the parameter describes the degree of isolation.     

Reduced-order filtering for singular systems

This paper solves the problem of reduced-order H_∞ filtering for singular systems. The purpose is to design linear filters with a specified order lower than the given system such that the filtering error dynamic system is regular, impulse-free (or causal), stable, and satisfies a prescribed H_∞ performance level. One major contribution of the present work is that necessary and sufficient conditions for the solvability of this problem are obtained for both continuous and discrete singular systems. These conditions are characterized in terms of linear matrix inequalities (LMIs) and a coupling non-convex rank constraint. Moreover, an explicit parametrization of all desired reduced-order filters is presented when these inequalities are feasible. In particular, when a static or zeroth-order H_∞ filter is desired, it is shown that the H_∞ filtering problem reduces to a convex LMI problem. All these results are expressed in terms of the original system matrices without decomposition, which makes the design procedure simple and directly. Last but not least, the results have generalized previous works on H_∞ filtering for state-space systems. An illustrative example is given to demonstrate the effectiveness of the proposed approach.     

Dual periodicity in -norm minimisation problems

The topic of this paper is the discrete-time l₁-norm minimisation problem with convolution constraints. We find primal initial conditions for which the dual optimal solution is periodic. Periodicity of the dual optimal solution implies satisfaction of a simple linear recurrence relation by the primal optimal solution.     

control for fast sampling discrete-time singularly perturbed systems

This paper is concerned with the H_∞ control problem via state feedback for fast sampling discrete-time singularly perturbed systems. A new H_∞ controller design method is given in terms of solutions to linear matrix inequalities (LMIs), which eliminates the regularity restrictions attached to the Riccati-based solution. A method for evaluating the upper bound of singular perturbation parameter with meeting a prescribed H_∞ performance bound requirement is also given. Furthermore, the results are extended to robust controller design for fast sampling discrete-time singularly perturbed systems with polytopic uncertainties. Numerical examples are given to illustrate the validity of the proposed methods.     

New applications of clique separator decomposition for the Maximum Weight Stable Set problem

Graph decompositions such as decomposition by clique separators and modular decomposition are of crucial importance for designing efficient graph algorithms. Clique separators in graphs were used by Tarjan as a divide-and-conquer approach for solving various problems such as the Maximum Weight Stable Set (MWS) problem, Colouring and Minimum Fill-in. The basic tool is a decomposition tree of the graph whose leaves have no clique separator (so-called atoms), and the problem can be solved efficiently on the graph if it is efficiently solvable on its atoms. We give new examples where the clique separator decomposition works well for the MWS problem; our results improve and extend various recently published results. In particular, we describe the atom structure for some new classes of graphs whose atoms are P₅-free (the P₅ is the induced path with five vertices) and obtain new polynomial time results for the MWS problem. The complexity of this problem on the class of P₅-free graphs is still unknown.     

Shape-preserving interpolation of irregular data by bivariate curvature-based cubic splines in spherical coordinates

We investigate C¹-smooth bivariate curvature-based cubic L₁ interpolating splines in spherical coordinates. The coefficients of these splines are calculated by minimizing an integral involving the L₁ norm of univariate curvature in four directions at each point on the unit sphere. We compare these curvature-based cubic L₁ splines with analogous cubic L₂ interpolating splines calculated by minimizing an integral involving the square of the L₂ norm of univariate curvature in the same four directions at each point. For two sets of irregular data on an equilateral tetrahedron with protuberances on the faces, we compare these two types of curvature-based splines with each other and with cubic L₁ and L₂ splines calculated by minimizing the L₁ norm and the square of the L₂ norm, respectively, of second derivatives. Curvature-based cubic L₁ splines preserve the shape of irregular data well, better than curvature-based cubic L₂ splines and than second-derivative-based cubic L₁ and L₂ splines. Second-derivative-based cubic L₂ splines preserve shape poorly. Variants of curvature-based L₁ and L₂ splines in spherical and general curvilinear coordinate systems are outlined.     

A method of predicting the number of clusters using Rand's statistic

Distributional and asymptotic results on the moment of Rand's C_k statistic were derived by DuBien and Warde [1981. Some distributional results concerning a comparative statistic used in cluster analysis. ASA Proceedings of the Social Statistics Section, 309–313.]. Based on those results, a method to predict the number of clusters is suggested by applying various agglomerative clustering algorithms. In the procedure, the methods using different indexes are examined and compared based on the concept of agreement (or, disagreement) between clusterings generated by different clustering algorithms on the set of data. Our method having practical generality works better than the other methods and assigns statistical meaning to C_k values in determining the number of clusters from the comparison.     

On global solutions to fractional functional differential equations with infinite delay in Fréchet spaces

In this paper, we investigate global uniqueness results for fractional functional differential equations with infinite delay in Fréchet spaces. We shall rely on a nonlinear alternative of Leray-Schauder type in Fréchet spaces due to Frigon and Granas. The results are obtained by using the α-resolvent family (S_α(t))_t≥0 on a complex Banach space X combined with the above-mentioned fixed point theorem. As an application, a controllability result with one parameter is also provided to illustrate the theory.     

The complete inclusion structure of leaf power classes

Let k≥2 be an integer and G=(V,E) be a finite simple graph. A tree T is a k-leaf root of G, if V is the set of leaves of T and, for any two distinct x,yV, the distance between x and y in T is at most k if and only if xyE. We say that G is a k-leaf power if there is a k-leaf root of G. The main result of this paper is that, for all 2≤k<k^′, the classes of k- and k^′-leaf powers are inclusion-incomparable, if and only if k^′≤2k−3 and k^′−k is an odd number. With this result, an open problem from the literature about the inclusion structure of these graph classes is solved completely. In addition, the intersection of the smallest pair of inclusion-incomparable classes is studied.     

Stability, robust stabilization and control of singular-impulsive systems via switching control

In this paper, stability, robust stabilization and H_∞ control of singular-impulsive systems are studied. Some new fundamental properties are derived for switched singular systems subject to impulse effects. Applying the Lyapunov function theory, several sufficient conditions are established for exponential stability, robust stabilization and H_∞ control of the corresponding singular-impulsive closed-loop systems. Some numerical examples are given to demonstrate the effectiveness of the proposed control and stabilization methods.     

Suboptimal robust synthesis for MIMO plant under coprime factor perturbations

Suboptimal robust synthesis for MIMO nominal system under coprime factor perturbations is considered in classical and non-classical statements. In the classical statement, weights of perturbations and upper bound on magnitude bounded exogenous disturbance are assumed to be known to controller designer. Suboptimal synthesis within ε tolerance is reduced to the solution of log₂(1/ε) standard mixed sensitivity problems of ℓ₁ optimization. In the non-classical statement, the upper bounds on perturbations and exogenous disturbance are to be estimated from measurement data and suboptimal synthesis is reduced to the solution of 1/ε mixed sensitivity problems.     

-admissibility of the right-shift semigroup on

It is shown that the right-shift semigroup on does not satisfy the weighted Weiss conjecture for α(0,1). In other words, α-admissibility of scalar valued observation operators cannot always be characterised by a simple resolvent growth condition. This result is in contrast to the unweighted case, where 0-admissibility can be characterised by a simple growth bound. The result is proved by providing a link between discrete and continuous α-admissibility and then translating a counterexample for the unilateral shift on to continuous time systems.     

Stability of iterative processes with errors for a system of nonlinear -accretive variational inclusions in Banach spaces

In this paper, by using the concept of (A,η)-accretive mappings and the new resolvent operator technique associated with (A,η)-accretive mappings, we introduce and study a system of general mixed quasivariational inclusions involving (A,η)-accretive mappings in Banach spaces, and construct a new perturbed iterative algorithm with mixed errors for this system of nonlinear (A,η)-accretive variational inclusions in q-uniformly smooth Banach spaces. Our results improve and generalize the corresponding results of recent works.