H∞ control for a class of cascade switched nonlinear systems

In this paper, we investigate the H_∞ control problem for a class of cascade switched nonlinear systems consisting of two nonlinear parts which are also switched systems using the multiple Lyapunov function method. Firstly, we design the state feedback controller and the switching law, which guarantees that the corresponding closed‐loop system is globally asymptotically stable and has a prescribed H_∞ performance level. This method is suitable for a case where none of the switched subsystems is asymptotically stable. Then, as an application, we study the hybrid H_∞ control problem for a class of nonlinear cascade systems. Finally, an example is given to illustrate the feasibility of our results. Copyright © 2008 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Robust H∞ Sliding Mode Control for a Class of Singular Stochastic Nonlinear Systems

This paper concerns the problem of robust H_∞ sliding mode control for a class of singular stochastic nonlinear systems. Integral sliding mode control is developed to deal with this problem. Based on the integral sliding surface of the design and linear matrix inequality, a sufficient condition which guarantees the sliding mode dynamics is asymptotically mean square admissible and has a prescribed H_∞ performance for a class of singular stochastic nonlinear systems is proposed. Furthermore, a sliding mode control law is synthesized such that the singular stochastic nonlinear system can be driven to the sliding surface in finite time. Finally, a numerical example is proposed to illustrate the effectiveness of the given theoretical results.     

Adaptive λ-tracking for a class of infinite-dimensional systems

For a class of high-gain stabilizable multivariable linear infinite-dimensional systems we present an adaptive control law which achieves approximate asymptotic tracking in the sense that the tracking error tends asymptotically to a ball centred at 0 and of arbitrary prescribed radius λ>0. This control strategy, called λ-tracking, combines proportional error feedback with a simple nonlinear adaptation of the feedback gain. It does not involve any parameter estimation algorithms, nor is it based on the internal model principle. The class of reference signals is W^1,∞, the Sobolev space of absolutely continuous functions which are bounded and have essentially bounded derivative. The control strategy is robust with respect to output measurement noise in W^1,∞ and bounded input disturbances. We apply our results to retarded systems and integrodifferential systems.     

On nonlinear H ∞ sliding mode control for a class of nonlinear cascade systems

In this work two main robust control strategies, the sliding mode control (SMC) and nonlinear H ^∞ control, are integrated to function in a complementary manner for tracking control tasks. The SMC handles matched L ^∞[0,∞) type system uncertainties with known bounding functions. H ^∞ control deals with unmatched disturbances of L ₂[0,∞) type where the upper-bound knowledge is not available. The new control method is designed for a class of nonlinear uncertain systems with two cascade subsystems. Nonlinear H ^∞ control is applied to the first subsystem in the presence of unmatched disturbances. Through solving a Hamilton-Jacoby inequality, the nonlinear H ^∞ control law for the first subsystem well defines a nonlinear switching surface. By virtue of nonlinear H ^∞ control, the resulting sliding manifold in the sliding phase possesses the desired L ₂ gain property and to a certain extend the optimality. Associated with the new switching surface, the SMC is applied to the second subsystem to accomplish the tracking task, and ensure the L ₂ gain robustness in the reaching phase. Two illustrative examples are given to show the effectiveness of the proposed robust control scheme.     

DECENTRALIZED STABILIZATION OF H FUZZY CONTROL FOR NONLINEAR MULTIPLE TIME‐DELAY INTERCONNECTED SYSTEMS

A robustness design of fuzzy control is proposed in this paper to overcome the effect of modeling errors between nonlinear multiple time‐delay systems and fuzzy models. In terms of Lyapunov's direct method, a stability criterion is derived to guarantee the UUB (uniformly ultimately bounded) stability of nonlinear multiple time‐delay interconnected systems with disturbances. Based on this criterion and the decentralized control scheme, a set of fuzzy controllers is then synthesized via the technique of parallel distributed compensation (PDC) to stabilize the nonlinear multiple time‐delay interconnected systems and the Hcontrol performance is achieved in the mean time.     

