Reliable Control through Wireless Networks

submitted paperReliability is one of the biggest challenges when using Wireless Sensor-Actuator Networks in control systems. This paper exploits the transactional guarantees offered by the LINC coordination environment to provide reliability and robustness in wireless control systems. First, LINC transactions were embedded in the mirco-controllers to deal with possible communication errors, faulty devices, and concurrent access to the devices. Then, an active replication mechanism was provided so that the system can be correctly recovered from hardware and communication failures. A case study of a ball and plate problem is detailed. The plate is lift up and down by three motors. Each motor is controlled by a micro-controller communicating in wireless with the system controller

Reliable control using redundant controllers

This paper presents a methodology for the design of reliable control systems by using multiple identical controllers to a given plant. The resulting closed-loop control system is reliable in the sense that it provides guaranteed internal stability and H ∞ performance (in terms of disturbance attenuation), not only when all controllers are operational but also when some controller outages (sensor and/or actuator) occur. A numerical example is given to illustrate the proposed design procedures.published_or_final_versio

Stochastic reliable control of a class of uncertain time-delay systems with unknown nonlinearities

Copyright [2001] 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.This paper investigates the robust reliable control problem for a class of nonlinear time-delay stochastic systems. The system under study involves stochastics, state time-delay, parameter uncertainties, possible actuator failures and unknown nonlinear disturbances, which are often encountered in practice and the sources of instability. Our attention is focused on the design of linear state feedback memoryless controllers such that, for all admissible uncertainties as well as actuator failures occurring among a prespecified subset of actuators, the plant remains stochastically exponentially stable in mean square, independent of the time delay. Sufficient conditions are proposed to guarantee the desired robust reliable exponential stability despite possible actuator failures, which are in terms of the solutions to algebraic Riccati inequalities. An illustrative example is exploited to demonstrate the applicability of the proposed design approac

On reliable control system designs

A mathematical model for use in the design of reliable multivariable control systems is discussed with special emphasis on actuator failures and necessary actuator redundancy levels. The model consists of a linear time invariant discrete time dynamical system. Configuration changes in the system dynamics are governed by a Markov chain that includes transition probabilities from one configuration state to another. The performance index is a standard quadratic cost functional, over an infinite time interval. The actual system configuration can be deduced with a one step delay. The calculation of the optimal control law requires the solution of a set of highly coupled Riccati-like matrix difference equations. Results can be used for off-line studies relating the open loop dynamics, required performance, actuator mean time to failure, and functional or identical actuator redundancy, with and without feedback gain reconfiguration strategies

Contribution to reliable control of dynamic systems

