New advances in H∞ control and filtering for nonlinear systems

The main objective of this special issue is to summarise recent advances in H∞ control and filtering for nonlinear systems, including time-delay, hybrid and stochastic systems. The published papers provide new ideas and approaches, clearly indicating the advances made in problem statements, methodologies or applications with respect to the existing results. The special issue also includes papers focusing on advanced and non-traditional methods and presenting considerable novelties in theoretical background or experimental setup. Some papers present applications to newly emerging fields, such as network-based control and estimation

Non-fragile H∞ control with randomly occurring gain variations, distributed delays and channel fadings

This study is concerned with the non-fragile H∞ control problem for a class of discrete-time systems subject to randomly occurring gain variations (ROGVs), channel fadings and infinite-distributed delays. A new stochastic phenomenon (ROGVs), which is governed by a sequence of random variables with a certain probabilistic distribution, is put forward to better reflect the reality of the randomly occurring fluctuation of controller gains implemented in networked environments. A modified stochastic Rice fading model is then exploited to account for both channel fadings and random time-delays in a unified representation. The channel coefficients are a set of mutually independent random variables which abide by any (not necessarily Gaussian) probability density function on [0, 1]. Attention is focused on the analysis and design of a non-fragile H∞ outputfeedback controller such that the closed-loop control system is stochastically stable with a prescribed H∞ performance. Through intensive stochastic analysis, sufficient conditions are established for the desired stochastic stability and H∞ disturbance attenuation, and the addressed non-fragile control problem is then recast as a convex optimisation problem solvable via the semidefinite programme method. An example is finally provided to demonstrate the effectiveness of the proposed design method

A survey on gain-scheduled control and filtering for parameter-varying systems

Copyright © 2014 Guoliang Wei 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.This paper presents an overview of the recent developments in the gain-scheduled control and filtering problems for the parameter-varying systems. First of all, we recall several important algorithms suitable for gain-scheduling method including gain-scheduled proportional-integral derivative (PID) control, H 2, H ∞ and mixed H 2 / H ∞ gain-scheduling methods as well as fuzzy gain-scheduling techniques. Secondly, various important parameter-varying system models are reviewed, for which gain-scheduled control and filtering issues are usually dealt with. In particular, in view of the randomly occurring phenomena with time-varying probability distributions, some results of our recent work based on the probability-dependent gain-scheduling methods are reviewed. Furthermore, some latest progress in this area is discussed. Finally, conclusions are drawn and several potential future research directions are outlined.The National Natural Science Foundation of China under Grants 61074016, 61374039, 61304010, and 61329301; the Natural Science Foundation of Jiangsu Province of China under Grant BK20130766; the Program for Professor of Special Appointment (Eastern Scholar) at Shanghai Institutions of Higher Learning; the Program for New Century Excellent Talents in University under Grant NCET-11-1051, the Leverhulme Trust of the U.K., the Alexander von Humboldt Foundation of Germany

Non-fragile Dynamic Output Feedback H∞ Control for a Class of Uncertain Switched Systems with Time-varying Delay

The problem of non-fragile dynamic output feedback H∞ control for a class of uncertain switched systems with time-varying delay is discussed. Firstly, the form of non-fragile dynamic output feedback H∞ controller is given. Under the condition that the upper bound of time delay and the upper bound of delay derivative are limited simultaneously, Lyapunov functional and its corresponding switching rules are constructed by using single Lyapunov function method and convex combination technique; Secondly, we use the inequality lemma to scale the derived Lyapunov functional in order to eliminate the time-varying delay term in the inequality, and then introduce the J-function to obtain a nonlinear matrix inequality that satisfies the H∞ performance index γ, we also employ Schur complement lemma to transform the nonlinear matrix inequality into set of linear matrix inequalities consisting of two linear matrix inequalities, a sufficient condition for the existence of a non-fragile dynamic output feedback H∞ controller and satisfying the H∞ performance index γ is concluded for a class of uncertain switching systems with variable time delay; Finally, a switched system composed of two subsystems is considered and the effectiveness and practicability of the theorem are illustrated by numerical simulation with LMI toolbox.

Stabilization computation for a kind of uncertain switched systems using non-fragile sliding mode observer method

