Constrained stabilization problems for discrete‐time linear plants

In this paper we study discrete‐time linear systems with full or partial constraints on both input and state. It is shown that the solvability conditions of stabilization problems are closely related to important concepts, such as the right‐invertibility of the constraints, the location of constraint invariant zeros and the order of constraint infinite zeros. The main results show that for right‐invertible constraints the order of constrained infinite zeros cannot be greater than one in order to achieve global or semi‐global stabilization. This is in contrast to the continuous‐time case. Controllers for both state feedback and measurement feedback are constructed in detail. Issues regarding non‐right invertible constraints are discussed as well. Copyright © 2004 John Wiley & Sons, Ltd.     

STABILIZATION AND H∞ CONTROL FOR UNCERTAIN STOCHASTIC TIME‐DELAY SYSTEMS VIA NON‐FRAGILE CONTROLLERS

This paper considers the problems of robust non‐fragile stochastic stabilization and H_∞ control for uncertain time‐delay stochastic systems with time‐varying norm‐bounded parameter uncertainties in both the state and input matrices. Attention is focused on the design of memoryless state feedback controllers which are subject to norm‐bounded uncertainties. For both the cases of additive and multiplicative controller uncertainties, delay‐independent sufficient conditions for the solvability of the above problems are obtained. The desired state feedback controller can be constructed by solving a certain linear matrix inequality.     

Pseudo‐predictor feedback control of discrete‐time linear systems with a single input delay

This paper studies the problems of stabilization of discrete‐time linear systems with a single input delay. By developing the methodology of pseudo‐predictor feedback, which uses the (artificial) closed‐loop system dynamics to predict the future state, memoryless state feedback control laws are constructed to solve the problem. Necessary and sufficient conditions are obtained to guarantee the stability of the closed‐loop system in terms of the stability of a class‐difference equations. It is also shown that the proposed controller achieves semi‐global stabilization of the system if its actuator is subject to either magnitude saturation or energy constraints under the condition that the open‐loop system is only polynomially unstable. Numerical examples have been worked out to illustrate the effectiveness of the proposed approaches. Copyright © 2015 John Wiley & Sons, Ltd.     

GENERALIZED QUADRATIC STABILIZATION FOR DISCRETE‐TIME SINGULAR SYSTEMS WITH TIME‐DELAY AND NONLINEAR PERTURBATION

This paper discusses a generalized quadratic stabilization problem for a class of discrete‐time singular systems with time‐delay and nonlinear perturbation (DSSDP), which the satisfies Lipschitz condition. By means of the S‐procedure approach, necessary and sufficient conditions are presented via a matrix inequality such that the control system is generalized quadratically stabilizable. An explicit expression of the static state feedback controllers is obtained via some free choices of parameters. It is shown in this paper that generalized quadratic stability also implies exponential stability for linear discrete‐time singular systems or more generally, DSSDP. In addition, this new approach for discrete singular systems (DSS) is developed in order to cast the problem as a convex optimization involving linear matrix inequalities (LMIs), such that the controller can stabilize the overall system. This approach provides generalized quadratic stabilization for uncertain DSS and also extends the existing robust stabilization results for non‐singular discrete systems with perturbation. The approach is illustrated here by means of numerical examples.     

Finite‐time boundedness and L2‐gain analysis for switched positive linear systems with multiple time delays

In this paper, we study the finite‐time boundedness, stabilization, and L₂‐gain for switched positive linear systems (SPLS) with multiple time delays. Using multiple linear copositive Lyapunov functions, sufficient conditions in terms of linear matrix inequalities are obtained for the problems of finite‐time boundedness and stabilization and the design of state feedback controllers for SPLS. Under asynchronous switching, L₂‐gain analysis is developed for SPLS under the constraint of average dwell time. Numerical examples are given to illustrate our theoretical results. Copyright © 2017 John Wiley & Sons, Ltd.     

An Lmi Approach To Non‐Fragile Guaranteed Cost Control Of Uncertain Discrete Time‐Delay Systems

