Analysis, filtering, and control for Takagi-Sugeno fuzzy models in networked systems

Copyright © 2015 Sunjie Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.The fuzzy logic theory has been proven to be effective in dealing with various nonlinear systems and has a great success in industry applications. Among different kinds of models for fuzzy systems, the so-called Takagi-Sugeno (T-S) fuzzy model has been quite popular due to its convenient and simple dynamic structure as well as its capability of approximating any smooth nonlinear function to any specified accuracy within any compact set. In terms of such a model, the performance analysis and the design of controllers and filters play important roles in the research of fuzzy systems. In this paper, we aim to survey some recent advances on the T-S fuzzy control and filtering problems with various network-induced phenomena. The network-induced phenomena under consideration mainly include communication delays, packet dropouts, signal quantization, and randomly occurring uncertainties (ROUs). With such network-induced phenomena, the developments on T-S fuzzy control and filtering issues are reviewed in detail. In addition, some latest results on this topic are highlighted. In the end, conclusions are drawn and some possible future research directions are pointed out.This work was supported in part by the National Natural Science Foundation of China under Grants 61134009, 61329301, 11301118 and 61174136, the Natural Science Foundation of Jiangsu Province of China under Grant BK20130017, the Fundamental Research Funds for the Central Universities of China under Grant CUSF-DH-D-2013061, the Royal Society of the U.K., and the Alexander von Humboldt Foundation of Germany

A Tractable Fault Detection and Isolation Approach for Nonlinear Systems with Probabilistic Performance

This article presents a novel perspective along with a scalable methodology to design a fault detection and isolation (FDI) filter for high dimensional nonlinear systems. Previous approaches on FDI problems are either confined to linear systems or they are only applicable to low dimensional dynamics with specific structures. In contrast, shifting attention from the system dynamics to the disturbance inputs, we propose a relaxed design perspective to train a linear residual generator given some statistical information about the disturbance patterns. That is, we propose an optimization-based approach to robustify the filter with respect to finitely many signatures of the nonlinearity. We then invoke recent results in randomized optimization to provide theoretical guarantees for the performance of the proposed filer. Finally, motivated by a cyber-physical attack emanating from the vulnerabilities introduced by the interaction between IT infrastructure and power system, we deploy the developed theoretical results to detect such an intrusion before the functionality of the power system is disrupted

Predictive LPV control of a liquid-gas separation process

[EN] The problem of controlling a liquid-gas separation process is approached by using LPV control techniques. An LPV model is derived from a nonlinear model of the process using differential inclusion techniques. Once an LPV model is available, an LPV controller can be synthesized. The authors present a predictive LPV controller based on the GPC controller [Clarke D, Mohtadi C, Tuffs P. Generalized predictive control - Part I. Automatica 1987;23(2):137-48; Clarke D, Mohtadi C, Tuffs P. Generalized predictive control - Part II. Extensions and interpretations. Automatica 1987;23(2):149-60]. The resulting controller is denoted as GPC-LPV. This one shows the same structure as a general LPV controller [El Gahoui L, Scorletti G. Control of rational systems using linear-fractional representations and linear matrix inequalities. Automatica 1996;32(9):1273-84; Scorletti G, El Ghaoui L. Improved LMI conditions for gain scheduling and related control problems. International Journal of Robust Nonlinear Control 1998;8:845-77; Apkarian P, Tuan HD. Parametrized LMIs in control theory. In: Proceedings of the 37th IEEE conference on decision and control; 1998. p. 152-7; Scherer CW. LPV control and full block multipliers. Automatica 2001;37:361-75], which presents a linear fractional dependence on the process signal measurements. Therefore, this controller has the ability of modifying its dynamics depending on measurements leading to a possibly nonlinear controller. That controller is designed in two steps. First, for a given steady state point is obtained a linear GPC using a linear local model of the nonlinear system around that operating point. And second, using bilinear and linear matrix inequalities (BMIs/LMIs) the remaining matrices of GPC-LPV are selected in order to achieve some closed loop properties: stability in some operation zone, norm bounding of some input/output channels, maximum settling time, maximum overshoot, etc., given some LPV model for the nonlinear system. As an application, a GPC-LPV is designed for the derived LPV model of the liquid-gas separation process. This methodology can be applied to any nonlinear system which can be embedded in an LPV system using differential inclusion techniques. (C) 2006 Elsevier Ltd. All rights reserved.Partially supported by projects: CICYT DPI2004-08383-C03-02 and DPI2005-07835.Salcedo-Romero-De-Ávila, J.; Martínez Iranzo, MA.; Ramos Fernández, C.; Herrero Durá, JM. (2007). Predictive LPV control of a liquid-gas separation process. Advances in Engineering Software. 38(7):466-474. https://doi.org/10.1016/j.advengsoft.2006.10.003S46647438

Optimal control and robust estimation for ocean wave energy converters

