Robust right coprime factorization and robust stabilization ofnonlinear feedback control systems

Robust right coprime factorization and robust stabilization of nonlinear feedback control systems are studied. The concept of robust right coprime factorization of nonlinear operators for feedback control systems is introduced. Some conditions for the robustness of a right coprime factorization of a nonlinear plant under unknown but bounded perturbations are derived. An example with a closed-form solution is included to illustrate the general theory and a step-by-step construction of the robust factorization and the robust stabilization     

H∞回路成形设计的鲁棒性

回路成形法设计中是用互质因子摄动来表示系统不确定性的. 文中对这种互质因子摄动进行了较详尽的分析, 指出系统中的弱阻尼模态会增大互质因子摄动的范数, 因而降低了允许的摄动值, 使系统实际上失去了鲁棒性. 所以H∞回路成形设计并不一定像所期望的那样具有鲁棒性. 文中并用一个参数摄动下的鲁棒性为例来进行说明.     

Coprime factor model reduction for discrete-time uncertain systems

This paper presents a contractive coprime factor model reduction approach for discrete-time uncertain systems of LFT form with norm bounded structured uncertainty. A systematic approach is proposed for coprime factorization and contractive coprime factorization of the underlying uncertain systems. The proposed coprime factor approach overcomes the robust stability restriction on the underlying systems which is required in the balanced truncation approach. Our method is based on the use of LMIs to construct the desired reduced dimension uncertain system model. Closed-loop robustness is discussed under additive coprime factor perturbations.     

Controller tuning freedom under plant identification uncertainty: double Youla beats gap in robust stability

In iterative schemes of identification and control one of the particular and important choices to make is the choice for a model uncertainty structure, capturing the uncertainty concerning the estimated plant model. Structures that are used in the recent literature encompass e.g. gap metric uncertainty, coprime factor uncertainty, and the Vinnicombe gap metric uncertainty. In this paper, we study the effect of these choices by comparing the sets of controllers that guarantee robust stability for the different model uncertainty bounds. In general these controller sets intersect. However in particular cases the controller sets are embedded, leading to uncertainty structures that are favourable over others. In particular, when restricting the controller set to be constructed as metric-bounded perturbations around the present controller, the so-called double Youla parametrization provides a set of robustly stabilizing controllers that is larger than corresponding sets that are achieved by using any of the other uncertainty structures. This is particularly of interest in controller tuning problems.     

互质因子摄动系统最优l1鲁棒控制:连续性与自适应控制

针对具有互质因子摄动和未知干扰的离散时间系统研究了一种自适应鲁棒控制策略. 本文的主要工作包括三个方面.首先建立了互质因子摄动系统最优l1鲁棒控制设计的连续性. 然后,提出了一种带变死区的参数鲁棒估计投影算法.最后,结合所提出的参数估计算法和最优 l1鲁棒控制,利用确定性等价原理提出了互质因子摄动系统的一种新的自适应鲁棒控制方法.基 于本文建立的l1优化设计的连续性,证明了自适应鲁棒控制的全局稳定性,给出了自适应控制系 统稳定性的后验可计算条件.     

互质因子摄动系统最优е1鲁棒控制: 连续性与自适应控制

针对具有互质因子摄动和未知干扰的离散时间系统研究了一种自适应鲁棒控制策略. 本文的主要工作包括三个方面. 首先建立了互质因子摄动系统最优е1鲁棒控制设计的连续性. 然后,提出了一种带变死区的参数鲁棒估计投影算法. 最后, 结合所提出的参数估计算法和最优е1鲁棒控制,利用确定性等价原理提出了互质因子摄动系统的一种新的自适应鲁棒控制方法. 基于本文建立的е1优化设计的连续性, 证明了自适应鲁棒控制的全局稳定性,给出了自适应控制系统稳定性的后验可计算条件.     

On robust stabilization regions of unstructured uncertainties

Relations on the robust stabilization regions of four main forms of unstructured uncertainties are investigated. The robust stabilization regions represented by three other perturbations are derived from coprime factor perturbation and additive perturbation, respectively. Furthermore, it is shown that the normalized coprime factor H^∞ robust controller can also be explained in additive and multiplicative perturbations.     

A test for stability robustness of linear time‐varying systems utilizing the linear time‐invariant ν‐gap metric