This paper studies the non‐fragile Guaranteed Cost Control (GCC) problem via memoryless state‐feedback controllers for a class of uncertain discrete time‐delay linear systems. The systems are assumed to have norm‐bounded, time‐varying parameter uncertainties in the state, delay‐state, input, delay‐input and state‐feedback gain matrices. Existence of the guaranteed cost controllers are related to solutions of some linear matrix inequalities (LMIs). The non‐fragile GCC state‐feedback controllers are designed based on a convex optimization problem with LMI constraints to minimize the guaranteed cost of the resultant closed‐loop systems. Numerical examples are given to illustrate the design methods.     

Delay‐range‐dependent control of nonlinear time‐delay systems under input saturation

This paper describes a delay‐range‐dependent local state feedback controller synthesis approach providing estimation of the region of stability for nonlinear time‐delay systems under input saturation. By employing a Lyapunov–Krasovskii functional, properties of nonlinear functions, local sector condition and Jensen's inequality, a sufficient condition is derived for stabilization of nonlinear systems with interval delays varying within a range. Novel solutions to the delay‐range‐dependent and delay‐dependent stabilization problems for linear and nonlinear time‐delay systems, respectively, subject to input saturation are derived as specific scenarios of the proposed control strategy. Also, a delay‐rate‐independent condition for control of nonlinear systems in the presence of input saturation with unknown delay‐derivative bound information is established. And further, a robust state feedback controller synthesis scheme ensuring L₂ gain reduction from disturbance to output is devised to address the problem of the stabilization of input‐constrained nonlinear time‐delay systems with varying interval lags. The proposed design conditions can be solved using linear matrix inequality tools in connection with conventional cone complementary linearization algorithms. Simulation results for an unstable nonlinear time‐delay network and a large‐scale chemical reactor under input saturation and varying interval time‐delays are analyzed to demonstrate the effectiveness of the proposed methodology. Copyright © 2015 John Wiley & Sons, Ltd.     

Minimum‐Time State Feedback Stabilization of Constrained Boolean Control Networks

Ministry in 2005, and the National Prize of Natural Science of China in 2008. Currently, he is Associate Editor IMA Journal of Math Control and Inform., and a Technical Committee member of IFAC (TC2.3). This paper investigates the state feedback stabilization of Boolean control networks (BCNs) with state and input constraints by using the semi‐tensor product of matrices. Firstly, a kind of constrained input‐state incidence matrix is proposed for constrained BCNs, which contains all the reachability information of the constrained systems. Secondly, based on the constrained input‐state incidence matrix, a necessary and sufficient condition is presented for the stabilization of constrained BCNs via state feedback. Thirdly, a general procedure is proposed to design all possible minimum‐time state feedback stabilizers. The study of an illustrative example shows that the new results obtained are effective in analyzing the stabilization of constrained BCNs.     

Finite‐Time Stability and Stabilization of Linear Itô Stochastic Systems with State and Control‐Dependent Noise

In this paper, finite‐time stability and stabilization problems for a class of linear stochastic systems are studied. First, a new concept of finite‐time stochastic stability is defined for linear stochastic systems. Then, based on matrix inequalities, some sufficient conditions under which the stochastic systems are finite‐time stochastically stable are given. Subsequently, the finite‐time stochastic stabilization is studied and some sufficient conditions for the existence of a state feedback controller and a dynamic output feedback controller are presented by using a matrix inequality approach. An algorithm is given for solving the matrix inequalities arising from finite‐time stochastic stability (stabilization). Finally, two examples are employed to illustrate the results.     

Computationally Efficient Algorithm For Frequency‐Weighted Optimal H∞ Model Reduction

In this paper, a frequency‐weighted optimal H_∞ model reduction problem for linear time‐invariant (LTI) systems is considered. The objective of this class of model reduction problems is to minimize H_∞ norm of the frequency‐weighted truncation error between a given LTI system and its lower order approximation. A necessary and sufficient solvability condition is derived in terms of LMIs with one extra coupling rank constraint, which generally leads to a non‐convex feasibility problem. Moreover, it has been shown that the reduced‐order model is stable when both stable input and output weights are included, and its state‐space data are given explicitly by the solution of the feasibility problem. An efficient model reduction scheme based on cone complementarity algorithm (CCA) is proposed to solve the non‐convex conditions involving rank constraint.     

