Characterization of Model-Based Detectors for CPS Sensor Faults/Attacks

A vector-valued model-based cumulative sum (CUSUM) procedure is proposed for identifying faulty/falsified sensor measurements. First, given the system dynamics, we derive tools for tuning the CUSUM procedure in the fault/attack free case to fulfill a desired detection performance (in terms of false alarm rate). We use the widely-used chi-squared fault/attack detection procedure as a benchmark to compare the performance of the CUSUM. In particular, we characterize the state degradation that a class of attacks can induce to the system while enforcing that the detectors (CUSUM and chi-squared) do not raise alarms. In doing so, we find the upper bound of state degradation that is possible by an undetected attacker. We quantify the advantage of using a dynamic detector (CUSUM), which leverages the history of the state, over a static detector (chi-squared) which uses a single measurement at a time. Simulations of a chemical reactor with heat exchanger are presented to illustrate the performance of our tools.Comment: Submitted to IEEE Transactions on Control Systems Technolog

Automatic Flight Control Systems

The history of flight control is inseparably linked to the history of aviation itself. Since the early days, the concept of automatic flight control systems has evolved from mechanical control systems to highly advanced automatic fly-by-wire flight control systems which can be found nowadays in military jets and civil airliners. Even today, many research efforts are made for the further development of these flight control systems in various aspects. Recent new developments in this field focus on a wealth of different aspects. This book focuses on a selection of key research areas, such as inertial navigation, control of unmanned aircraft and helicopters, trajectory control of an unmanned space re-entry vehicle, aeroservoelastic control, adaptive flight control, and fault tolerant flight control. This book consists of two major sections. The first section focuses on a literature review and some recent theoretical developments in flight control systems. The second section discusses some concepts of adaptive and fault-tolerant flight control systems. Each technique discussed in this book is illustrated by a relevant example

Unknown input observer approaches to robust fault diagnosis

This thesis focuses on the development of the model-based fault detection and isolation /fault detection and diagnosis (FDI/FDD) techniques using the unknown input observer (UIO) methodology. Using the UI de-coupling philosophy to tackle the robustness issue, a set of novel fault estimation (FE)-oriented UIO approaches are developed based on the classical residual generation-oriented UIO approach considering the time derivative characteristics of various faults. The main developments proposed are:- Implement the residual-based UIO design on a high fidelity commercial aircraft benchmark model to detect and isolate the elevator sensor runaway fault. The FDI design performance is validated using a functional engineering simulation (FES) system environment provided through the activity of an EU FP7 project Advanced Fault Diagnosis for Safer Flight Guidance and Control (ADDSAFE).- Propose a linear time-invariant (LTI) model-based robust fast adaptive fault estimator (RFAFE) with UI de-coupling to estimate the aircraft elevator oscillatory faults considered as actuator faults.- Propose a UI-proportional integral observer (UI-PIO) to estimate actuator multiplicative faults based on an LTI model with UI de-coupling and with added H∞ optimisation to reduce the effects of the sensor noise. This is applied to an example on a hydraulic leakage fault (multiplicative fault) in a wind turbine pitch actuator system, assuming that thefirst derivative of the fault is zero. - Develop an UI–proportional multiple integral observer (UI-PMIO) to estimate the system states and faults simultaneously with the UI acting on the system states. The UI-PMIO leads to a relaxed condition of requiring that the first time derivative of the fault is zero instead of requiring that the finite time fault derivative is zero or bounded. - Propose a novel actuator fault and state estimation methodology, the UI–proportional multiple integral and derivative observer (UI-PMIDO), inspired by both of the RFAFE and UI-PMIO designs. This leads to an observer with the comprehensive feature of estimating faults with bounded finite time derivatives and ensuring fast FE tracking response.- Extend the UI-PMIDO theory based on LTI modelling to a linear parameter varying (LPV) model approach for FE design. A nonlinear two-link manipulator example is used to illustrate the power of this method

Location of leaks in pipelines using parameter identification tools

This work proposes an approach to locate leaks by identifying the parameters of finite models associated with these fault events. The identification problem is attacked by using well-known identification methods such as the Prediction Error Method and extended Kalman filters. In addition, a frequency evaluation is realized to check the conditions for implementing any method which require an excitation condition.Comment: This paper has some error

Observability and observer design for switched linear systems

Hybrid vehicles, HVAC systems in new/old buildings, power networks, and the like require safe, robust control that includes switching the mode of operation to meet environmental and performance objectives. Such switched systems consist of a set of continuous-time dynamical behaviors whose sequence of operational modes is driven by an underlying decision process. This thesis investigates feasibility conditions and a methodology for state and mode reconstruction given input-output measurements (not including mode sequence). An application herein considers insulation failures in permanent magnet synchronous machines (PMSMs) used in heavy hybrid vehicles. Leveraging the feasibility literature for switched linear time-invariant systems, this thesis introduces two additional feasibility results: 1) detecting switches from safe modes into failure modes and 2) state and mode estimation for switched linear time-varying systems. This thesis also addresses the robust observability problem of computing the smallest structured perturbations to system matrices that causes observer infeasibility (with respect to the Frobenius norm). This robustness framework is sufficiently general to solve related robustness problems including controllability, stabilizability, and detectability. Having established feasibility, real-time observer reconstruction of the state and mode sequence becomes possible. We propose the embedded moving horizon observer (EMHO), which re-poses the reconstruction as an optimization using an embedded state model which relaxes the range of the mode sequence estimates into a continuous space. Optimal state and mode estimates minimize an L2-norm between the measured output and estimated output of the associated embedded state model. Necessary conditions for observer convergence are developed. The EMHO is adapted to solve the surface PMSM fault detection problem