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.     

Triple positive solutions of a boundary value problem for nonlinear singular second-order differential equations of mixed type with -Laplacian

In this paper, we establish the existence of triple positive solutions of a two-point boundary value problem for the nonlinear singular second-order differential equations of mixed type with a p-Laplacian operator. We also demonstrate that the results obtained can be applied to study certain higher order mixed boundary value problems. Finally, an example is given to demonstrate the use of the main results of this paper.     

Eventual regularity of the semigroup associated with the mono-tubular heat exchanger equation with output feedback

This paper is concerned with the regularity of the mono-tubular heat exchanger equation with output feedback. By approach of spectrum analysis, it is shown that the semigroup generated by the closed-loop operator consisting of the mono-tubular heat exchanger equation and the output feedback law is eventually differentiable and eventually compact.     

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.     

Control design in the time and frequency domain using nonsmooth techniques

Significant progress in control design has been achieved by the use of nonsmooth and semi-infinite mathematical programming techniques. In contrast with LMI or BMI approaches, these new methods avoid the use of Lyapunov variables, which gives them two major strategic advances over matrix inequality methods. Due to the much smaller number of decision variables, they do not suffer from size restrictions, and they are much easier to adapt to structural constraints on the controller. In this paper, we further develop this line and address both frequency- and time-domain design specifications by means of a nonsmooth algorithm general enough to handle both cases. Numerical experiments are presented for reliable or fault-tolerant control, and for time response shaping.     

Poincaré–Birkhoff–Witt theorem for Leibniz -algebras

We construct the universal enveloping algebra of a Leibniz n-algebra and we prove that the category of modules over this algebra is equivalent to the category of representations.We also give a proof of the Poincaré–Birkhoff–Witt theorem for universal enveloping algebras of finite-dimensional Leibniz n-algebras using Gröbner bases in a free associative algebra.     

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.     

A class of iterative methods for solving nonsymmetric algebraic Riccati equations arising in transport theory

In this paper, we consider the nonsymmetric algebraic Riccati equation arising in transport theory. An important feature of this equation is that its minimal positive solution can be obtained via computing the minimal positive solution of a vector equation. We propose a class of iterative methods to solve the vector equation. The convergence analysis shows that the sequence of vectors generated by iterative methods with two kinds of specific iterative matrices is monotonically increasing and converges to the minimal positive solution of the vector equation. Numerical experiments show that the new methods outperform the modified simple iterative method and Newton’s method.     

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.     

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,∞].     

Approximation by Bézier type of Meyer–König and Zeller operators

In this paper, we give direct, inverse and equivalence approximation theorems for the Bézier type of Meyer–König and Zeller operator with unified Ditzian–Totik modulus ω_φ^λ(f,t) (0≤λ≤1).     

control with limited communication and message losses

We propose an H^∞ approach to a remote control problem where the communication is constrained due to the use of a shared channel. The controller employs a periodic time sequencing scheme for message transmissions from multiple sensors and to multiple actuators of the system. It further takes into account the information on the random message losses that occur in the channel. An exact characterization for controller synthesis is obtained and is stated in terms of linear matrix inequalities. Furthermore, an analysis on the loss probabilities of the messages to accomplish stabilization is carried out. The results are illustrated through a numerical example.     

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.     

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.     

Robust nonblocking supervisory control of discrete-event systems under partial observation

In this paper, we examine the problem of robust nonblocking supervisory control. In the problem considered here, the exact model of the plant is not known but is assumed to be among a finite set of possible models. For each plant model a legal marked behavior is assumed given. We extend previous results for the case of control with full observation to the case of control under partial observation where only a subset of events are observable. Furthermore, we remove the limitations of previous results on ensuring the nonblocking property of the plant under supervision. We characterize the entire set of solutions of the robust control problem and obtain a set of necessary and sufficient conditions for the existence of a solution for the problem. As an illustrative example, we use our results on robust control to solve a fault recovery problem.     

estimation for discrete-time piecewise homogeneous Markov jump linear systems

This paper concerns the problem of H_∞ estimation for a class of Markov jump linear systems (MJLS) with time-varying transition probabilities (TPs) in discrete-time domain. The time-varying character of TPs is considered to be finite piecewise homogeneous and the variations in the finite set are considered to be of two types: arbitrary variation and stochastic variation, respectively. The latter means that the variation is subject to a higher-level transition probability matrix. The mode-dependent and variation-dependent H_∞ filter is designed such that the resulting closed-loop systems are stochastically stable and have a guaranteed H_∞ filtering error performance index. Using the idea in the recent studies of partially unknown TPs for the traditional MJLS with homogeneous TPs, a generalized framework covering the two kinds of variations is proposed. A numerical example is presented to illustrate the effectiveness and potential of the developed theoretical results.     

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

Existence and uniqueness theorems for fourth-order singular boundary value problems

By constructing a special cone and using cone compression and expansion fixed point theorem, the existence and uniqueness are established for the following singular fourth-order boundary value problems:

where f(t,x,y) may be singular at t=0,1; x=0 and y=0.     

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.