Normal forms for multi‐input flat systems of minimal differential weight

We present normal forms for nonlinear control systems that are the closest to static feedback linearizable ones, that is, for systems that become feedback linearizable via the simplest dynamic feedback, which is the one‐fold prolongation of a suitably chosen control. They form a particular class of flat systems, namely those of differential weight n + m + 1, where n is the number of states and m is the number of controls. We also show that the dynamic feedback may create singularities in the control space depending on the state and we discuss them. We also address the issue of the normalization of the system only versus that of the system together with a flat output. Finally, we illustrate our results by several examples.     

Nonlinear stabilization of a thermal convection loop by state feedback

A nonlinear feedback control law that achieves global asymptotic stabilization of a 2D thermal convection loop (widely known for its “Lorenz system” approximation) is presented. The loop consists of viscous Newtonian fluid contained in between two concentric cylinders standing in a vertical plane. The lower half of the loop is heated while the upper half is cooled, which makes the no-motion steady state for the uncontrolled case unstable for values of the non-dimensional Rayleigh number R_a>1. The objective is to stabilize that steady state using boundary control of velocity and temperature on the outer cylinder. We discretize the original nonlinear PDE model in space using finite difference method and get a high order system of coupled nonlinear ODEs in 2D. Then, using backstepping design, we transform the original coupled system into two uncoupled systems that are asymptotically stable in l²-norm with homogeneous Dirichlet boundary conditions. The resulting boundary controls actuate velocity and temperature in the original coordinates. The control design is accompanied by an extensive simulation study which shows that the feedback control law designed on a very coarse grid (using just a few measurements of the flow and temperature fields) can successfully stabilize the actual system for a very wide range of the Rayleigh number.     

Fast modular exponentiation of large numbers with large exponents

In many problems, modular exponentiation |x^b|_m is a basic computation, often responsible for the overall time performance, as in some cryptosystems, since its implementation requires a large number of multiplications.It is known that |x^b|_m=|x^|b|_(m)|_m for any x in [1,m−1] if m is prime; in this case the number of multiplications depends on (m) instead of depending on b. It was also stated that previous relation holds in the case m=pq, with p and q prime; this case occurs in the RSA method.In this paper it is proved that such a relation holds in general for any x in [1,m−1] when m is a product of any number n of distinct primes and that it does not hold in the other cases for the whole range [1,m−1].Moreover, a general method is given to compute |x^b|_m without any hypothesis on m, for any x in [1,m−1], with a number of modular multiplications not exceeding those required when m is a product of primes.Next, it is shown that representing x in a residue number system (RNS) with proper moduli m_i allows to compute |x^b|_m by n modular exponentiations |x_i^b|_mi in parallel and, in turn, to replace b by |b|_(mi) in the worst case, thus executing a very low number of multiplications, namely log₂m_i for each residue digit.A general architecture is also proposed and evaluated, as a possible implementation of the proposed method for the modular exponentiation.     

Parameterization of Sampled‐Data H∞ Output Feedback Controllers for General Nonlinear Systems

In this paper, we consider the H^∞ control problem for general nonlinear systems under sampled measurements. Sufficient conditions for the existence of H^∞ output feedback controllers are derived. The major contribution of this paper is to characterize a family of H^∞ output feedback controllers for nonaffine nonlinear systems under sampled measurements.     

Target mass control for uncertain compartmental systems

In this article we analyse the total mass target control problem for compartmental systems under the presence of parameter uncertainties. We consider a state feedback control law with positivity constraints tuned for a nominal system, and prove that this law leads the value of the total mass of the real system to an interval whose bounds depend on the parameter uncertainties and can be made arbitrarily close to the desired value of the total mass when the uncertainties are sufficiently small. Moreover, we prove that for a class of compartmental systems in ?³ of interest, the state of the controlled system tends to an equilibrium point whose total mass lies within the aforementioned interval. Taking into account the relationship between the mass and the state components in steady state, it is possible to use the proposed mass control law to track the desired values for the steady state components. This is applied to the control of the neuromuscular blockade level of patients undergoing surgery, by means of the infusion of atracurium. Our results are illustrated by several simulations and a clinical case.     

