Model based fault detection for two-dimensional systems

Fault detection and isolation (FDI) are essential in ensuring safe and reliable operations in industrial systems. Extensive research has been carried out on FDI for one dimensional (1-D) systems, where variables vary only with time. The existing FDI strategies are mainly focussed on 1-D systems and can generally be classified as model based and process history data based methods. In many industrial systems, the state variables change with space and time (e.g., sheet forming, fixed bed reactors, and furnaces). These systems are termed as distributed parameter systems (DPS) or two dimensional (2-D) systems. 2-D systems have been commonly represented by the Roesser Model and the F-M model. Fault detection and isolation for 2-D systems represent a great challenge in both theoretical development and applications and only limited research results are available. In this thesis, model based fault detection strategies for 2-D systems have been investigated based on the F-M and the Roesser models. A dead-beat observer based fault detection has been available for the F-M model. In this work, an observer based fault detection strategy is investigated for systems modelled by the Roesser model. Using the 2-D polynomial matrix technique, a dead-beat observer is developed and the state estimate from the observer is then input to a residual generator to monitor occurrence of faults. An enhanced realization technique is combined to achieve efficient fault detection with reduced computations. Simulation results indicate that the proposed method is effective in detecting faults for systems without disturbances as well as those affected by unknown disturbances.The dead-beat observer based fault detection has been shown to be effective for 2-D systems but strict conditions are required in order for an observer and a residual generator to exist. These strict conditions may not be satisfied for some systems. The effect of process noises are also not considered in the observer based fault detection approaches for 2-D systems. To overcome the disadvantages, 2-D Kalman filter based fault detection algorithms are proposed in the thesis. A recursive 2-D Kalman filter is applied to obtain state estimate minimizing the estimation error variances. Based on the state estimate from the Kalman filter, a residual is generated reflecting fault information. A model is formulated for the relation of the residual with faults over a moving evaluation window. Simulations are performed on two F-M models and results indicate that faults can be detected effectively and efficiently using the Kalman filter based fault detection. In the observer based and Kalman filter based fault detection approaches, the residual signals are used to determine whether a fault occurs. For systems with complicated fault information and/or noises, it is necessary to evaluate the residual signals using statistical techniques. Fault detection of 2-D systems is proposed with the residuals evaluated using dynamic principal component analysis (DPCA). Based on historical data, the reference residuals are first generated using either the observer or the Kalman filter based approach. Based on the residual time-lagged data matrices for the reference data, the principal components are calculated and the threshold value obtained. In online applications, the T2 value of the residual signals are compared with the threshold value to determine fault occurrence. Simulation results show that applying DPCA to evaluation of 2-D residuals is effective.Doctoral These

Zonotopic fault detection observer design for Takagi–Sugeno fuzzy systems

