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

Robust stability and stabilization of discrete singular systems: An equivalent characterization

This note deals with the problems of robust stability and stabilization for uncertain discrete-time singular systems. The parameter uncertainties are assumed to be time-invariant and norm-bounded appearing in both the state and input matrices. A new necessary and sufficient condition for a discrete-time singular system to be regular, causal and stable is proposed in terms of a strict linear matrix inequality (LMI). Based on this, the concepts of generalized quadratic stability and generalized quadratic stabilization for uncertain discrete-time singular systems are introduced. Necessary and sufficient conditions for generalized quadratic stability and generalized quadratic stabilization are obtained in terms of a strict LMI and a set of matrix inequalities, respectively. With these conditions, the problems of robust stability and robust stabilization are solved. An explicit expression of a desired state feedback controller is also given, which involves no matrix decomposition. Finally, an illustrative example is provided to demonstrate the applicability of the proposed approach.published_or_final_versio

Recent advances on recursive filtering and sliding mode design for networked nonlinear stochastic systems: A survey

Copyright © 2013 Jun Hu 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.Some recent advances on the recursive filtering and sliding mode design problems for nonlinear stochastic systems with network-induced phenomena are surveyed. The network-induced phenomena under consideration mainly include missing measurements, fading measurements, signal quantization, probabilistic sensor delays, sensor saturations, randomly occurring nonlinearities, and randomly occurring uncertainties. With respect to these network-induced phenomena, the developments on filtering and sliding mode design problems are systematically reviewed. In particular, concerning the network-induced phenomena, some recent results on the recursive filtering for time-varying nonlinear stochastic systems and sliding mode design for time-invariant nonlinear stochastic systems are given, respectively. Finally, conclusions are proposed and some potential future research works are pointed out.This work was supported in part by the National Natural Science Foundation of China under Grant nos. 61134009, 61329301, 61333012, 61374127 and 11301118, the Engineering and Physical Sciences Research Council (EPSRC) of the UK under Grant no. GR/S27658/01, the Royal Society of the UK, and the Alexander von Humboldt Foundation of Germany

A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems

This is an Author's Accepted Manuscript of an article published in Antonio González (2021) A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems, International Journal of Systems Science, 52:8, 1707-1718, DOI: 10.1080/00207721.2020.1869344, available online at: http://www.tandfonline.com/10.1080/00207721.2020.1869344[EN] This paper investigates the exponential stability of uncertain time delay systems using a novel descriptor redundancy approach based on delay partitioning. First, the original system is casted into an equivalent descriptor singular state¿space representation by introducing redundant state variables so that the resulting delay is progressively reduced. From the equivalent model and applying Lyapunov Functional method, a sufficient condition based on Linear Matrix Inequalities (LMIs) for exponential stability with guaranteed decay rate performance is obtained. As a result, the inherent conservatism of Lyapunov¿Krasovskii functional techniques can arbitrarily be reduced by increasing the number of delay partition intervals including decay rate performance and model uncertainties in polytopic form. Various benchmark examples are provided to validate the effectiveness of the proposed method, showing better trade-off between conservatism and performance in comparison to previous approaches.This work was supported by project PGC2018-098719-B-I00 (MCIU/AEI/FEDER,UE).González Sorribes, A. (2021). A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems. International Journal of Systems Science. 52(8):1707-1718. https://doi.org/10.1080/00207721.2020.18693441707171852

Advances in state estimation, diagnosis and control of complex systems