A stability robustness test is developed for internally stable, nominal, linear time‐invariant (LTI) feedback systems subject to structured, linear time‐varying uncertainty. There exists (in the literature) a necessary and sufficient structured small gain condition that determines robust stability in such cases. In this paper, the structured small gain theorem is utilized to formulate a (sufficient) stability robustness condition in a scaled LTI ν‐gap metric framework. The scaled LTI ν‐gap metric stability condition is shown to be computable via linear matrix inequality techniques, similar to the structured small gain condition. Apart from a comparison with a generalized robust stability margin as the final part of the stability test, however, the solution algorithm implemented to test the scaled LTI ν‐gap metric stability robustness condition is shown to be independent of knowledge about the controller transfer function (as opposed to the LMI feasibility problem associated with the scaled small gain condition which is dependent on knowledge about the controller). Thus, given a nominal plant and a structured uncertainty set, the stability robustness condition presented in this paper provides a single constraint on a controller (in terms of a large enough generalized robust stability margin) that (sufficiently) guarantees to stabilize all plants in the uncertainty set. Copyright © 2008 John Wiley & Sons, Ltd.     

Frequency domain uncertainty and the graph topology

A new metric on linear, time-invariant systems is defined. This metric is no greater than the gap metric, and is in fact the smallest metric for which a certain robust stabilization result holds. Unlike other known metrics which induce the graph topology, it has a clear frequency response interpretation. This allows questions regarding robustness in the face of parametric uncertainty to be considered in terms of this metric     

ℓ1 robust performance of discrete-time systems with structured uncertainty

This paper addresses the robust performance problem when a linear time-invariant system is subjected to both norm bounded time-varying uncertainty and worst-case external bounded input. The tightest upper bounds for steady-state robust performance measures over classes of finite memory and fading memory perturbations are computed in the regulation and tracking problems. Since the classes of finite memory and fading memory perturbations are inappropriate to the purposes of model validation and adaptive control, approximating subclasses of bounded memory perturbations and perturbations with exponentially decreasing impulse responses are considered. It is shown that the robust performance bounds obtained are nonconservative in the case of bounded memory perturbations. The worst-case steady-state robust performance measures for SISO system under coprime factor perturbations are computed for illustration.     

Sufficient conditions for robust BIBO stabilization: Given by the gap metric

A relation between coprime fractions and the gap metric is presented. Using this result we provide some sufficient conditions for robust BIBO stabilization for a wide class of systems. These conditions allow the plant and the compensator to be disturbed simultaneously.     

l1 optimal robust controller for SISO plant undercoprime factor perturbations

The problem of synthesis of l₁ optimal robust controller for SISO plant under coprime factor perturbations and bounded external disturbance is considered. A geometric interpretation of l₁ optimal robust controller, standard l₁ optimal controller, and two other optimal robust controllers is presented. The existence of l₁ optimal robust linear controller is proved and an algorithm for approximate solution of the problem is proposed. The algorithm is reduced to approximate solution of finite family of standard l₁ optimization problems     

Operator-based nonlinear feedback control design using robust right coprime factorization

In this note, robust stabilization and tracking performance of operator based nonlinear feedback control systems are studied by using robust right coprime factorization. Specifically, a new condition of robust right coprime factorization of nonlinear systems with unknown bounded perturbations is derived. Using the new condition, a broader class of nonlinear plants can be controlled robustly. When the spaces of the nonlinear plant output and the reference input are different, a space change filter is designed, and in this case this note considers tracking controller design using the exponential iteration theorem.     

The graph metric for unstable plants and robustness estimates for feedback stability

In this paper, a "graph metric" is defined that provides a measure of the distance between unstable multivariable plants. The graph metric induces a "graph topology" on unstable plants, which is the weakest possible topology in which feedback stability is robust. Using the graph metric, it is possible to derive estimates for the robustness of feedback stability without assuming that the perturbed and unperturbed plants have the same number of RHP poles. If the perturbed and unperturbed systems have the same RHP poles, then it is possible to obtain necessary and sufficient conditions for robustness with respect to a given class of perturbations. As an application of these results, the design of stabilizing controllers for unstable singularly perturbed systems is studied. Finally, the relationship of the graph metric to the "gap metric" introduced by Zames and El-Sakkary is studied in detail. In particular, it is shown that the robustness results of Zames and El-Sakkary do not enable one to conclude the causality, of the perturbed system, whereas the present results do.     

Robust Stabilization Over Communication Channels in the Presence of Unstructured Uncertainty