Robust stabilizing control laws for a class of second-order switched systems

For a class of second-order switched systems consisting of two linear time-invariant (LTI) subsystems, we show that the so-called conic switching law proposed previously by the present authors is robust, not only in the sense that the control law is flexible (to be explained further), but also in the sense that the Lyapunov stability (resp., Lagrange stability) properties of the switched system are preserved in the presence of certain kinds of vanishing perturbations (resp., nonvanishing perturbations). The analysis is possible since the conic switching laws always possess certain kinds of “quasi-periodic switching operations”. We also propose for a class of nonlinear second-order switched systems with time-invariant subsystems a switching control law which locally exponentially stabilizes the entire nonlinear switched system, provided that the conic switching law exponentially stabilizes the linearized switched systems (consisting of the linearization of each nonlinear subsystem). This switched control law is robust in the sense mentioned above.     

Stabilization of a class of generalized bilinear systems

This paper studies local stabilization of a class of analytic nonlinear systems in terms of, which includes ordinary bilinear systems as its subset, ż=f(z)+g(z)u, f(0)=0, g(0)=0, z∈R² which can be achieved via a feedback control law u=u(z) with u(0)=0. Following the theoretical results a potential application, stabilization of non-minimum phase systems, is investigated. Copyright © 1999 John Wiley & Sons, Ltd.     

Nonlinear local J-lossless conjugation and factorization

A new definition of nonlinear local J-lossless factorization is introduced, which plays a crucial role in nonlinear H^∞ control theory. Sufficient (and in two special cases also necessary) conditions for the existence of this factorization and state-space formulae of the factor systems are given here. The main tools for the J-lossless factorization are the local right and left J-lossless conjugations, introduced in this paper. The former corresponds to the standard linear J-lossless conjugation, while the latter has no counterpart in the linear theory where it is completely dual to the former one and hence conceptually redundant. In the nonlinear case, however, this duality is much weaker and therefore the left J-lossless conjugation is essential for solving the local J-lossless factorization of unstable systems. This factorization requires a transformation of the given system to a special form and solving two independent Hamilton-Jacobi partial differential equations. Solutions of the two Hamilton-Jacobi equations have to satisfy a simple coupling condition.     

Local and global controllability for nonlinear systems

A technique to study local and global controllability properties for a wide class of nonlinear systems is presented. In addition to an extensive study of systems on ² we propose — as an application of our method — a new criterion for global controllability of systems with polynomial drift term, defined on ⁿ. In the case of linear systems, the criterion reduces to the classical Kalman condition.A study of local controllability at the equilibrium point of the drift term of systems defined on ² enables us not only to rederive a local controllability result derived by Hermes [4,5], but also to extend this result when no assumptions are made on the boundedness of the controls.     

Control of 1-D parabolic PDEs with Volterra nonlinearities, Part I: Design

Boundary control of nonlinear parabolic PDEs is an open problem with applications that include fluids, thermal, chemically-reacting, and plasma systems. In this paper we present stabilizing control designs for a broad class of nonlinear parabolic PDEs in 1-D. Our approach is a direct infinite dimensional extension of the finite-dimensional feedback linearization/backstepping approaches and employs spatial Volterra series nonlinear operators both in the transformation to a stable linear PDE and in the feedback law. The control law design consists of solving a recursive sequence of linear hyperbolic PDEs for the gain kernels of the spatial Volterra nonlinear control operator. These PDEs evolve on domains T_n of increasing dimensions n+1 and with a domain shape in the form of a “hyper-pyramid”, 0≤ξ_n≤ξ_n−1?≤ξ₁≤x≤1. We illustrate our design method with several examples. One of the examples is analytical, while in the remaining two examples the controller is numerically approximated. For all the examples we include simulations, showing blow up in open loop, and stabilization for large initial conditions in closed loop. In a companion paper we give a theoretical study of the properties of the transformation, showing global convergence of the transformation and of the control law nonlinear Volterra operators, and explicitly constructing the inverse of the feedback linearizing Volterra transformation; this, in turn, allows us to prove L² and H¹ local exponential stability (with an estimate of the region of attraction where possible) and explicitly construct the exponentially decaying closed loop solutions.     