Stabilization of Discrete‐time Switched Systems with State Constraints Based on Mode‐Dependent Average Dwell Time

This paper considers the stabilization problem for a class of switched systems with state constraints based on mode‐dependent average dwell time (MDADT) in discrete‐time context. An improved average dwell time method is proposed, which is less conservative than the common average dwell time method. The sufficient conditions and stabilizing state feedback controllers for stabilization of discrete‐time switched systems with state constraints under MDADT switching are derived. Finally, the simulation results show that the approach designed by this paper is effective.     

Non‐parametric linear time‐invariant extensions of non‐invertible and backlash plant

A rigorous validation for the use of a set of linear time‐invariant models as a surrogate in the design of controllers for uncertain nonlinear systems, which are invertible as one‐to‐one operators, such as used in the nonlinear quantitative feedback theory (NLQFT) design methodology has been given by Baños and Bailey. This paper presents a similar validation but weakens the requirement on the invertibility of the nonlinear plant by application of Kakutani's fixed‐point theorem and an incremental gain constraint on the plant within its operational envelope. The set of linear time‐invariant models to be used for design is shown to be an extension (termed here the linear time‐invariant extension—LTIE) of the nonlinear plant restricted to the desired output operating space. A new non‐parametric approach to the modelling of the LTIE is proposed which is based on Fourier transforms of the plant I/O data and which accordingly may be based solely on experimental testing without the need for an explicit parametric plant model. This new approach thus extends the application of robust linear controller design methods (including those of NLQFT) to nonlinear plants with set‐valued (multi‐valued) inverses such as those containing backlash and also to plants for which explicit parametric models are difficult to obtain. The method is illustrated by application of the non‐parametric approach to an NLQFT tracking controller design for a mechanical backlashed servomechanism problem. Copyright © 2013 John Wiley & Sons, Ltd.     

Stabilization of a class of uncertain nonlinear affine systems subject to control constraints

Practical and asymptotic stabilization is investigated for a class of uncertain nonlinear affine control systems subject to constraints on the control inputs. The uncertain systems are modelled as non‐linear perturbations to a known non‐linear idealized system and a problem formulation based on differential inclusions is adopted. A class of constrained generalized state‐feedback controls (containing both continuous and discontinuous selections) is developed, which guarantees stabilization with a specified region of attraction. In the presence of residual uncertainty, sufficient conditions for global stabilizability are presented, whilst local results are obtained by relaxing these conditions. Copyright © 2001 John Wiley & Sons, Ltd.     

Quadratically saturated regulator for constrained linear systems

The problem of stabilization and null-controllability of open-loop unstable discrete-time multi-input systems with constraints on the inputs and the controls is addressed in this paper. First necessary and sufficient conditions for solvability of the problem are derived. They guarantee the existence of a linear controller leaving the state constraint set for the closed-loop system positively invariant. An optimal control law is computed, and the admissible set of initial conditions is given such that along trajectories of the closed-loop system the state and input constraints are satisfied. Then the domain of feasible initial conditions is enlarged using a saturating control if such is feasible     

Continuous simultaneous stabilization of single‐input nonlinear stochastic systems

This paper investigates the simultaneous stabilization of a collection of continuous single‐input non‐linear stochastic systems, with coefficients that are not necessarily locally Lipschitz. A sufficient condition for the existence of a continuous simultaneously stabilizing feedback control is proposed — it is based on the generalized stochastic Lyapunov theorem and on the technique of stochastic control Lyapunov functions. This condition is also necessary, provided that the system's coefficients satisfy some regularity conditions. Moreover, the proposed feedback can be chosen to be bounded under the assumption that appropriate control Lyapunov functions are known. All the proposed simultaneously stabilizing state feedback controllers are explicitly constructed. Finally, two simulation examples are provided to demonstrate the effectiveness of the proposed approach.     

Semi-global stabilization and output regulation of constrained linear plants via measurement feedback

