Robust passivity and passification of stochastic fuzzy time-delay systems

The official published version can be obtained from the link below.In this paper, the passivity and passification problems are investigated for a class of uncertain stochastic fuzzy systems with time-varying delays. The fuzzy system is based on the Takagi–Sugeno (T–S) model that is often used to represent the complex nonlinear systems in terms of fuzzy sets and fuzzy reasoning. To reflect more realistic dynamical behaviors of the system, both the parameter uncertainties and the stochastic disturbances are considered, where the parameter uncertainties enter into all the system matrices and the stochastic disturbances are given in the form of a Brownian motion. We first propose the definition of robust passivity in the sense of expectation. Then, by utilizing the Lyapunov functional method, the Itô differential rule and the matrix analysis techniques, we establish several sufficient criteria such that, for all admissible parameter uncertainties and stochastic disturbances, the closed-loop stochastic fuzzy time-delay system is robustly passive in the sense of expectation. The derived criteria, which are either delay-independent or delay-dependent, are expressed in terms of linear matrix inequalities (LMIs) that can be easily checked by using the standard numerical software. Illustrative examples are presented to demonstrate the effectiveness and usefulness of the proposed results.This work was supported by the Teaching and Research Fund for Excellent Young Teachers at Southeast University of China, the Specialized Research Fund for the Doctoral Program of Higher Education for New Teachers 200802861044, the National Natural Science Foundation of China under Grant 60804028 and the Royal Society of the United Kingdom

On passivity and passification of stochastic fuzzy systems with delays: The discrete-time case

Copyright [2010] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.Takagi–Sugeno (T-S) fuzzy models, which are usually represented by a set of linear submodels, can be used to describe or approximate any complex nonlinear systems by fuzzily blending these subsystems, and so, significant research efforts have been devoted to the analysis of such models. This paper is concerned with the passivity and passification problems of the stochastic discrete-time T-S fuzzy systems with delay. We first propose the definition of passivity in the sense of expectation. Then, by utilizing the Lyapunov functional method, the stochastic analysis combined with the matrix inequality techniques, a sufficient condition in terms of linear matrix inequalities is presented, ensuring the passivity performance of the T-S fuzzy models. Finally, based on this criterion, state feedback controller is designed, and several criteria are obtained to make the closed-loop system passive in the sense of expectation. The results acquired in this paper are delay dependent in the sense that they depend on not only the lower bound but also the upper bound of the time-varying delay. Numerical examples are also provided to demonstrate the effectiveness and feasibility of our criteria.This work was supported in part by the Royal Society Sino–British Fellowship Trust Award of the U.K., by the National Natural Science Foundation of China under Grant 60804028, by the Specialized Research Fund for the Doctoral Program of Higher Education for New Teachers in China under Grant 200802861044, and by the Teaching and Research Fund for Excellent Young Teachers at Southeast University of China

Stochastically Resilient Observer Design for a Class of Continuous-Time Nonlinear Systems

This work addresses the design of stochastically resilient or non-fragile continuous-time Luenberger observers for systems with incrementally conic nonlinearities. Such designs maintain the convergence and/or performance when the observer gain is erroneously implemented due possibly to computational errors i.e. round off errors in computing the observer gain or changes in the observer parameters during operation. The error in the observer gain is modeled as a random process and a common linear matrix inequality formulation is presented to address the stochastically resilient observer design problem for a variety of performance criteria. Numerical examples are given to illustrate the theoretical results

Analysis and Synthesis Methods for Nonlinear Network Systems