This thesis presents sorne contributions to the field of Health-Aware Control (HAC) of dynamic systems. In the first part of this thesis, a review of the concepts and methodologies related to reliability versus degradation and fault tolerant control versus health-aware control is presented. Firstly, in an attempt to unify concepts, an overview of HAC, degradation, and reliability modeling including some of the most relevant theoretical and applied contributions is given. Moreover, reliability modeling is formalized and exemplified using the structure function, Bayesian networks (BNs) and Dynamic Bayesian networks (DBNs) as modeling tools in reliability analysis. In addition, some Reliability lmportance Measures (RIMs) are presented. In particular, this thesis develops BNs models for overall system reliability analysis through the use of Bayesian inference techniques. Bayesian networks are powerful tools in system reliability assessment due to their flexibility in modeling the reliability structure of complex systems. For the HAC scheme implementation, this thesis presents and discusses the integration of actuators health information by means of RIMs and degradation in Model Predictive Control (MPC) and Linear Quadratic Regulator algorithms. In the proposed strategies, the cost function parameters are tuned using RIMs. The methodology is able to avoid the occurrence of catastrophic and incipient faults by monitoring the overall system reliability. The proposed HAC strategies are applied to a Drinking Water Network (DWN) and a multirotor UAV system. Moreover, a third approach, which uses MPC and restricts the degradation of the system components is applied to a twin rotor system. Finally, this thesis presents and discusses two reliability interpretations. These interpretations, namely instantaneous and expected, differ in the manner how reliability is evaluated and how its evolution along time is considered. This comparison is made within a HAC framework and studies the system reliability under both approaches.Aquesta tesi presenta algunes contribucions al camp del control basat en la salut dels components "Health-Aware Control" (HAC) de sistemes dinàmics. A la primera part d'aquesta tesi, es presenta una revisió dels conceptes i metodologies relacionats amb la fiabilitat versus degradació, el control tolerant a fallades versus el HAC. En primer lloc, i per unificar els conceptes, s'introdueixen els conceptes de degradació i fiabilitat, models de fiabilitat i de HAC incloent algunes de les contribucions teòriques i aplicades més rellevants. La tesi, a més, el modelatge de la fiabilitat es formalitza i exemplifica utilitzant la funció d'estructura del sistema, xarxes bayesianes (BN) i xarxes bayesianes dinamiques (DBN) com a eines de modelat i anàlisi de la fiabilitat com també presenta algunes mesures d'importància de la fiabilitat (RIMs). En particular, aquesta tesi desenvolupa models de BNs per a l'anàlisi de la fiabilitat del sistema a través de l'ús de tècniques d'inferència bayesiana. Les xarxes bayesianes són eines poderoses en l'avaluació de la fiabilitat del sistema gràcies a la seva flexibilitat en el modelat de la fiabilitat de sistemes complexos. Per a la implementació de l?esquema de HAC, aquesta tesi presenta i discuteix la integració de la informació sobre la salut i degradació dels actuadors mitjançant les RIMs en algoritmes de control predictiu basat en models (MPC) i control lineal quadràtic (LQR). En les estratègies proposades, els paràmetres de la funció de cost s'ajusten utilitzant els RIMs. Aquestes tècniques de control fiable permetran millorar la disponibilitat i la seguretat dels sistemes evitant l'aparició de fallades a través de la incorporació d'aquesta informació de la salut dels components en l'algoritme de control. Les estratègies de HAC proposades s'apliquen a una xarxa d'aigua potable (DWN) i a un sistema UAV multirrotor. A més, un tercer enfocament fent servir la degradació dels actuadors com a restricció dins l'algoritme de control MPC s'aplica a un sistema aeri a dos graus de llibertat (TRMS). Finalment, aquesta tesi també presenta i discuteix dues interpretacions de la fiabilitat. Aquestes interpretacions, nomenades instantània i esperada, difereixen en la forma en què s'avalua la fiabilitat i com es considera la seva evolució al llarg del temps. Aquesta comparació es realitza en el marc del control HAC i estudia la fiabilitat del sistema en tots dos enfocaments.Esta tesis presenta algunas contribuciones en el campo del control basado en la salud de los componentes “Health-Aware Control” (HAC) de sistemas dinámicos. En la primera parte de esta tesis, se presenta una revisión de los conceptos y metodologíasrelacionados con la fiabilidad versus degradación, el control tolerante a fallos versus el HAC. En primer lugar, y para unificar los conceptos, se introducen los conceptos de degradación y fiabilidad, modelos de fiabilidad y de HAC incluyendo algunas de las contribuciones teóricas y aplicadas más relevantes. La tesis, demás formaliza y ejemplifica el modelado de fiabilidad utilizando la función de estructura del sistema, redes bayesianas (BN) y redes bayesianas diná-micas (DBN) como herramientas de modelado y análisis de fiabilidad como también presenta algunas medidas de importancia de la fiabilidad (RIMs). En particular, esta tesis desarrolla modelos de BNs para el análisis de la fiabilidad del sistema a través del uso de técnicas de inferencia bayesiana. Las redes bayesianas son herramientas poderosas en la evaluación de la fiabilidad del sistema gracias a su flexibilidad en el modelado de la fiabilidad de sistemas complejos. Para la implementación del esquema de HAC, esta tesis presenta y discute la integración de la información sobre la salud y degradación de los actuadores mediante las RIMs en algoritmos de control predictivo basado en modelos (MPC) y del control cuadrático lineal (LQR). En las estrategias propuestas, los parámetros de la función de coste se ajustan utilizando las RIMs. Estas técnicas de control fiable permitirán mejorar la disponibilidad y la seguridad de los sistemas evitando la aparición de fallos a través de la incorporación de la información de la salud de los componentes en el algoritmo de control. Las estrategias de HAC propuestas se aplican a una red de agua potable (DWN) y a un sistema UAV multirotor. Además, un tercer enfoque que usa la degradación de los actuadores como restricción en el algoritmo de control MPC se aplica a un sistema aéreo con dos grados de libertad (TRMS). Finalmente, esta tesis también presenta y discute dos interpretaciones de la fiabilidad. Estas interpretaciones, llamadas instantánea y esperada, difieren en la forma en que se evalúa la fiabilidad y cómo se considera su evolución a lo largo del tiempo. Esta comparación se realiza en el marco del control HAC y estudia la fiabilidad del sistema en ambos enfoques