This dissertation intends to provide theoretical and practical contributions on estimation, diagnosis and control of complex systems, especially in the mathematical form of descriptor systems. The research is motivated by real applications, such as water networks and power systems, which require a control system to provide a proper management able to take into account their specific features and operating limits in presence of uncertainties related to their operation and failures from component malfunctions. Such a control system is expected to provide an optimal operation to obtain efficient and reliable performance. State estimation is an essential tool, which can be used not only for fault diagnosis but also for the controller design. To achieve a satisfactory robust performance, set theory is chosen to build a general framework for descriptor systems subject to uncertainties. Under certain assumptions, these uncertainties are propagated and bounded by deterministic sets that can be explicitly characterized at each iteration step. Moreover, set-invariance characterizations for descriptor systems are also of interest to describe the steady performance, which can also be used for active mode detection. For the controller design for complex systems, new developments of economic model predictive control (EMPC) are studied taking into account the case of underlying periodic behaviors. The EMPC controller is designed to be recursively feasible even with sudden changes in the economic cost function and the closed-loop convergence is guaranteed. Besides, a robust technique is plugged into the EMPC controller design to maintain these closed-loop properties in presence of uncertainties. Engineering applications modeled as descriptor systems are presented to illustrate these control strategies. From the real applications, some additional difficulties are solved, such as using a two-layer control strategy to avoid binary variables in real-time optimizations and using nonlinear constraint relaxation to deal with nonlinear algebraic equations in the descriptor model. Furthermore, the fault-tolerant capability is also included in the controller design for descriptor systems by means of the designed virtual actuator and virtual sensor together with an observer-based delayed controller.Esta tesis propone contribuciones de carácter teórico y aplicado para la estimación del estado, el diagnóstico y el control óptimo de sistemas dinámicos complejos en particular, para los sistemas descriptores, incluyendo la capacidad de tolerancia a fallos. La motivación de la tesis proviene de aplicaciones reales, como redes de agua y sistemas de energía, cuya naturaleza crítica requiere necesariamente un sistema de control para una gestión capaz de tener en cuenta sus características específicas y límites operativos en presencia de incertidumbres relacionadas con su funcionamiento, así como fallos de funcionamiento de los componentes. El objetivo es conseguir controladores que mejoren tanto la eficiencia como la fiabilidad de dichos sistemas. La estimación del estado es una herramienta esencial que puede usarse no solo para el diagnóstico de fallos sino también para el diseño del control. Con este fin, se ha decidido utilizar metodologías intervalares, o basadas en conjuntos, para construir un marco general para los sistemas de descriptores sujetos a incertidumbres desconocidas pero acotadas. Estas incertidumbres se propagan y delimitan mediante conjuntos que se pueden caracterizar explícitamente en cada instante. Por otra parte, también se proponen caracterizaciones basadas en conjuntos invariantes para sistemas de descriptores que permiten describir comportamientos estacionarios y resultan útiles para la detección de modos activos. Se estudian también nuevos desarrollos del control predictivo económico basado en modelos (EMPC) para tener en cuenta posibles comportamientos periódicos en la variación de parámetros o en las perturbaciones que afectan a estos sistemas. Además, se demuestra que el control EMPC propuesto garantiza la factibilidad recursiva, incluso frente a cambios repentinos en la función de coste económico y se garantiza la convergencia en lazo cerrado. Por otra parte, se utilizan técnicas de control robusto pata garantizar que las estrategias de control predictivo económico mantengan las prestaciones en lazo cerrado, incluso en presencia de incertidumbre. Los desarrollos de la tesis se ilustran con casos de estudio realistas. Para algunas de aplicaciones reales, se resuelven dificultades adicionales, como el uso de una estrategia de control de dos niveles para evitar incluir variables binarias en la optimización y el uso de la relajación de restricciones no lineales para tratar las ecuaciones algebraicas no lineales en el modelo descriptor en las redes de agua. Finalmente, se incluye también una contribución al diseño de estrategias de control con tolerancia a fallos para sistemas descriptores

Robust Quadratic Stabilizability and H

This paper mainly discusses the robust quadratic stability and stabilization of linear discrete-time stochastic systems with state delay and uncertain parameters. By means of the linear matrix inequality (LMI) method, a sufficient condition is, respectively, obtained for the stability and stabilizability of the considered system. Moreover, we design the robust H∞ state feedback controllers such that the system with admissible uncertainties is not only quadratically internally stable but also robust H∞ controllable. A sufficient condition for the existence of the desired robust H∞ controller is obtained. Finally, an example with simulations is given to verify the effectiveness of our theoretical results

Sliding mode control for singular stochastic Markovian jump systems with uncertainties

This paper considers sliding mode control design for singular stochastic Markovian jump systems with uncertainties. A suitable integral sliding function is proposed and the resulting sliding mode dynamics is an uncertain singular stochastic Markovian jump system. A set of new sufficient conditions is developed which not only guarantees the stochastic admissibility of the sliding mode dynamics, but is also constructive and determines all the parameter matrices in the integral sliding function. A set of new sufficient conditions is developed which not only guarantees the stochastic admissibility of the sliding mode dynamics, but also determines all the parameter matrices in the integral sliding function. Then, a sliding mode control law is synthesized such that reachability of the specified sliding surface can be ensured. Finally, three examples are given to demonstrate the effectiveness of the results