A non-fragile sliding mode control problem will be investigated in this article. The problem focuses on a kind of uncertain switched singular time-delay systems in which the state is not available. First, according to the designed non-fragile observer, we will construct an integral-type sliding surface, in which the estimated unmeasured state is used. Second, we synthesize a sliding mode controller. The reachability of the specified sliding surface could be proved by this sliding mode controller in a finite time. Moreover, linear matrix inequality conditions will be developed to check the exponential admissibility of the sliding mode dynamics. After that, the gain matrices designed will be given along with it. Finally, some numerical result will be provided, and the result can be used to prove the effectiveness of the method

Formal Synthesis of Control Strategies for Positive Monotone Systems

We design controllers from formal specifications for positive discrete-time monotone systems that are subject to bounded disturbances. Such systems are widely used to model the dynamics of transportation and biological networks. The specifications are described using signal temporal logic (STL), which can express a broad range of temporal properties. We formulate the problem as a mixed-integer linear program (MILP) and show that under the assumptions made in this paper, which are not restrictive for traffic applications, the existence of open-loop control policies is sufficient and almost necessary to ensure the satisfaction of STL formulas. We establish a relation between satisfaction of STL formulas in infinite time and set-invariance theories and provide an efficient method to compute robust control invariant sets in high dimensions. We also develop a robust model predictive framework to plan controls optimally while ensuring the satisfaction of the specification. Illustrative examples and a traffic management case study are included.Comment: To appear in IEEE Transactions on Automatic Control (TAC) (2018), 16 pages, double colum

Design of non-fragile state estimators for discrete time-delayed neural networks with parameter uncertainties

This paper is concerned with the problem of designing a non-fragile state estimator for a class of uncertain discrete-time neural networks with time-delays. The norm-bounded parameter uncertainties enter into all the system matrices, and the network output is of a general type that contains both linear and nonlinear parts. The additive variation of the estimator gain is taken into account that reflects the possible implementation error of the neuron state estimator. The aim of the addressed problem is to design a state estimator such that the estimation performance is non-fragile against the gain variations and also robust against the parameter uncertainties. Sufficient conditions are presented to guarantee the existence of the desired non-fragile state estimators by using the Lyapunov stability theory and the explicit expression of the desired estimators is given in terms of the solution to a linear matrix inequality. Finally, a numerical example is given to demonstrate the effectiveness of the proposed design approach

Distributed filtering for switched nonlinear positive systems with missing measurements over sensor networks

In this paper, the distributed filtering problem is investigated for a class of switched nonlinear positive systems over sensor networks. The randomly varying nonlinearities and missing measurements, which are governed by two mutually independent Bernoulli distributed white sequences, are taken into account. Based on the output measurements of the individual sensor and its neighbors, the distributed filter with positivity constraint is designed to ensure the prescribed average l∞ performance index of the estimation error dynamics. Special attention is paid to preserve the positivity of the underlying system as well as the sparseness of the addressed network topology. Sufficient conditions are established on the existence of the desired filters by using the linear programming approach, and the filter gains are subsequently characterized. A simulation example is provided to illustrate the effectiveness of the proposed filtering method.This work was supported in part by the National Natural Science Foundation of China under Grant 61104114, Grant 61201035, Grant 61374070, and Grant 61473055 and in part by the Liaoning Province Science Foundation under Grant 2015020075 and in part by the General Projects for Science Research in the Liaoning Province under Grant L2014026

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counter-example guided inductive synthesis that automates the design of digital controllers that are correct by construction. The synthesis result is sound with respect to the complete range of approximations, including time discretization, quantization effects, and finite-precision arithmetic and its rounding errors. We have implemented our new algorithm in a tool called DSSynth, and are able to automatically generate stable controllers for a set of intricate plant models taken from the literature within minutes.Comment: 10 page

Discrete Time Systems

Discrete-Time Systems comprehend an important and broad research field. The consolidation of digital-based computational means in the present, pushes a technological tool into the field with a tremendous impact in areas like Control, Signal Processing, Communications, System Modelling and related Applications. This book attempts to give a scope in the wide area of Discrete-Time Systems. Their contents are grouped conveniently in sections according to significant areas, namely Filtering, Fixed and Adaptive Control Systems, Stability Problems and Miscellaneous Applications. We think that the contribution of the book enlarges the field of the Discrete-Time Systems with signification in the present state-of-the-art. Despite the vertiginous advance in the field, we also believe that the topics described here allow us also to look through some main tendencies in the next years in the research area