Over the past two decades the interactions between systems and their control components have undergone some significant changes. These interactions are no more localized, but usually take place over a network and even the control components may be remotely located, thus involving aspects of communication in control systems. Furthermore, the last decade has also seen a surge in intermingling ideas from control and communication and their application to biological systems, power systems giving rise to new research areas like Networked Control Systems (NCS), Cyber-Physical Systems (CPS), Gene Regulatory Networks (GRN) to name a few. This has led researchers to study control systems with practical constraints imposed on them. One such practical constraint identified as a major challenge, is the fragility of control systems and performance degradation, when the interconnection is not reliable. Design of controllers and estimators for such systems needs to take into account these constraints and mitigate them, to ensure sufficient robustness against unreliability of the interconnection. Considerable research has been done over the past decade in analyzing these new challenges and developing design tools to extract desired performance. Control over communication channels is one such widely researched area where the effect of unreliable interconnection on the stability performance of the system has been studied. The reliability of communication could manifest in various ways like sensor failure at output measurement, control actuator failure, interconnection links failures in the form of packet erasure channel, fading channel, quantization etc. Significant research progress has been made, in areas of control and estimation over unreliable communication links, consensus over unreliable network interconnections, etc., albeit the work has dealt with linear time invariant (LTI) systems theory. This has led to fruitful results for special cases of packet-drop communication channel modeled as a Bernoulli erasure channel. In the case of linear systems these results have demonstrated a connection between the performance characteristics of the interconnection and the expansion or destabilizing characteristics of the linear system, in obtaining desired performance of the closed loop system. Most of the current research for control over communication channels have focused on LTI plant dynamics. Furthermore the results involving nonlinear plant dynamics have reverted to local linearization techniques. It is well-known that for nonlinear systems, results based on local linearization at an equilibrium point will be local in nature and does not account for the global dynamics of the nonlinear system. For the proposed applications of network control systems to electric power grid and biological networks it is essential to develop results for the analysis of nonlinear systems over networks. In this work, we are primarily interested in the interaction of nonlinear systems and controllers over unreliable interconnections modelled as a stochastic multiplicative uncertainty. We provide analysis and synthesis methods for the control and observation of uncertain nonlinear network controlled systems. Our analysis methods indicate, fundamental limitations arise in the stabilization and observation of nonlinear systems over uncertain channels. Our main result provides the limitation for observation of nonlinear system over erasure channel expressed in terms of the probability of erasure and positive Lyapunov exponents of the open loop nonlinear plant. The positive Lyapunov exponents are measure of dynamical complexity and comparing our results with existing results for LTI systems, we show that Lyapunov exponents emerge as a natural generalization of eigenvalues from linear to nonlinear systems. Entropy is another measure of dynamical complexity. Using results from ergodic theory of dynamical systems we also relate the limitation for stabilization and observation with the entropy corresponding to the invariant measure capturing the global dynamics of the nonlinear systems. Existing Bode-like fundamental limitation results for nonlinear systems relate limitation for stabilization with the entropy corresponding to the invariant measure at the equilibrium point. Our results are the first to connect the limitation for stabilization with the entropy corresponding to invariant measure other than the one associated with equilibrium point. Our synthesis methods for the design of robust controller and observer against uncertain channels revolves around special class of nonlinear systems -Lure systems. These systems are essentially linear systems with sector-bounded nonlinearity in the feedback loop. For this special class of nonlinear systems, we delve into the theoretical tools of absolute stability to obtain some synthesis methods which provide design criteria for nonlinear systems over unreliable interconnections. Stability of Lur\u27e systems is a special case of the stability of interconnected passive systems. Thus we can characterize the unreliability of the interconnection, that guarantees the desired performance for Lur\u27e systems, in terms of the passivity of the linear system. Passivity theory is a rich theory with wide spread applications to nonlinear controller design and observation, which extends ideas of system stability to input-output systems using the ideas of dissipativity. Our synthesis methods developed for Lure systems with input and output stochastic channel uncertainties provide natural extension of the powerful passivity based synthesis tools developed for deterministic Lure systems. In particular, our results help understand the trade-off between passivity and stochastic uncertainty in feedback control systems

Direct and Indirect Couplings in Coherent Feedback Control of Linear Quantum Systems

The purpose of this paper is to study and design direct and indirect couplings for use in coherent feedback control of a class of linear quantum stochastic systems. A general physical model for a nominal linear quantum system coupled directly and indirectly to external systems is presented. Fundamental properties of stability, dissipation, passivity, and gain for this class of linear quantum models are presented and characterized using complex Lyapunov equations and linear matrix inequalities (LMIs). Coherent $H^\infty$ and LQG synthesis methods are extended to accommodate direct couplings using multistep optimization. Examples are given to illustrate the results.Comment: 33 pages, 7 figures; accepted for publication in IEEE Transactions on Automatic Control, October 201

Relaminarisation of Re_{\tau} = 100 channel flow with globally stabilising linear feedback control

The problems of nonlinearity and high dimension have so far prevented a complete solution of the control of turbulent flow. Addressing the problem of nonlinearity, we propose a flow control strategy which ensures that the energy of any perturbation to the target profile decays monotonically. The controller's estimate of the flow state is similarly guaranteed to converge to the true value. We present a one-time off-line synthesis procedure, which generalises to accommodate more restrictive actuation and sensing arrangements, with conditions for existence for the controller given in this case. The control is tested in turbulent channel flow ($Re_\tau=100$) using full-domain sensing and actuation on the wall-normal velocity. Concentrated at the point of maximum inflection in the mean profile, the control directly counters the supply of turbulence energy arising from the interaction of the wall-normal perturbations with the flow shear. It is found that the control is only required for the larger-scale motions, specifically those above the scale of the mean streak spacing. Minimal control effort is required once laminar flow is achieved. The response of the near-wall flow is examined in detail, with particular emphasis on the pressure and wall-normal velocity fields, in the context of Landahl's theory of sheared turbulence

Resilient Observer Design for Discrete-Time Nonlinear Systems with General Criteria

A class of discrete-time nonlinear system and measurement equations having incrementally conic nonlinearities and finite energy disturbances is considered. A linear matrix inequality based resilient observer design approach is presented to guarantee the satisfaction of a variety of performance criteria ranging from simple estimation error boundedness to dissipativity in the presence of bounded perturbations on the gain. Some simulation examples are included to illustrate the proposed design methodology