-like control for nonlinear stochastic systems

In this paper we develop a H_∞-type theory, from the dissipation point of view, for a large class of time-continuous stochastic nonlinear systems. In particular, we introduce the notion of stochastic dissipative systems analogously to the familiar notion of dissipation associated with deterministic systems and utilize it as a basis for the development of our theory. Having discussed certain properties of stochastic dissipative systems, we consider time-varying nonlinear systems for which we establish a connection between what is called the L₂-gain property and the solution to a certain Hamilton–Jacobi inequality (HJI), that may be viewed as a bounded real lemma for stochastic nonlinear systems. The time-invariant case with infinite horizon is also considered, where for this case we synthesize a worst case-based stabilizing controller. Stability in this case is taken to be in the mean-square sense. In the stationary case, the problem of robust state feedback control is considered in the case of norm-bounded uncertainties. A solution is then derived in terms of linear matrix inequalities.     

Semiglobal stabilization of linear systems using constrained controls: a parametric optimization approach

A bounded feedback control for asymptotic stabilization of linear systems is derived. The designed control law increases the feedback gain as the controlled trajectory converges towards the origin. A sequence of invariant sets of decreasing size, associated with a (quadratic) Lyapunov function, are defined and related to each of them, the corresponding possible highest gain is chosen, while maintaining the input bounded. Gains as functions of the position are designed by explicitly solving a c-parameterized programming problem. The proposed method allows global asymptotic stabilization of open-loop stable systems, with inputs subject to magnitude bounds and globally bounded rates. In the general case of linear systems that are asymptotic null controllable with bounded input, the semiglobal stabilization is also addressed taking into account the problem of semiglobal rate-limited actuators. The method is illustrated with the global stabilization of an inertial navigator, and the stabilization of a nonlinear model of a crane with hanging load. Copyright © 1999 John Wiley & Sons, Ltd.     

宽带噪声激励下带有分数阶控制器的强非线性系统的随机平均技术

运用随机平均法研究了宽带噪声激励下带有分数阶PI~λD~μ控制器的强非线性系统.首先,应用广义谐波平衡技术,将分数阶PI~λD~μ控制力分解为幅值依赖的等效拟线性阻尼力和拟线性回复力,得到了受控整数阶等效非线性系统.然后,运用基于广义谐和函数的随机平均法得到关于幅值的平均伊藤微分方程.最后,建立并求解相应的简化Fokker-Planck-Kolmogorov(FPK)方程,得到稳态概率密度函数.作为算例,考察了Duffing-van de Pol振子.数值结果表明随机平均法能够达到较高的精度,分数阶PI~λD~μ控制器能够对系统响应进行有效的控制.此外,宽带噪声参数ξ_i、ω_i及D_i改变时,本文提出的方法仍具有较好的适用性,分数阶控制器仍同样具有非常好的控制效果.     

Optimal input sets for time minimality in quantized control systems

Limited capacity of communication channels has brought to the attention of many researchers the analysis of control systems subject to a quantized input set. In some fundamental cases such systems can be reduced to quantized control system of type x⁺=x+u, where the u takes values in a set of 2m+1 integer numbers, symmetric with respect to 0. In this paper we consider these types of systems and analyse the reachable set after K steps. Our aim is to find a set of m input values such that the reachable set after K steps contains an interval of integers [−N, . . . , N] with N as large as possible. For m=2,3 and 4, we completely solve the problem and characterize the metric associated to this quantized control system.