Contribution to reliable control of dynamic systems

Aplicat embargament des de la data de defensa fins al maig 2020This thesis presents sorne contributions to the field of Health-Aware Control (HAC) of dynamic systems. In the first part of this thesis, a review of the concepts and methodologies related to reliability versus degradation and fault tolerant control versus health-aware control is presented. Firstly, in an attempt to unify concepts, an overview of HAC, degradation, and reliability modeling including some of the most relevant theoretical and applied contributions is given. Moreover, reliability modeling is formalized and exemplified using the structure function, Bayesian networks (BNs) and Dynamic Bayesian networks (DBNs) as modeling tools in reliability analysis. In addition, some Reliability lmportance Measures (RIMs) are presented. In particular, this thesis develops BNs models for overall system reliability analysis through the use of Bayesian inference techniques. Bayesian networks are powerful tools in system reliability assessment due to their flexibility in modeling the reliability structure of complex systems. For the HAC scheme implementation, this thesis presents and discusses the integration of actuators health information by means of RIMs and degradation in Model Predictive Control (MPC) and Linear Quadratic Regulator algorithms. In the proposed strategies, the cost function parameters are tuned using RIMs. The methodology is able to avoid the occurrence of catastrophic and incipient faults by monitoring the overall system reliability. The proposed HAC strategies are applied to a Drinking Water Network (DWN) and a multirotor UAV system. Moreover, a third approach, which uses MPC and restricts the degradation of the system components is applied to a twin rotor system. Finally, this thesis presents and discusses two reliability interpretations. These interpretations, namely instantaneous and expected, differ in the manner how reliability is evaluated and how its evolution along time is considered. This comparison is made within a HAC framework and studies the system reliability under both approaches.Aquesta tesi presenta algunes contribucions al camp del control basat en la salut dels components "Health-Aware Control" (HAC) de sistemes dinàmics. A la primera part d'aquesta tesi, es presenta una revisió dels conceptes i metodologies relacionats amb la fiabilitat versus degradació, el control tolerant a fallades versus el HAC. En primer lloc, i per unificar els conceptes, s'introdueixen els conceptes de degradació i fiabilitat, models de fiabilitat i de HAC incloent algunes de les contribucions teòriques i aplicades més rellevants. La tesi, a més, el modelatge de la fiabilitat es formalitza i exemplifica utilitzant la funció d'estructura del sistema, xarxes bayesianes (BN) i xarxes bayesianes dinamiques (DBN) com a eines de modelat i anàlisi de la fiabilitat com també presenta algunes mesures d'importància de la fiabilitat (RIMs). En particular, aquesta tesi desenvolupa models de BNs per a l'anàlisi de la fiabilitat del sistema a través de l'ús de tècniques d'inferència bayesiana. Les xarxes bayesianes són eines poderoses en l'avaluació de la fiabilitat del sistema gràcies a la seva flexibilitat en el modelat de la fiabilitat de sistemes complexos. Per a la implementació de l?esquema de HAC, aquesta tesi presenta i discuteix la integració de la informació sobre la salut i degradació dels actuadors mitjançant les RIMs en algoritmes de control predictiu basat en models (MPC) i control lineal quadràtic (LQR). En les estratègies proposades, els paràmetres de la funció de cost s'ajusten utilitzant els RIMs. Aquestes tècniques de control fiable permetran millorar la disponibilitat i la seguretat dels sistemes evitant l'aparició de fallades a través de la incorporació d'aquesta informació de la salut dels components en l'algoritme de control. Les estratègies de HAC proposades s'apliquen a una xarxa d'aigua potable (DWN) i a un sistema UAV multirrotor. A més, un tercer enfocament fent servir la degradació dels actuadors com a restricció dins l'algoritme de control MPC s'aplica a un sistema aeri a dos graus de llibertat (TRMS). Finalment, aquesta tesi també presenta i discuteix dues interpretacions de la fiabilitat. Aquestes interpretacions, nomenades instantània i esperada, difereixen en la forma en què s'avalua la fiabilitat i com es considera la seva evolució al llarg del temps. Aquesta comparació es realitza en el marc del control HAC i estudia la fiabilitat del sistema en tots dos enfocaments.Esta tesis presenta algunas contribuciones en el campo del control basado en la salud de los componentes “Health-Aware Control” (HAC) de sistemas dinámicos. En la primera parte de esta tesis, se presenta una revisión de los conceptos y metodologíasrelacionados con la fiabilidad versus degradación, el control tolerante a fallos versus el HAC. En primer lugar, y para unificar los conceptos, se introducen los conceptos de degradación y fiabilidad, modelos de fiabilidad y de HAC incluyendo algunas de las contribuciones teóricas y aplicadas más relevantes. La tesis, demás formaliza y ejemplifica el modelado de fiabilidad utilizando la función de estructura del sistema, redes bayesianas (BN) y redes bayesianas diná-micas (DBN) como herramientas de modelado y análisis de fiabilidad como también presenta algunas medidas de importancia de la fiabilidad (RIMs). En particular, esta tesis desarrolla modelos de BNs para el análisis de la fiabilidad del sistema a través del uso de técnicas de inferencia bayesiana. Las redes bayesianas son herramientas poderosas en la evaluación de la fiabilidad del sistema gracias a su flexibilidad en el modelado de la fiabilidad de sistemas complejos. Para la implementación del esquema de HAC, esta tesis presenta y discute la integración de la información sobre la salud y degradación de los actuadores mediante las RIMs en algoritmos de control predictivo basado en modelos (MPC) y del control cuadrático lineal (LQR). En las estrategias propuestas, los parámetros de la función de coste se ajustan utilizando las RIMs. Estas técnicas de control fiable permitirán mejorar la disponibilidad y la seguridad de los sistemas evitando la aparición de fallos a través de la incorporación de la información de la salud de los componentes en el algoritmo de control. Las estrategias de HAC propuestas se aplican a una red de agua potable (DWN) y a un sistema UAV multirotor. Además, un tercer enfoque que usa la degradación de los actuadores como restricción en el algoritmo de control MPC se aplica a un sistema aéreo con dos grados de libertad (TRMS). Finalmente, esta tesis también presenta y discute dos interpretaciones de la fiabilidad. Estas interpretaciones, llamadas instantánea y esperada, difieren en la forma en que se evalúa la fiabilidad y cómo se considera su evolución a lo largo del tiempo. Esta comparación se realiza en el marco del control HAC y estudia la fiabilidad del sistema en ambos enfoques.Postprint (published version