This paper considers zonotopic fault detection observer design in the finite-frequency domain for discrete-time Takagi–Sugeno fuzzy systems with unknown but bounded disturbances and measurement noise. We present a novel fault detection observer structure, which is more general than the commonly used Luenberger form. To make the generated residual sensitive to faults and robust against disturbances, we develop a finite-frequency fault detection observer based on generalised Kalman–Yakubovich–Popov lemma and P-radius criterion. The design conditions are expressed in terms of linear matrix inequalities. The major merit of the proposed method is that residual evaluation can be easily implemented via zonotopic approach. Numerical examples are conducted to demonstrate the proposed methodPeer ReviewedPostprint (author's final draft

Geometric Fault Detection and Isolation of Infinite Dimensional Systems

A broad class of dynamical systems from chemical processes to flexible mechanical structures, heat transfer and compression processes in gas turbine engines are represented by a set of partial differential equations (PDE). These systems are known as infinite dimensional (Inf-D) systems. Most of Inf-D systems, including PDEs and time-delayed systems can be represented by a differential equation in an appropriate Hilbert space. These Hilbert spaces are essentially Inf-D vector spaces, and therefore, they are utilized to represent Inf-D dynamical systems. Inf-D systems have been investigated by invoking two schemes, namely approximate and exact methods. Both approaches extend the control theory of ordinary differential equation (ODE) systems to Inf-D systems, however by utilizing two different methodologies. In the former approach, one needs to first approximate the original Inf-D system by an ODE system (e.g. by using finite element or finite difference methods) and then apply the established control theory of ODEs to the approximated model. On the other hand, in the exact approach, one investigates the Inf-D system without using any approximation. In other words, one first represents the system as an Inf-D system and then investigates it in the corresponding Inf-D Hilbert space by extending and generalizing the available results of finite-dimensional (Fin-D) control theory. It is well-known that one of the challenging issues in control theory is development of algorithms such that the controlled system can maintain the required performance even in presence of faults. In the literature, this property is known as fault tolerant control. The fault detection and isolation (FDI) analysis is the first step in order to achieve this goal. For Inf-D systems, the currently available results on the FDI problem are quite limited and restricted. This thesis is mainly concerned with the FDI problem of the linear Inf-D systems by using both approximate and exact approaches based on the geometric control theory of Fin-D and Inf-D systems. This thesis addresses this problem by developing a geometric FDI framework for Inf-D systems. Moreover, we implement and demonstrate a methodology for applying our results to mathematical models of a heat transfer and a two-component reaction-diffusion processes. In this thesis, we first investigate the development of an FDI scheme for discrete-time multi-dimensional (nD) systems that represent approximate models for Inf-D systems. The basic invariant subspaces including unobservable and unobservability subspaces of one-dimensional (1D) systems are extended to nD models. Sufficient conditions for solvability of the FDI problem are provided, where an LMI-based approach is also derived for the observer design. The capability of our proposed FDI methodology is demonstrated through numerical simulation results to an approximation of a hyperbolic partial differential equation system of a heat exchanger that is represented as a two-dimensional (2D) system. In the second part, an FDI methodology for the Riesz spectral (RS) system is investigated. RS systems represent a large class of parabolic and hyperbolic PDE in Inf-D systems framework. This part is mainly concerned with the equivalence of different types of invariant subspaces as defined for RS systems. Necessary and sufficient conditions for solvability of the FDI problem are developed. Moreover, for a subclass of RS systems, we first provide algorithms (for computing the invariant subspaces) that converge in a finite and known number of steps and then derive the necessary and sufficient conditions for solvability of the FDI problem. Finally, by generalizing the results that are developed for RS systems necessary and sufficient conditions for solvability of the FDI problem in a general Inf-D system are derived. Particularly, we first address invariant subspaces of Fin-D systems from a new point of view by invoking resolvent operators. This approach enables one to extend the previous Fin-D results to Inf-D systems. Particularly, necessary and sufficient conditions for equivalence of various types of conditioned and controlled invariant subspaces of Inf-D systems are obtained. Duality properties of Inf-D systems are then investigated. By introducing unobservability subspaces for Inf-D systems the FDI problem is formally formulated, and necessary and sufficient conditions for solvability of the FDI problem are provided

Sensor fault detection and isolation: a game theoretic approach

This paper studies sensor fault detection using a game theoretic approach. Sensor fault detection is considered as change point analysis in the coefficients of a regression model. A new method for detecting faults, referred to as two-way fault detection, is introduced which defines a game between two players, i.e. the fault detectors. In this new strategic environment, assuming that the independent states of the regression model are known, the test statistics are derived and their finite sample distributions under the null hypothesis of no change are derived. These test statistics are useful for testing the fault existence, as well as, the pure and mixed Nash equilibriums are derived for at-most-one-change and epidemic change models. A differential game is also proposed and solved using the Pontryagin maximum principle. This solution is useful for studying the fault detection problem in unknown state cases. Kalman filter and linear matrix inequality methods are used in finding the Nash equilibrium for the case of unknown states. Illustrative examples are presented to show the existence of the Nash equilibriums. Also, the proposed fault detection scheme is numerically evaluated via its application on a practical system and its performance is compared with the cumulative sum method

Measurements, Models, Systems and Design

531 s.

Structure-Preserving Model Reduction of Physical Network Systems

This paper considers physical network systems where the energy storage is naturally associated to the nodes of the graph, while the edges of the graph correspond to static couplings. The first sections deal with the linear case, covering examples such as mass-damper and hydraulic systems, which have a structure that is similar to symmetric consensus dynamics. The last section is concerned with a specific class of nonlinear physical network systems; namely detailed-balanced chemical reaction networks governed by mass action kinetics. In both cases, linear and nonlinear, the structure of the dynamics is similar, and is based on a weighted Laplacian matrix, together with an energy function capturing the energy storage at the nodes. We discuss two methods for structure-preserving model reduction. The first one is clustering; aggregating the nodes of the underlying graph to obtain a reduced graph. The second approach is based on neglecting the energy storage at some of the nodes, and subsequently eliminating those nodes (called Kron reduction).</p

Resilience for Asynchronous Iterative Methods for Sparse Linear Systems

Large scale simulations are used in a variety of application areas in science and engineering to help forward the progress of innovation. Many spend the vast majority of their computational time attempting to solve large systems of linear equations; typically arising from discretizations of partial differential equations that are used to mathematically model various phenomena. The algorithms used to solve these problems are typically iterative in nature, and making efficient use of computational time on High Performance Computing (HPC) clusters involves constantly improving these iterative algorithms. Future HPC platforms are expected to encounter three main problem areas: scalability of code, reliability of hardware, and energy efficiency of the platform. The HPC resources that are expected to run the large programs are planned to consist of billions of processing units that come from more traditional multicore processors as well as a variety of different hardware accelerators. This growth in parallelism leads to the presence of all three problems. Previously, work on algorithm development has focused primarily on creating fault tolerance mechanisms for traditional iterative solvers. Recent work has begun to revisit using asynchronous methods for solving large scale applications, and this dissertation presents research into fault tolerance for fine-grained methods that are asynchronous in nature. Classical convergence results for asynchronous methods are revisited and modified to account for the possible occurrence of a fault, and a variety of techniques for recovery from the effects of a fault are proposed. Examples of how these techniques can be used are shown for various algorithms, including an analysis of a fine-grained algorithm for computing incomplete factorizations. Lastly, numerous modeling and simulation tools for the further construction of iterative algorithms for HPC applications are developed, including numerical models for simulating faults and a simulation framework that can be used to extrapolate the performance of algorithms towards future HPC systems

Sliding Mode Control

The main objective of this monograph is to present a broad range of well worked out, recent application studies as well as theoretical contributions in the field of sliding mode control system analysis and design. The contributions presented here include new theoretical developments as well as successful applications of variable structure controllers primarily in the field of power electronics, electric drives and motion steering systems. They enrich the current state of the art, and motivate and encourage new ideas and solutions in the sliding mode control area

EVOLUTION OF THE SUBCONTINENTAL LITHOSPHERE DURING MESOZOIC TETHYAN RIFTING: CONSTRAINTS FROM THE EXTERNAL LIGURIAN MANTLE SECTION (NORTHERN APENNINE, ITALY)

Our study is focussed on mantle bodies from the External Ligurian ophiolites, within the Monte Gavi and Monte Sant'Agostino areas. Here, two distinct pyroxenite-bearing mantle sections were recognized, mainly based on their plagioclase-facies evolution. The Monte Gavi mantle section is nearly undeformed and records reactive melt infiltration under plagioclase-facies conditions. This process involved both peridotites (clinopyroxene-poor lherzolites) and enclosed spinel pyroxenite layers, and occurred at 0.7–0.8 GPa. In the Monte Gavi peridotites and pyroxenites, the spinel-facies clinopyroxene was replaced by Ca-rich plagioclase and new orthopyroxene, typically associated with secondary clinopyroxene. The reactive melt migration caused increase of TiO2 contents in relict clinopyroxene and spinel, with the latter also recording a Cr2O3 increase. In the Monte Gavi peridotites and pyroxenites, geothermometers based on slowly diffusing elements (REE and Y) record high temperature conditions (1200-1250 °C) related to the melt infiltration event, followed by subsolidus cooling until ca. 900°C. The Monte Sant'Agostino mantle section is characterized by widespread ductile shearing with no evidence of melt infiltration. The deformation recorded by the Monte Sant'Agostino peridotites (clinopyroxene-rich lherzolites) occurred at 750–800 °C and 0.3–0.6 GPa, leading to protomylonitic to ultramylonitic textures with extreme grain size reduction (10–50 μm). Compared to the peridotites, the enclosed pyroxenite layers gave higher temperature-pressure estimates for the plagioclase-facies re-equilibration (870–930 °C and 0.8–0.9 GPa). We propose that the earlier plagioclase crystallization in the pyroxenites enhanced strain localization and formation of mylonite shear zones in the entire mantle section. We subdivide the subcontinental mantle section from the External Ligurian ophiolites into three distinct domains, developed in response to the rifting evolution that ultimately formed a Middle Jurassic ocean-continent transition: (1) a spinel tectonite domain, characterized by subsolidus static formation of plagioclase, i.e. the Suvero mantle section (Hidas et al., 2020), (2) a plagioclase mylonite domain experiencing melt-absent deformation and (3) a nearly undeformed domain that underwent reactive melt infiltration under plagioclase-facies conditions, exemplified by the the Monte Sant'Agostino and the Monte Gavi mantle sections, respectively. We relate mantle domains (1) and (2) to a rifting-driven uplift in the late Triassic accommodated by large-scale shear zones consisting of anhydrous plagioclase mylonites. Hidas K., Borghini G., Tommasi A., Zanetti A. &amp; Rampone E. 2021. Interplay between melt infiltration and deformation in the deep lithospheric mantle (External Liguride ophiolite, North Italy). Lithos 380-381, 105855