Semi-global stabilization and output regulation of linear systems subject to state and/or input constraints have been studied in our earlier work by using state feedback. For the same problems, observer based measurement feedback control designs are the topics of this paper. High-gain observers are used in the feedback design in order to obtain accurate estimates of the state so that the constraint violation can be avoided. Due to the peaking phenomenon associated with a high-gain observer, a special saturation protection is built in the control laws to avoid possible constraint violation. The results in this paper show that the semi-global stabilization and semi-global output regulation problems for constrained linear systems are solvable via measurement feedback under solvability conditions similar to those in the state feedback.     

Singular ℋ︁2 control of discrete‐time systems: From frequency to time domain

Necessary and sufficient conditions for the existence of a minimizing discrete‐time ??₂ control, when assumptions are the internal stabilizability and left‐ and right‐invertibility of transfer matrices G ₁₂ and G ₂₁, are presented. Unlike the existing approach with a transformation into a disturbance decoupling problem with a measurement feedback and internal stability, we use a direct approach: from frequency to time domain. The first main result gives a necessary and sufficient existence condition for ??₂ control: that a minimal realization of the infimal controller is stabilizing. The second main result presents a realization of an optimal controller that has a state observer form, identical to the form of the regular case, except that the state‐feedback gain matrix and the observer gain matrix are replaced by some stabilizing matrices. Copyright © 2009 John Wiley & Sons, Ltd.     

Necessary and Sufficient Stability Criterion and Stabilization for Positive 2‐D Continuous‐Time Systems with Multiple Delays

This paper addresses the stability and control problem of the linear positive two‐dimensional (2‐D) continuous‐time systems in Roesser model with multiple time delays. The contribution lies in two aspects. First, a simple novel proof is provided to establish necessary and sufficient conditions of asymptotic stability for 2‐D continuous delayed systems. It turns out that the magnitude of delays has no any impact on the stability of these systems, which is completely determined by the system matrices. Second, a necessary and sufficient condition for the existence of state‐feedback controllers is proposed for general delayed 2‐D systems, which ensures the non‐negativity and the stability of the resulting closed‐loop systems. Two examples are given to validate the proposed methods.     

Optimal tracking performance of MIMO discrete‐time systems with communication constraints

The optimal tracking problem for multiple‐input multiple‐output linear‐time‐invariant discrete‐time systems with communication constraints in the feedback path is studied in this paper. The tracking performance is measured by the energy of the error signal between the output of the plant and the reference signal. The objective is to obtain an optimal tracking performance, attainable by all possible stabilizing compensators. It is shown that the optimal tracking performance consists of two parts, one depends on the nonminimum phase zeros and zero direction of the given plant, as well as the reference input signal direction, and the other depends on the nonminimum phase zeros, unstable poles, and pole direction of the given plant, as well as the bandwidth and additive white Gaussian noise of the communication channel. It is also shown that, if the constraint of the communication channel does not exist, the optimal tracking performance reduces to the existing tracking performance of the control system without communication constraints. A typical example is given to illustrate the theoretical results. Copyright © 2011 John Wiley & Sons, Ltd.     

Complete solution of the 4‐block H∞ control problem with infinite and finite jω‐axis zeros

This paper discusses the 4‐block H^∞ control problem with infinite and finite jω‐axis invariant zeros in the state‐space realizations of the transfer functions from the control input to the controlled output and from the disturbance input to the measurement output, where these realizations are induced from a stabilizable and detectable realization of the generalized plant. This paper extends the DGKF approach to the H^∞ control problem but permitting infinite and finite jω‐axis invariant zeros by using the eigenstructures related to these zeros. Necessary and sufficient conditions are presented for checking solvability through checking the stabilizing solutions of two reduced‐order Riccati equations and examining matrix norm conditions related to the jω‐axis zeros. The parameterization of all suitable controllers is given in terms of a linear fractional transformation involving a certain fixed transfer function matrix and together with a stable transfer function matrix with gain less than 1 which is free apart from satisfying certain interpolation conditions. Copyright © 2000 John Wiley & Sons, Ltd.