A Multi-Observer Based Estimation Framework for Nonlinear Systems under Sensor Attacks

We address the problem of state estimation and attack isolation for general discrete-time nonlinear systems when sensors are corrupted by (potentially unbounded) attack signals. For a large class of nonlinear plants and observers, we provide a general estimation scheme, built around the idea of sensor redundancy and multi-observer, capable of reconstructing the system state in spite of sensor attacks and noise. This scheme has been proposed by others for linear systems/observers and here we propose a unifying framework for a much larger class of nonlinear systems/observers. Using the proposed estimator, we provide an isolation algorithm to pinpoint attacks on sensors during sliding time windows. Simulation results are presented to illustrate the performance of our tools.Comment: arXiv admin note: text overlap with arXiv:1806.0648

Estimation of Liquid Level in a Harsh Environment Using Chaotic Observer

The increased demand for liquid level measurement has been a key factor in designing accurate and reliable control systems. Here, a study was carried out to calculate the liquid level in a tank using a pressure sensor for changes in inlet liquid parameters like temperature, density and velocity. Prediction of their variables for the long term is essential due to the randomness present in the input and measurement. Hence, observer design for state estimation of a non-linear dynamic system with uncertainties in the measurement and process becomes important. This work provides a feedback observer solution for a system with multiple inputs and single measurable output. A full state observer model is developed to estimate a system’s states with a sensor placed at a definite position from the pipe’s input point through which the liquid flows at different densities and temperatures. Using the observability properties, Luenberger full state observer is designed by various methods, verified using MATLAB and SIMULINK for the system state estimation. To incorporate process noise and measurement noise, the Kalman estimator is integrated with the system. Chaotic systems are susceptible to initial conditions, variations in parameters and are complex dynamic systems. However, providing consistently precise measurements through particular meters necessitates time-consuming computations that can be reduced by employing machine learning approaches that make use of optimizers. The results obtained are compared with the prediction models obtained using Artificial Neural Networks and are validated through the readings obtained from the experimental setup

Advanced Mathematics and Computational Applications in Control Systems Engineering

Control system engineering is a multidisciplinary discipline that applies automatic control theory to design systems with desired behaviors in control environments. Automatic control theory has played a vital role in the advancement of engineering and science. It has become an essential and integral part of modern industrial and manufacturing processes. Today, the requirements for control precision have increased, and real systems have become more complex. In control engineering and all other engineering disciplines, the impact of advanced mathematical and computational methods is rapidly increasing. Advanced mathematical methods are needed because real-world control systems need to comply with several conditions related to product quality and safety constraints that have to be taken into account in the problem formulation. Conversely, the increment in mathematical complexity has an impact on the computational aspects related to numerical simulation and practical implementation of the algorithms, where a balance must also be maintained between implementation costs and the performance of the control system. This book is a comprehensive set of articles reflecting recent advances in developing and applying advanced mathematics and computational applications in control system engineering

Control Theory in Engineering

The subject matter of this book ranges from new control design methods to control theory applications in electrical and mechanical engineering and computers. The book covers certain aspects of control theory, including new methodologies, techniques, and applications. It promotes control theory in practical applications of these engineering domains and shows the way to disseminate researchers’ contributions in the field. This project presents applications that improve the properties and performance of control systems in analysis and design using a higher technical level of scientific attainment. The authors have included worked examples and case studies resulting from their research in the field. Readers will benefit from new solutions and answers to questions related to the emerging realm of control theory in engineering applications and its implementation

Observer-based robust fault estimation for fault-tolerant control

A control system is fault-tolerant if it possesses the capability of optimizing the system stability and admissible performance subject to bounded faults, complexity and modeling uncertainty. Based on this definition this thesis is concerned with the theoretical developments of the combination of robust fault estimation (FE) and robust active fault tolerant control (AFTC) for systems with both faults and uncertainties.This thesis develops robust strategies for AFTC involving a joint problem of on-line robust FE and robust adaptive control. The disturbances and modeling uncertainty affect the FE and FTC performance. Hence, the proposed robust observer-based fault estimator schemes are combined with several control methods to achieve the desired system performance and robust active fault tolerance. The controller approaches involve concepts of output feedback control, adaptive control, robust observer-based state feedback control. A new robust FE method has been developed initially to take into account the joint effect of both fault and disturbance signals, thereby rejecting the disturbances and enhancing the accuracy of the fault estimation. This is then extended to encompass the robustness with respect to modeling uncertainty.As an extension to the robust FE and FTC scheme a further development is made for direct application to smooth non-linear systems via the use of linear parameter-varying systems (LPV) modeling.The main contributions of the research are thus:- The development of a robust observer-based FE method and integration design for the FE and AFTC systems with the bounded time derivative fault magnitudes, providing the solution based on linear matrix inequality (LMI) methodology. A stability proof for the integrated design of the robust FE within the FTC system.- An improvement is given to the proposed robust observer-based FE method and integrated design for FE and AFTC systems under the existence of different disturbance structures.- New guidance for the choice of learning rate of the robust FE algorithm.- Some improvement compared with the recent literature by considering the FTC problem in a more general way, for example by using LPV modeling

