Dynamic output feedback stabilization of deterministic finite automata via the semi‑tensor product of matrices approach

This paper deals with the dynamic output feedback stabilization problem of deterministic finite automata (DFA). The static form of this problem is defined and solved in previous studies via a set of equivalent conditions. In this paper, the dynamic output feedback (DOF) stabilization of DFAs is defined in which the controller is supposed to be another DFA. The DFA controller will be designed to stabilize the equilibrium point of the main DFA through a set of proposed equivalent conditions. It has been proven that the design problem of DOF stabilization is more feasible than the static output feedback (SOF) stabilization. Three simulation examples are provided to illustrate the results of this paper in more details. The first example considers an instance DFA and develops SOF and DOF controllers for it. The example explains the concepts of the DOF controller and how it will be implemented in the closed-loop DFA. In the second example, a special DFA is provided in which the DOF stabilization is feasible, whereas the SOF stabilization is not. The final example compares the feasibility performance of the SOF and DOF stabilizations through applying them to one hundred random-generated DFAs. The results reveal the superiority of the DOF stabilization.     

Hermite matrix in Lagrange basis for scaling static output feedback polynomial matrix inequalities

Using Hermite's formulation of polynomial stability conditions, static output feedback (SOF) controller design can be formulated as a polynomial matrix inequality (PMI), a (generally nonconvex) nonlinear semidefinite programming problem that can be solved (locally) with PENNON, an implementation of a penalty and augmented Lagrangian method. Typically, Hermite SOF PMI problems are badly scaled and experiments reveal that this has a negative impact on the overall performance of the solver. In this note we recall the algebraic interpretation of Hermite's quadratic form as a particular Bézoutian and we use results on polynomial interpolation to express the Hermite PMI in a Lagrange polynomial basis, as an alternative to the conventional power basis. Numerical experiments on benchmark problem instances show the improvement brought by the approach, in terms of problem scaling, number of iterations and convergence behaviour of PENNON.     

Static output feedback control design for linear MIMO systems with actuator dynamics governed by diffusion PDEs

This paper deals with the problem of static output feedback (SOF) control design for a class of diffusion partial differential equation (PDE) and ordinary differential equation (ODE) cascades, where the ODE model is used to describe the dynamics of the multi-input and multi-output (MIMO) plant and the diffusion PDE model is employed to represent the dynamics of actuators. The objective of this paper is to develop a simple as well as effective SOF controller via the Lyapunov's direct method such that the resulting closed-loop system is globally exponentially stable. By constructing a quadratic Lyapunov function, the sufficient condition on the globally exponential stability of the closed-loop cascaded system is presented in terms of linear matrix inequality (LMI). Then, an LMI-based design method of the SOF controller is developed on the basis of the obtained stability analysis result. Finally, two numerical examples are provided to illustrate the effectiveness of the proposed design method.     

一类非线性系统的加速度规划输出跟踪动态控制

针对一类严格反馈形式的非线性二阶多输入多输出系统,提出一种带有加速度规划的输出跟踪动态控制策略.引入一个代替时间变量的路径参数用以规划路径跟踪时的加速度,回避了设计内环加速度控制回路的常规方法,简化了控制器的设计过程.对二阶系统的控制项求导进行系统扩维,基于新的增广系统,设计了使系统输出收敛于期望路径的反馈线性化动态控制律.再对加速度跟踪误差基于梯度法设计更新律使其渐近收敛于零,最后通过调节期望加速度实现定常速度控制.理论分析表明,误差闭环系统一致渐近稳定,速度误差有界.动力定位船舶循迹控制仿真结果表明了所提出控制器的有效性.     

Robust H∞ dynamic output feedback control for spacecraft rendezvous with poles and input constraint

This paper is concerned with the output feedback control problem for spacecraft rendezvous subject to target angular velocity uncertainty and controller uncertainty, external disturbance and input constraint. A general full-order dynamic output feedback (DOF) controller is proposed. As a stepping-stone, the H_∞ performance requirement, poles and input constraint are analysed separately via linear matrix inequalities (LMIs). Then, with the obtained results, the controller design problem is cast into a convex problem subject to a set of LMI constraints through a critical change of controller variables. Furthermore, when the system states are all available, a reduced sufficient condition of the non-fragile state feedback controller is given. Compared with existing results, the designed controller has overcome the disadvantage of strictly proper DOF controller, where the initial value of the control input is zero. Besides, the constraint on poles placement is relaxed. A numerical simulation is performed to verify the effectiveness of the proposed method.     

