Relationships between digital signal processing and control and estimation theory

Bibliography: leaves 83-97.NASA Grant NGL-22-009-124 and NSF Grant GK-41647.Alan S. Willsky

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

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

NLGA based Active Control in Aerospace: fault tolerability, disturbance rejection, and parameter estimation

A new control scheme has been presented in this thesis. Based on the NonLinear Geometric Approach, the proposed Active Control System represents a new way to see the reconfigurable controllers for aerospace applications. The presence of the Diagnosis module (providing the estimation of generic signals which, based on the case, can be faults, disturbances or system parameters), mean feature of the depicted Active Control System, is a characteristic shared by three well known control systems: the Active Fault Tolerant Controls, the Indirect Adaptive Controls and the Active Disturbance Rejection Controls. The standard NonLinear Geometric Approach (NLGA) has been accurately investigated and than improved to extend its applicability to more complex models. The standard NLGA procedure has been modified to take account of feasible and estimable sets of unknown signals. Furthermore the application of the Singular Perturbations approximation has led to the solution of Detection and Isolation problems in scenarios too complex to be solved by the standard NLGA. Also the estimation process has been improved, where multiple redundant measuremtent are available, by the introduction of a new algorithm, here called "Least Squares - Sliding Mode". It guarantees optimality, in the sense of the least squares, and finite estimation time, in the sense of the sliding mode. The Active Control System concept has been formalized in two controller: a nonlinear backstepping controller and a nonlinear composite controller. Particularly interesting is the integration, in the controller design, of the estimations coming from the Diagnosis module. Stability proofs are provided for both the control schemes. Finally, different applications in aerospace have been provided to show the applicability and the effectiveness of the proposed NLGA-based Active Control System

Measurements, Models, Systems and Design

531 s.

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