Advances in Reachability Analysis for Nonlinear Dynamic Systems

Systems of nonlinear ordinary differential equations (ODEs) are used to model an incredible variety of dynamic phenomena in chemical, oil and gas, and pharmaceutical industries. In reality, such models are nearly always subject to significant uncertainties in their initial conditions, parameters, and inputs. This dissertation provides new theoretical and numerical techniques for rigorously enclosing the set of solutions reachable by a given systems of nonlinear ODEs subject to uncertain initial conditions, parameters, and time-varying inputs. Such sets are often referred to as reachable sets, and methods for enclosing them are critical for designing systems that are passively robust to uncertainty, as well as for optimal real-time decision-making. Such enclosure methods are used extensively for uncertainty propagation, robust control, system verification, and optimization of dynamic systems arising in a wide variety of applications. Unfortunately, existing methods for computing such enclosures often provide an unworkable compromise between cost and accuracy. For example, interval methods based on differential inequalities (DI) can produce bounds very efficiently but are often too conservative to be of any practical use. In contrast, methods based on more complex sets can achieve sharp bounds, but are far too expensive for real-time decision-making and scale poorly with problem size. Recently, it has been shown that bounds computed via differential inequalities can often be made much less conservative while maintaining high efficiency by exploiting redundant model equations that are known to hold for all trajectories of interest (e.g., linear relationships among chemical species in a reaction network that hold due to the conservation of mass or elements). These linear relationships are implied by the governing ODEs, and can thus be considered redundant. However, these advances are only applicable to a limited class of system in which pre-existing linear redundant model equations are available. Moreover, the theoretical results underlying these algorithms do not apply to redundant equations that depend on time-varying inputs and rely on assumptions that prove to be very restrictive for nonlinear redundant equations, etc. This dissertation continues a line of research that has recently achieved very promising bounding results using methods based on differential inequalities. In brief, the major contributions can be divided into three categories: (1) In regard to algorithms, this dissertation significantly improves existing algorithms that exploit linear redundant model equations to achieve more accurate and efficient enclosures. It also develops new fast and accurate bounding algorithms that can exploit nonlinear redundant model equations. (2) Considering theoretical contributions, it develops a novel theoretical framework for the introduction of redundant model equations into arbitrary dynamic models to effectively reduce conservatism. The newly developed theories have more generality in terms of application. For example, complex nonlinear constraints that involve states, time derivatives of the system states, and time- varying inputs are allowed to be exploited. (3) A new differential inequalities method called Mean Value Differential Inequalities (MVDI) is developed that can automatically introduce redundant model equations for arbitrary dynamic systems and has a second-order convergence rate reported the first time among DI-based methods

A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems

This is an Author's Accepted Manuscript of an article published in Antonio González (2021) A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems, International Journal of Systems Science, 52:8, 1707-1718, DOI: 10.1080/00207721.2020.1869344, available online at: http://www.tandfonline.com/10.1080/00207721.2020.1869344[EN] This paper investigates the exponential stability of uncertain time delay systems using a novel descriptor redundancy approach based on delay partitioning. First, the original system is casted into an equivalent descriptor singular state¿space representation by introducing redundant state variables so that the resulting delay is progressively reduced. From the equivalent model and applying Lyapunov Functional method, a sufficient condition based on Linear Matrix Inequalities (LMIs) for exponential stability with guaranteed decay rate performance is obtained. As a result, the inherent conservatism of Lyapunov¿Krasovskii functional techniques can arbitrarily be reduced by increasing the number of delay partition intervals including decay rate performance and model uncertainties in polytopic form. Various benchmark examples are provided to validate the effectiveness of the proposed method, showing better trade-off between conservatism and performance in comparison to previous approaches.This work was supported by project PGC2018-098719-B-I00 (MCIU/AEI/FEDER,UE).González Sorribes, A. (2021). A novel descriptor redundancy method based on delay partition for exponential stability of time delay systems. International Journal of Systems Science. 52(8):1707-1718. https://doi.org/10.1080/00207721.2020.18693441707171852

Observer based active fault tolerant control of descriptor systems