Design of stabilizing control for synchronous machines via polynomial modelling and linear matrix inequalities approach

This paper deals with the design and evaluation of a nonlinear state feedback controller to improve the global asymptotic stabilization and transient performance of synchronous machines. The nonlinear Park’s model is developed around the working point on a third order polynomial system. An innovative technique is used to design a nonlinear polynomial controller, based on the Lyapunov’s direct method and Linear Matrix Inequalities (LMIs) approach. The control laws are derived from the resolution of a sufficient LMI stabilization condition. The proposed polynomial control has been tested numerically on a generator infinite-bus power system and the simulations results show an excellent damping of the system oscillations over a wide range of operating conditions whilst retaining good voltage control.     

Approximate local output regulation for nonlinear distributed parameter systems

Output regulation for a class of nonlinear infinite-dimensional systems, called regular nonlinear systems (RNS), is the subject of this work. For the plants in this class, the linearization at the origin is an exponentially stable regular linear system (RLS). The plants are driven by a control input and a disturbance signal. Well-posedness of the plants for small initial states, control inputs and disturbance signals is established and it is shown that if the control input and the disturbance signal for a plant are T-periodic, then so are its state and output (asymptotically). On the basis of this characterization, an approximate local output regulator problem for multi-input multi-output (MIMO) plants in the RNS class is addressed. Given a plant, the regulation objective is to ensure that a finite number of harmonics of a T-periodic reference signal and the plant output are identical whenever the reference signal, the T-periodic disturbance signal for this plant and the initial state are small. An internal model based output feedback control scheme is proposed for an exponentially stable RLS for tracking reference signals, which are a finite sum of functions that are a product of a sinusoid and a polynomial in time. This scheme merely uses the transfer function gains of the RLS at the poles of the Laplace transform of the reference signal and practically requires no other data. Using the proposed control scheme, a linear finite-dimensional controller is designed for a MIMO nonlinear plant in the RNS class using minimal plant information. The resulting closed-loop system is rigorously analyzed to establish that the controller achieves the regulation objective. The efficacy of the control design is illustrated numerically using the model of a cable coupled to a point mass via a nonlinear spring.     

基于故障诊断观测器的输出反馈容错控制设计

针对自适应故障诊断观测器需要误差系统满足苛刻的严格正实条件(Strictly positive real, SPR)和难于处理输出存在扰动的不确定性系统等问题, 提出了一种新型的增广故障诊断观测器的设计方法, 不仅显著地拓宽了自适应故障诊断观测器的适用范围, 而且其具有处理系统扰动的良好性能. 在故障估计的基础上, 提出了动态输出反馈容错控制的设计方法, 避免了基于观测器的状态反馈容错控制的设计难点. 同时, 故障诊断观测器和输出反馈容错控制是分开设计的, 并且又考虑了各自的性能, 简化了设计过程. 最后, 通过仿真实验验证了所提方法的有效性.     

Robust Static Output Feedback H2/H∞ Control Synthesis with Pole Placement Constraints: An LMI Approach

This paper studies the robust static output feedback (SOF) problem considering pole placement constraints for linear systems with polytopic uncertainty as well as linear parameter varying (LPV) systems. New linear matrix inequality (LMI) approaches are proposed for the SOF controller design while the pole placement, H₂, and H_∞ constraints are guaranteed. In addition, the gain-scheduled SOF controller will be designed for LPV systems if system parameters are measured. The proposed methods can be applied to general linear systems without imposing any constraints on system matrices. The performance and effectiveness of the proposed methods are shown using two examples.

     

Robust <Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> static output feedback control of discrete-time switched polytopic linear systems with average dwell-time