Contributions to nonlinear system modelling and controller synthesis via convex structures

Esta tesis discute diferentes metodologías de modelado para extraer mejores prestaciones o resultados de estabilidad que aquéllas que el modelado convencional basado en sector no-lineal de sistemas Takagi-Sugeno (también denominados cuasi-LPV) es capaz de producir. En efecto, incluso si las LMIs pueden probar distintas cotas de prestaciones o márgenes de estabilidad (tasa de decaimiento, $\mathcal H_\infty$, etc.) para sistemas politópicos, es bien conocido que las prestaciones probadas dependen del modelo elegido y, dado un sistema no-lineal, dicho modelo politópico no es único. Por tanto, se presentan exploraciones hacia cómo obtener el modelo que es menos perjudicial para la medida de prestaciones elegida. Como una última contribución, mejores resultados son obtenidos mediante la extensión del modelado politópico Takagi-Sugeno a un marco de inclusiones en diferencias cuasi-convexas con planificación de ganancia. En efecto, una versión sin planificación de ganancia fue propuesta por un equipo de investigadores de la Universidad de Sevilla (Fiaccini, Álamo, Camacho) para generalizar el modelado politópico, y esta tesis propone una version aún más general de algunos de dichos resultados que incorpora planificación de ganancia.This thesis discusses different modelling methodologies to eke out best performance/stability results than conventional sector-nonlinearity Takagi-Sugeno (also known as quasi-LPV) systems modelling techniques are able to yield. Indeed, even if LMIs can prove various performance and stability bounds (decay rate, $\mathcal H_\infty$, etc.) for polytopic systems, it is well known that the proven performance depends on the chosen model and, given a nonlinear dynamic systems, the polytopic embeddings available for it are not unique. Thus, explorations on how to obtain the model which is less deletereous for performance are presented. As a last contribution, extending the polytopic Takagi-Sugeno setup to a gain-scheduled quasi-convex difference inclusion framework allows to improve the results over the polytopic models. Indeed, the non-scheduled convex difference inclusion framework was proposed by a research team in University of Seville (Fiacchini, Alamo, Camacho) as a generalised modelling methodology which included the polytopic one; this thesis poses a further generalised gain-scheduled version of some of these results.Aquesta tesi discuteix diferents metodologies de modelatge per extreure millors prestacions o resultats d'estabilitat que aquelles que el modelatge convencional basat en sector no-lineal de sistemes Takagi-Sugeno (també anomenats quasi-LPV) és capaç de produir. En efecte, fins i tot si les LMIs poden provar diferents cotes de prestacions o marges d'estabilitat (taxa de decaïment, $\mathcal H_\infty$, etc.) per a sistemes politòpics, és ben conegut que les prestacions provades depenen del model triat i, donat un sistema no-lineal, el dit model politòpic no és únic. Per tant, es presenten exploracions cap a com obtenir el model que és menys perjudicial per a la mesura de prestacions triada. Com una darrera contribució, millors resultats són obtinguts mitjançant l'extensió del modelatge politòpic Takagi-Sugeno a un marc d'inclusions en diferències quasi-convexes amb planificació de guany. En efecte, una versió sense planificació de guany va ser proposada per un equip d'investigadors de la Universitat de Sevilla (Fiaccini, Álamo, Camacho) per a generalitzar el modelatge politòpic, i aquesta tesi proposa una versió més general d'alguns d'aquests resultats que incorpora planificació de guany.Robles Ruiz, R. (2018). Contributions to nonlinear system modelling and controller synthesis via convex structures [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/100848TESI

Contributions to fuzzy polynomial techniques for stability analysis and control

The present thesis employs fuzzy-polynomial control techniques in order to improve the stability analysis and control of nonlinear systems. Initially, it reviews the more extended techniques in the field of Takagi-Sugeno fuzzy systems, such as the more relevant results about polynomial and fuzzy polynomial systems. The basic framework uses fuzzy polynomial models by Taylor series and sum-of-squares techniques (semidefinite programming) in order to obtain stability guarantees. The contributions of the thesis are: ¿ Improved domain of attraction estimation of nonlinear systems for both continuous-time and discrete-time cases. An iterative methodology based on invariant-set results is presented for obtaining polynomial boundaries of such domain of attraction. ¿ Extension of the above problem to the case with bounded persistent disturbances acting. Different characterizations of inescapable sets with polynomial boundaries are determined. ¿ State estimation: extension of the previous results in literature to the case of fuzzy observers with polynomial gains, guaranteeing stability of the estimation error and inescapability in a subset of the zone where the model is valid. ¿ Proposal of a polynomial Lyapunov function with discrete delay in order to improve some polynomial control designs from literature. Preliminary extension to the fuzzy polynomial case. Last chapters present a preliminary experimental work in order to check and validate the theoretical results on real platforms in the future.Pitarch Pérez, JL. (2013). Contributions to fuzzy polynomial techniques for stability analysis and control [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/34773TESI