The active fault tolerant control (AFTC) uses the information provided by fault detection and fault diagnosis (FDD) or fault estimation (FE) systems offering an opportunity to improve the safety, reliability and survivability for complex modern systems. However, in the majority of the literature the roles of FDD/FE and reconfigurable control are described as separate design issues often using a standard state space (i.e. non-descriptor) system model approach. These separate FDD/FE and reconfigurable control designs may not achieve desired stability and robustness performance when combined within a closed-loop system.This work describes a new approach to the integration of FE and fault compensation as a form of AFTC within the context of a descriptor system rather than standard state space system. The proposed descriptor system approach has an integrated controller and observer design strategy offering better design flexibility compared with the equivalent approach using a standard state space system. An extended state observer (ESO) is developed to achieve state and fault estimation based on a joint linear matrix inequality (LMI) approach to pole-placement and H∞ optimization to minimize the effects of bounded exogenous disturbance and modelling uncertainty. A novel proportional derivative (PD)-ESO is introduced to achieve enhanced estimation performance, making use of the additional derivative gain. The proposed approaches are evaluated using a common numerical example adapted from the recent literature and the simulation results demonstrate clearly the feasibility and power of the integrated estimation and control AFTC strategy. The proposed AFTC design strategy is extended to an LPV descriptor system framework as a way of dealing with the robustness and stability of the system with bounded parameter variations arising from the non-linear system, where a numerical example demonstrates the feasibility of the use of the PD-ESO for FE and compensation integrated within the AFTC system.A non-linear offshore wind turbine benchmark system is studied as an application of the proposed design strategy. The proposed AFTC scheme uses the existing industry standard wind turbine generator angular speed reference control system as a “baseline” control within the AFTC scheme. The simulation results demonstrate the added value of the new AFTC system in terms of good fault tolerance properties, compared with the existing baseline system

Drag-free and attitude control for the GOCE satellite

The paper concerns Drag-Free and Attitude Control of the European satellite Gravity field and steady-state Ocean Circulation Explorer (GOCE) during the science phase. Design has followed Embedded Model Control, where a spacecraft/environment discrete-time model becomes the realtime control core and is interfaced to actuators and sensors via tuneable feedback laws. Drag-free control implies cancelling non-gravitational forces and all torques, leaving the satellite to free fall subject only to gravity. In addition, for reasons of science, the spacecraft must be carefully aligned to the local orbital frame, retrieved from range and rate of a Global Positioning System receiver. Accurate drag-free and attitude control requires proportional and low-noise thrusting, which in turn raises the problem of propellant saving. Six-axis drag-free control is driven by accurate acceleration measurements provided by the mission payload. Their angular components must be combined with the star-tracker attitude so as to compensate accelerometer drift. Simulated results are presented and discusse

All-propulsion design of the drag-free and attitude control of the European satellite GOCE

This paper concerns the drag-free and attitude control (DFAC) of the European Gravity field and steady-state Ocean Circulation Explorer satellite (GOCE), during the science phase. GOCE aims to determine the Earth's gravity field with high accuracy and spatial resolution, through complementary space techniques such as gravity gradiometry and precise orbit determination. Both techniques rely on accurate attitude and drag-free control, especially in the gradiometer measurement bandwidth (5-100mHz), where non-gravitational forces must be counteracted down to micronewton, and spacecraft attitude must track the local orbital reference frame with micro-radian accuracy. DFAC aims to enable the gravity gradiometer to operate so as to determine the Earth's gravity field especially in the so-called measurement bandwidth (5-100mHz), making use of ion and micro-thruster actuators. The DFAC unit has been designed entirely on a simplified discrete-time model (Embedded Model) derived from the fine dynamics of the spacecraft and its environment; the relevant control algorithms are implemented and tuned around the Embedded Model, which is the core of the control unit. The DFAC has been tested against uncertainties in spacecraft and environment and its code has been the preliminary model for final code development. The DFAC assumes an all-propulsion command authority, partly abandoned by the actual GOCE control system because of electric micro-propulsion not being fully developed. Since all-propulsion authority is expected to be imperative for future scientific and observation missions, design and simulated results are believed to be of interest to the space communit

Aging concrete structures: a review of mechanics and concepts

The safe and cost-efficient management of our built infrastructure is a challenging task considering the expected service life of at least 50 years. In spite of time-dependent changes in material properties, deterioration processes and changing demand by society, the structures need to satisfy many technical requirements related to serviceability, durability, sustainability and bearing capacity. This review paper summarizes the challenges associated with the safe design and maintenance of aging concrete structures and gives an overview of some concepts and approaches that are being developed to address these challenges

Recent Advances in Robust Control

Robust control has been a topic of active research in the last three decades culminating in H_2/H_\infty and \mu design methods followed by research on parametric robustness, initially motivated by Kharitonov's theorem, the extension to non-linear time delay systems, and other more recent methods. The two volumes of Recent Advances in Robust Control give a selective overview of recent theoretical developments and present selected application examples. The volumes comprise 39 contributions covering various theoretical aspects as well as different application areas. The first volume covers selected problems in the theory of robust control and its application to robotic and electromechanical systems. The second volume is dedicated to special topics in robust control and problem specific solutions. Recent Advances in Robust Control will be a valuable reference for those interested in the recent theoretical advances and for researchers working in the broad field of robotics and mechatronics