This paper investigates the problem of robust exponential H _∞ static output feedback controller design for a class of discrete-time switched linear systems with polytopic-type time-varying parametric uncertainties. The objective is to design a switched static output feedback controller guaranteeing the exponential stability of the resulting closed-loop system with a minimized exponential H _∞ performance under average dwell-time switching scheme. Based on a parameter-dependent discontinuous switched Lyapunov function combined with Finsler’s lemma and Dualization lemma, some novel conditions for exponential H _∞ performance analysis are first proposed and in turn the static output feedback controller designs are developed. It is shown that the controller gains can be obtained by solving a set of linear matrix inequalities (LMIs), which are numerically efficient with commercially available software. Finally, a simulation example is provided to illustrate the effectiveness of the proposed approaches.     

Static output feedback control via PDE boundary and ODE measurements in linear cascaded ODE–beam systems

This paper addresses the problem of feedback control design for a class of linear cascaded ordinary differential equation (ODE)–partial differential equation (PDE) systems via a boundary interconnection, where the ODE system is linear time-invariant and the PDE system is described by an Euler–Bernoulli beam (EBB) equation with variable coefficients. The objective of this paper is to design a static output feedback (SOF) controller via EBB boundary and ODE measurements such that the resulting closed-loop cascaded system is exponentially stable. The Lyapunov’s direct method is employed to derive the stabilization condition for the cascaded ODE–beam system, which is provided in terms of a set of bilinear matrix inequalities (BMIs). Furthermore, in order to compute the gain matrices of SOF controllers, a two-step procedure is presented to solve the BMI feasibility problem via the existing linear matrix inequality (LMI) optimization techniques. Finally, the numerical simulation is given to illustrate the effectiveness of the proposed design method.     

<Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> DOF control of stochastic systems with time-varying delay and <Emphasis Type="Italic">L</Emphasis><Subscript>∞</Subscript> disturbance

This paper considers the problem of H _∞ dynamic output feedback (DOF) control for a class of stochastic systems with time-varying delay and L _∞ disturbance. A new delay-dependent sufficient condition for the existence of the DOF controller is derived and the controller design method is given in the form of bilinear matrix inequalities (BMIs). Moreover, a variable step size path-following algorithm is proposed to solve the BMI problem. Numerical examples are given to illustrate the effectiveness of the proposed methods.     

Further results on variable output feedback controllers

Zak and Hui (1993) proposed a sliding mode controller for linear multiple-input-multiple-output (MIMO) systems using static output feedback. The author's previous paper (1996) provides an improvement of the output feedback controller of Zak-Hui for a class of linear single-input-single-output (SISO) systems that eliminated two important limitations: 1) system uncertainties must be bounded by the system output; and 2) a requirement of a matrix inequality. The controller developed previously can guarantee global closed-loop stability. This paper extends the previous results to linear MIMO systems. It is emphasized that the proposed MIMO controller yields global closed-loop stability whereas the one in Zak-Hui can only guarantee local stability. An application of the proposed MIMO controller to an aircraft model is included to show the effectiveness of the method     

输出多采样反馈控制器及系统稳定性

针对由连续被控对象和数字控制器构成的数字控制系统,将现有的线性系统输出多采样线性反馈数字控制器设计方法推广到非线性系统．并相应地研究了非线性输出多采样反馈控制器及摄动非线性系统．给出了这类非线性输出多采样数字控制系统及其摄动系统的稳定性和鲁棒性条件．     

Non-fragile control of fuzzy affine dynamic systems via piecewise Lyapunov functions

This paper addresses the robust H_∞ static output feedback (SOF) controller design problem for a class of uncertain fuzzy affine systems that are robust against both the plant parameter perturbations and controller gain variations. More specifically, the purpose is to synthesize a non-fragile piecewise affine SOF controller guaranteeing the stability of the resulting closed-loop fuzzy affine dynamic system with certainH_∞ performance index. Based on piecewise quadratic Lyapunov functions and applying some convexification procedures, two different approaches are proposed to solve the robust and non-fragile piecewise affine SOF controller synthesis problem. It is shown that the piecewise affine controller gains can be obtained by solving a set of linear matrix inequalities (LMIs). Finally, simulation examples are given to illustrate the effectiveness of the proposed methods.     

VSS theory-based disturbance estimation scheme for MIMO systems and its applications