This thesis deals with the optimal control of wave energy converters and some associated observer design problems. The first part of the thesis will investigate model predictive control of an ocean wave energy converter to maximize extracted power. A generic heaving converter that can have both linear dampers and active elements as a power take-off system is considered and an efficient optimal control algorithm is developed for use within a receding horizon control framework. The optimal control is also characterized analytically. A direct transcription of the optimal control problem is also considered as a general nonlinear program. A variation of the projected gradient optimization scheme is formulated and shown to be feasible and computationally inexpensive compared to a standard nonlinear program solver. Since the system model is bilinear and the cost function is not convex quadratic, the resulting optimization problem is shown not to be a quadratic program. Results are compared with other methods like optimal latching to demonstrate the improvement in absorbed power under irregular sea condition simulations. In the second part, robust estimation of the radiation forces and states inherent in the optimal control of wave energy converters is considered. Motivated by this, low order H∞ observer design for bilinear systems with input constraints is investigated and numerically tractable methods for design are developed. A bilinear Luenberger type observer is formulated and the resulting synthesis problem reformulated as that for a linear parameter varying system. A bilinear matrix inequality problem is then solved to find nominal and robust quadratically stable observers. The performance of these observers is compared with that of an extended Kalman filter. The robustness of the observers to parameter uncertainty and to variation in the radiation subsystem model order is also investigated. This thesis also explores the numerical integration of bilinear control systems with zero-order hold on the control inputs. Making use of exponential integrators, exact to high accuracy integration is proposed for such systems. New a priori bounds are derived on the computational complexity of integrating bilinear systems with a given error tolerance. Employing our new bounds on computational complexity, we propose a direct exponential integrator to solve bilinear ODEs via the solution of sparse linear systems of equations. Based on this, a novel sparse direct collocation of bilinear systems for optimal control is proposed. These integration schemes are also used within the indirect optimal control method discussed in the first part.Open Acces

Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming

A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over an infinite time horizon. We present a novel condition on barrier certificates, termed the invariant barrier-certificate condition, that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is the weakest possible one to attain inductive invariance. We show that discharging the invariant barrier-certificate condition -- thereby synthesizing invariant barrier certificates -- can be encoded as solving an optimization problem subject to bilinear matrix inequalities (BMIs). We further propose a synthesis algorithm based on difference-of-convex programming, which approaches a local optimum of the BMI problem via solving a series of convex optimization problems. This algorithm is incorporated in a branch-and-bound framework that searches for the global optimum in a divide-and-conquer fashion. We present a weak completeness result of our method, namely, a barrier certificate is guaranteed to be found (under some mild assumptions) whenever there exists an inductive invariant (in the form of a given template) that suffices to certify safety of the system. Experimental results on benchmarks demonstrate the effectiveness and efficiency of our approach.Comment: To be published in Inf. Comput. arXiv admin note: substantial text overlap with arXiv:2105.1431

Nonlinear stochastic controllers for semiactive and regenerative structural systems, with guaranteed quadratic performance margins

In many applications of vibration control, the circumstances of the application impose constraints on the energy available for the actuation of control forces. Semiactive dampers (i.e., viscous dampers with controllable coefficients) constitute the simplest example of such actuation in structural control applications. Regenerative Force Actuation (RFA) networks are an extension of semiactive devices, in which mechanical energy is first converted to electrical energy, which is then dissipated in a controllable resistive network. A fairly general class of semiactive and regenerative systems can be characterized by a differential equation which is bilinear (i.e., linear in state, linear in control input, but nonlinear in both). This paper presents a general approach to bilinear feedback control system design for semiactive and regenerative systems, which is analytically guaranteed to out-perform optimal linear viscous damping in stationary stochastic response, under the familiar Quadratic Gaussian performance measure. The design for full-state feedback and for the more practical case of noise-corrupted and incomplete measurements (i.e., output feedback) are separately discussed. Variants of the theory are shown to exist for other quadratic performance measures, including risk-sensitive and multi-objective frameworks. An illustrative application to civil engineering is presented

Dissipative Stabilization of Linear Systems with Time-Varying General Distributed Delays (Complete Version)

New methods are developed for the stabilization of a linear system with general time-varying distributed delays existing at the system's states, inputs and outputs. In contrast to most existing literature where the function of time-varying delay is continuous and bounded, we assume it to be bounded and measurable. Furthermore, the distributed delay kernels can be any square-integrable function over a bounded interval, where the kernels are handled directly by using a decomposition scenario without using approximations. By constructing a Krasovski\u{i} functional via the application of a novel integral inequality, sufficient conditions for the existence of a dissipative state feedback controller are derived in terms of matrix inequalities without utilizing the existing reciprocally convex combination lemmas. The proposed synthesis (stability) conditions, which take dissipativity into account, can be either solved directly by a standard numerical solver of semidefinite programming if they are convex, or reshaped into linear matrix inequalities, or solved via a proposed iterative algorithm. To the best of our knowledge, no existing methods can handle the synthesis problem investigated in this paper. Finally, numerical examples are presented to demonstrate the effectiveness of the proposed methodologies.Comment: Accepted by Automatic