A review of convex approaches for control, observation and safety of linear parameter varying and Takagi-Sugeno systems

This paper provides a review about the concept of convex systems based on Takagi-Sugeno, linear parameter varying (LPV) and quasi-LPV modeling. These paradigms are capable of hiding the nonlinearities by means of an equivalent description which uses a set of linear models interpolated by appropriately defined weighing functions. Convex systems have become very popular since they allow applying extended linear techniques based on linear matrix inequalities (LMIs) to complex nonlinear systems. This survey aims at providing the reader with a significant overview of the existing LMI-based techniques for convex systems in the fields of control, observation and safety. Firstly, a detailed review of stability, feedback, tracking and model predictive control (MPC) convex controllers is considered. Secondly, the problem of state estimation is addressed through the design of proportional, proportional-integral, unknown input and descriptor observers. Finally, safety of convex systems is discussed by describing popular techniques for fault diagnosis and fault tolerant control (FTC).Peer ReviewedPostprint (published version

Synthesis of Minimal Error Control Software

Software implementations of controllers for physical systems are at the core of many embedded systems. The design of controllers uses the theory of dynamical systems to construct a mathematical control law that ensures that the controlled system has certain properties, such as asymptotic convergence to an equilibrium point, while optimizing some performance criteria. However, owing to quantization errors arising from the use of fixed-point arithmetic, the implementation of this control law can only guarantee practical stability: under the actions of the implementation, the trajectories of the controlled system converge to a bounded set around the equilibrium point, and the size of the bounded set is proportional to the error in the implementation. The problem of verifying whether a controller implementation achieves practical stability for a given bounded set has been studied before. In this paper, we change the emphasis from verification to automatic synthesis. Using synthesis, the need for formal verification can be considerably reduced thereby reducing the design time as well as design cost of embedded control software. We give a methodology and a tool to synthesize embedded control software that is Pareto optimal w.r.t. both performance criteria and practical stability regions. Our technique is a combination of static analysis to estimate quantization errors for specific controller implementations and stochastic local search over the space of possible controllers using particle swarm optimization. The effectiveness of our technique is illustrated using examples of various standard control systems: in most examples, we achieve controllers with close LQR-LQG performance but with implementation errors, hence regions of practical stability, several times as small.Comment: 18 pages, 2 figure

Multi - objective sliding mode control of active magnetic bearing system

Active Magnetic Bearing (AMB) system is known to inherit many nonlinearity effects due to its rotor dynamic motion and the electromagnetic actuators which make the system highly nonlinear, coupled and open-loop unstable. The major nonlinearities that are associated with AMB system are gyroscopic effect, rotor mass imbalance and nonlinear electromagnetics in which the gyroscopics and imbalance are dependent to the rotational speed of the rotor. In order to provide satisfactory system performance for a wide range of system condition, active control is thus essential. The main concern of the thesis is the modeling of the nonlinear AMB system and synthesizing a robust control method based on Sliding Mode Control (SMC) technique such that the system can achieve robust performance under various system nonlinearities. The model of the AMB system is developed based on the integration of the rotor and electromagnetic dynamics which forms nonlinear time varying state equations that represent a reasonably close description of the actual system. Based on the known bound of the system parameters and state variables, the model is restructured to become a class of uncertain system by using a deterministic approach. In formulating the control algorithm to control the system, SMC theory is adapted which involves the formulation of the sliding surface and the control law such that the state trajectories are driven to the stable sliding manifold. The surface design involves the transformation of the system into a special canonical representation such that the sliding motion can be characterized by a convex representation of the desired system performances. Optimal Linear Quadratic (LQ) characteristics and regional pole-clustering of the closed-loop poles are designed to be the objectives to be fulfilled in the surface design where the formulation is represented as a set of Linear Matrix Inequality optimization problem. For the control law design, a new continuous SMC controller is proposed in which asymptotic convergence of the system’s state trajectories in finite time is guaranteed. This is achieved by adapting the equivalent control approach with the exponential decaying boundary layer technique. The newly designed sliding surface and control law form the complete Multi-objective SMC (MO-SMC) and the proposed algorithm is applied into the nonlinear AMB in which the results show that robust system performance is achieved for various system conditions. The findings also demonstrate that the MO-SMC gives better system response than the reported ideal SMC (I-SMC) and continuous SMC (C-SMC)

NGMV control of delayed piecewise affine systems

A Nonlinear Generalized Minimum Variance (NGMV) control algorithm is introduced for the control of piecewise affine (PWA) systems. Under some conditions, discrete-time PWA systems can be transferred into an equivalent state-dependent nonlinear system form. The equivalent state-dependent systems maintain the hybrid nature of the original PWA systems and include both the discrete and continuous signals in one general description. In a more general way, the process is assumed to include common delays in input or output channels of magnitude k. Then the NGMV control strategy [1] can be applied. The NGMV controller is related to a well-known and accepted solution for time delay systems (Smith Predictor) but has the advantage that it may stabilize open-loop unstable processes [2]

Gain-scheduled H∞ control via parameter-dependent Lyapunov functions

Synthesising a gain-scheduled output feedback H∞ controller via parameter-dependent Lyapunov functions for linear parameter-varying (LPV) plant models involves solving an infinite number of linear matrix inequalities (LMIs). In practice, for affine LPV models, a finite number of LMIs can be achieved using convexifying techniques. This paper proposes an alternative approach to achieve a finite number of LMIs. By simple manipulations on the bounded real lemma inequality, a symmetric matrix polytope inequality can be formed. Hence, the LMIs need only to be evaluated at all vertices of such a symmetric matrix polytope. In addition, a construction technique of the intermediate controller variables is also proposed as an affine matrix-valued function in the polytopic coordinates of the scheduled parameters. Computational results on a numerical example using the approach were compared with those from a multi-convexity approach in order to demonstrate the impacts of the approach on parameter-dependent Lyapunov-based stability and performance analysis. Furthermore, numerical simulation results show the effectiveness of these proposed techniques

Automating control system design via a multiobjective evolutionary algorithm

This chapter presents a performance-prioritized computer aided control system design (CACSD) methodology using a multi-objective evolutionary algorithm. The evolutionary CACSD approach unifies different control laws in both the time and frequency domains based upon performance satisfactions, without the need of aggregating different design criteria into a compromise function. It is shown that control engineers' expertise as well as settings on goal or priority for different preference on each performance requirement can be easily included and modified on-line according to the evolving trade-offs, which makes the controller design interactive, transparent and simple for real-time implementation. Advantages of the evolutionary CACSD methodology are illustrated upon a non-minimal phase plant control system, which offer a set of low-order Pareto optimal controllers satisfying all the conflicting performance requirements in the face of system constraints

Scheduling Dimension Reduction of LPV Models -- A Deep Neural Network Approach

In this paper, the existing Scheduling Dimension Reduction (SDR) methods for Linear Parameter-Varying (LPV) models are reviewed and a Deep Neural Network (DNN) approach is developed that achieves higher model accuracy under scheduling dimension reduction. The proposed DNN method and existing SDR methods are compared on a two-link robotic manipulator, both in terms of model accuracy and performance of controllers synthesized with the reduced models. The methods compared include SDR for state-space models using Principal Component Analysis (PCA), Kernel PCA (KPCA) and Autoencoders (AE). On the robotic manipulator example, the DNN method achieves improved representation of the matrix variations of the original LPV model in terms of the Frobenius norm compared to the current methods. Moreover, when the resulting model is used to accommodate synthesis, improved closed-loop performance is obtained compared to the current methods.Comment: Accepted to American Control Conference (ACC) 2020, Denve