Based on variable structure systems (VSS) theory, this paper presents a new method of estimating the disturbances (or system nonlinearities and any model uncertainties) for continuous-time multi-input multi-output (MIMO) minimum phase (with respect to the relation between the disturbance and the output) dynamical systems. The designed robust method requires only the input and output measurements of the system. Even for MIMO systems under the assumption that the partial states directly affected by the disturbances do not directly appear in the outputs (when it is considered in the state space), the disturbances can still be estimated by applying the proposed formulation. The estimated disturbances are then employed to construct a robust state observer. Further, the estimated disturbances and the state observer are applied to synthesize a controller to place the desired stable poles and to cancel the disturbances. A design example and simulation results are presented to show the practicality and effectiveness of the proposed algorithm.     

Stabilization of an unstable tubular reactor by nonlinear passive output feedback control

The multiple–input multiple–output (MIMO) output feedback (OF) control problem of an exothermic multi-jacket tubular open-loop unstable reactor is addressed. Over its axial length, the reactor has several equally sized cooling jackets. The controller must adjust the jacket temperatures on the basis of per jacket temperature measurements so that the closed-loop system is robustly stable. The problem is solved within a constructive framework, by combining notions and tools from chemical reactor engineering and partial differential equations (PDEs) control systems theory. The result is a MIMO nonlinear OF dynamic control design with (i) a decentralized MIMO passive state feedback (SF) controller implemented with a pointwise observer (PWO), (ii) closed-loop stability conditions in terms of sensor set and control gains, and (iii) efficient late lumping-based on-line implementation. The design is put in perspective with industrial PI and inventory control, and applied to a representative example through numerical simulation with favorable comparison against adaptive controllers.     

Output Feedback Adaptive Neural Control Without Seeking SPR Condition

For output‐feedback adaptive control of affine nonlinear systems based on feedback linearization and function approximation, the observation error dynamics usually should be augmented by a low‐pass filter to satisfy a strictly positive real (SPR) condition so that output feedback can be realized. Yet, this manipulation results in filtering basis functions of approximators, which makes the order of the controller dynamics very large. This paper presents a novel output‐feedback adaptive neural control (ANC) scheme to avoid seeking the SPR condition. A saturated output‐feedback control law is introduced based on a state‐feedback indirect ANC structure. An adaptive neural network (NN) observer is applied to estimate immeasurable system state variables. The output estimation error rather than the basis functions is filtered and the filter output is employed to update NNs. Under given initial conditions and sufficient control parameter constraints, it is proved that the closed‐loop system is uniformly ultimately bounded stable in the sense that both the state estimation errors and the tracking errors converge to small neighborhoods of zero. An illustrative example is provided to demonstrate the effectiveness of this approach.     

A robust anti-windup control design for electrically driven robots — Theory and experiment

A Robust Anti-Windup Control (RAWC) method is proposed for n-Degree-of-Freedom (DOF) electrically driven robots considering the actuator voltage saturation. The actuator’s saturation is fairly modeled by a smooth nonlinear function and the control design task is developed to avoid windup besides being robust against both model uncertainties and external disturbances. As a major point, the paper also takes into consideration the fact that windup phenomenon can be caused by some strong disturbances. As a result, being robust to external disturbances promises safer situation against windup. The proposed controller needs no saturation output feedback and torque’s measurement for control implementation. The analytical studies as well as the experimental results produced using MATLAB/SIMULINK External Mode Control on a 2-DOF robot manipulator driven by geared Permanent magnet DC motors prove the superiority of the proposed approach.     

Output‐feedback control of a class of stochastic nonlinear systems with linearly bounded unmeasurable states

In this paper, the problems of stochastic disturbance attenuation and asymptotic stabilization via output feedback are investigated for a class of stochastic nonlinear systems with linearly bounded unmeasurable states. For the first problem, under the condition that the stochastic inverse dynamics are generalized stochastic input‐to‐state stable, a linear output‐feedback controller is explicitly constructed to make the closed‐loop system noise‐to‐state stable. For the second problem, under the conditions that the stochastic inverse dynamics are stochastic input‐to‐state stable and the intensity of noise is known to be a unit matrix, a linear output‐feedback controller is explicitly constructed to make the closed‐loop system globally asymptotically stable in probability. Using a feedback domination design method, we construct these two controllers in a unified way. Copyright © 2007 John Wiley & Sons, Ltd.