This technical note is concerned with the problem of controlling plants over communication channels, where the plant is subject to two types of unstructured uncertainty: additive uncertainty and stable coprime factor uncertainty. Necessary lower bounds on the rate of transmission (or channel capacity) C, for robust stabilization, are computed explicitly. In particular, it is shown that the lower bound in the additive uncertainty case corresponds to a fixed point of a particular function. In the stable coprime factor uncertainty case, the derivation relies on linear fractional transformation concepts. The results are important in determining the minimum channel capacity needed in order to stabilize plants subject to unstructured uncertainty over communication channels. For instance, the bounds obtained can be used to analyze the effect of uncertainty on the channel capacity. An illustrative example is provided.     

Control-oriented model validation and errors quantification in the /spl lscr//sub 1/ setup

A priori information required for robust synthesis includes a nominal model and a model of uncertainty. The latter is typically in the form of additive exogenous disturbance and plant perturbations with assumed bounds. If these bounds are unknown or too conservative, they have to be estimated from measurement data. In this paper, the problem of errors quantification is considered in the framework of the /spl lscr//sub 1/ optimal robust control theory associated with the /spl lscr//sub /spl infin// signal space. The optimal errors quantification is to find errors bounds that are not falsified by measurement data and provide the minimum value of a given control criterion. For model with unstructured uncertainty entering the system in a linear fractional manner, the optimal errors quantification is reduced to quadratic fractional programming. For system under coprime factor perturbations, the optimal errors quantification is reduced to linear fractional programming.     

Synthesis of decoupling controller for non-minimum phase plants of different pole numbers on RHP within uncertainties

This article mainly studies the decoupling controller design for non-minimum phase plants of different pole numbers on RHP within uncertainties. The normalised coprime factorisation is considered to achieve the robustness requirements. The pole-zero cancellations on RHP should be averted for the sake of robustness. For convenience, the H ^∞ sub-optimal controller is utilised to meet the robust criterion of the plant. Some necessary state space formulae are also provided to facilitate the synthesis of the decoupling controller. The configuration of the two-parameter compensation is employed. The Bezout identity makes the feedforward controller easy to determine. A brief algorithm is presented. In addition, the proposed synthesis is illustrated with a numerical example. The robust bounds of the feedback controller can be assessed for both the additive uncertainty and the coprime factor uncertainties. The result shows that the compensated system is decoupled and is guaranteed to be internally stable within the specified robust bound although the pole number varies on RHP.     

Smooth stabilization implies coprime factorization

It is shown that coprime right factorizations exist for the input-to-state mapping of a continuous-time nonlinear system provided that the smooth feedback stabilization problem is solvable for this system. It follows that feedback linearizable systems admit such fabrications. In order to establish the result, a Lyapunov-theoretic definition is proposed for bounded-input-bounded-output stability. The notion of stability studied in the state-space nonlinear control literature is related to a notion of stability under bounded control perturbations analogous to those studied in operator-theoretic approaches to systems; in particular it is proved that smooth stabilization implies smooth input-to-state stabilization     

On robustness in the gap metric and coprime factor uncertainty for LTV systems

In this paper, we study the problem of robust stabilization for discrete linear time-varying (LTV) systems subject to time-varying normalized coprime factor uncertainty. Operator theoretic results which generalize similar results known to hold for linear time-invariant (infinite-dimensional) systems are developed. In particular, we compute an upper bound for the maximal achievable stability margin under TV normalized coprime factor uncertainty in terms of the norm of an operator with a time-varying Hankel structure. We point to a necessary and sufficient condition which guarantees compactness of the TV Hankel operator, and in which case singular values and vectors can be used to compute the time-varying stability margin and TV controller.     

Linear feedback systems and the graph topology

It is established for general linear systems that the gap metric induces the coarsest topology with respect to which both closed-loop stability and closed-loop performance are robust properties. In earlier works, similar topological results were obtained by exploiting the existence of particular coprime-factor system representations, not known to exist in general. By contrast, the development here does not rely on any specific system representations. Systems are simply characterized as subspaces of norm bounded input-output pairs, and the analysis hinges on the underlying geometric structure of the feedback stabilization problem. Unlike other work developed within such a framework, fundamental issues concerning the causality of feedback interconnections are discussed explicitly. The key result of this paper concerns the difference between linear feedback interconnections, with identical controllers, in terms of a performance/robustness related closed-loop mapping. Upper and lower bounds on the induced norm of this difference are derived, allowing for possibly infinite-dimensional input-output spaces and time-varying behavior. The bounds are both proportional to the gap metric distance between the plants, which clearly demonstrates the gap to be an appropriate measure of the difference between open-loop systems from the perspective of closed-loop behavior. To conclude, an example is presented to show that bounds of the form derived here for linear systems do not hold in a general nonlinear setting