Solution Approximation for Atmospheric Flight Dynamics Using Volterra Theory

This dissertation introduces a set of novel approaches in order to facilitate and enrich Volterra theory as a nonlinear approximation technique for constructing mathematical solutions from the governing relationships describing aircraft dynamic behavior. These approaches reconnect Volterra theory and flight mechanics research, which has not been addressed in the technical literature for over twenty years. Volterra theory is known to be viable in modeling weak nonlinearities, but is not particularly well suited for directly describing high performance aircraft dynamics. In order to overcome these obstacles and restrictions of Volterra theory, the global Piecewise Volterra Approach has been developed. This new approach decomposes a strong nonlinearity into weaker components in several sub-regions, which individually only require a low order truncated series. A novel Cause-and-Effect Analysis of these low order truncated series has also been developed. This new technique in turn allows system prediction before employing computer simulation, as well as decomposition of existing simulation results. For a computationally complex and large envelope airframe system, a Volterra Parameter-Varying Model Approach has also been developed as a systematically efficient approach to track the aircraft dynamic model and its response across a wide range of operating conditions. The analytical and numerical solutions based on the proposed methodology show the ability of Volterra theory to help predict, understand, and analyze nonlinear aircraft behavior beyond that attainable by linear theory, or more difficult to extract from nonlinear simulation, which in turn leads to a more efficient nonlinear preliminary design tool

Quantum Computing for Fusion Energy Science Applications

This is a review of recent research exploring and extending present-day quantum computing capabilities for fusion energy science applications. We begin with a brief tutorial on both ideal and open quantum dynamics, universal quantum computation, and quantum algorithms. Then, we explore the topic of using quantum computers to simulate both linear and nonlinear dynamics in greater detail. Because quantum computers can only efficiently perform linear operations on the quantum state, it is challenging to perform nonlinear operations that are generically required to describe the nonlinear differential equations of interest. In this work, we extend previous results on embedding nonlinear systems within linear systems by explicitly deriving the connection between the Koopman evolution operator, the Perron-Frobenius evolution operator, and the Koopman-von Neumann evolution (KvN) operator. We also explicitly derive the connection between the Koopman and Carleman approaches to embedding. Extension of the KvN framework to the complex-analytic setting relevant to Carleman embedding, and the proof that different choices of complex analytic reproducing kernel Hilbert spaces depend on the choice of Hilbert space metric are covered in the appendices. Finally, we conclude with a review of recent quantum hardware implementations of algorithms on present-day quantum hardware platforms that may one day be accelerated through Hamiltonian simulation. We discuss the simulation of toy models of wave-particle interactions through the simulation of quantum maps and of wave-wave interactions important in nonlinear plasma dynamics.Comment: 42 pages; 12 figures; invited paper at the 2021-2022 International Sherwood Fusion Theory Conferenc

Krylov Subspace Model Order Reduction for Nonlinear and Bilinear Control Systems

The use of Krylov subspace model order reduction for nonlinear/bilinear systems, over the past few years, has become an increasingly researched area of study. The need for model order reduction has never been higher, as faster computations for control, diagnosis and prognosis have never been higher to achieve better system performance. Krylov subspace model order reduction techniques enable this to be done more quickly and efficiently than what can be achieved at present. The most recent advances in the use of Krylov subspaces for reducing bilinear models match moments and multimoments at some expansion points which have to be obtained through an optimisation scheme. This therefore removes the computational advantage of the Krylov subspace techniques implemented at an expansion point zero. This thesis demonstrates two improved approaches for the use of one-sided Krylov subspace projection for reducing bilinear models at the expansion point zero. This work proposes that an alternate linear approximation can be used for model order reduction. The advantages of using this approach are improved input-output preservation at a simulation cost similar to some earlier works and reduction of bilinear systems models which have singular state transition matrices. The comparison of the proposed methods and other original works done in this area of research is illustrated using various examples of single input single output (SISO) and multi input multi output (MIMO) models

Alternatives for jet engine control

Research centered on basic topics in the modeling and feedback control of nonlinear dynamical systems is reported. Of special interest were the following topics: (1) the role of series descriptions, especially insofar as they relate to questions of scheduling, in the control of gas turbine engines; (2) the use of algebraic tensor theory as a technique for parameterizing such descriptions; (3) the relationship between tensor methodology and other parts of the nonlinear literature; (4) the improvement of interactive methods for parameter selection within a tensor viewpoint; and (5) study of feedback gain representation as a counterpart to these modeling and parameterization ideas

Bilinear modelling, control and stability of directional drilling

This paper proposes an approach for the attitude control of directional drilling tools for the oil and gas industry. A bilinear model of the directional drilling tool is proposed and it characterises the nonlinear properties of the directional drilling tool more accurately than the existing linear model, hence broadens the range of adequate performance. The proposed bilinear model is used as the basis for the design of a Bilinear Proportional plus Integral (BPI) controller. The stability of the proposed BPI control system is proven using stability notions for LTI and LPV systems. The transient simulation results show that the proposed BPI controller is more effective, robust and stable for the attitude control of the directional drilling tool than the existing PI controller. The proposed BPI controller provides improved invariant azimuth responses and significantly reduces the adverse effects of measurement delays and disturbances with respect to stability and performance of the directional drilling tool

System- and Data-Driven Methods and Algorithms

An increasing complexity of models used to predict real-world systems leads to the need for algorithms to replace complex models with far simpler ones, while preserving the accuracy of the predictions. This two-volume handbook covers methods as well as applications. This first volume focuses on real-time control theory, data assimilation, real-time visualization, high-dimensional state spaces and interaction of different reduction techniques

Computer Aided Verification

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book

Approximation, analysis and control of large-scale systems - Theory and Applications

This work presents some contributions to the fields of approximation, analysis and control of large-scale systems. Consequently the Thesis consists of three parts. The first part covers approximation topics and includes several contributions to the area of model reduction. Firstly, model reduction by moment matching for linear and nonlinear time-delay systems, including neutral differential time-delay systems with discrete-delays and distributed delays, is considered. Secondly, a theoretical framework and a collection of techniques to obtain reduced order models by moment matching from input/output data for linear (time-delay) systems and nonlinear (time-delay) systems is presented. The theory developed is then validated with the introduction and use of a low complexity algorithm for the fast estimation of the moments of the NETS-NYPS benchmark interconnected power system. Then, the model reduction problem is solved when the class of input signals generated by a linear exogenous system which does not have an implicit (differential) form is considered. The work regarding the topic of approximation is concluded with a chapter covering the problem of model reduction for linear singular systems. The second part of the Thesis, which concerns the area of analysis, consists of two very different contributions. The first proposes a new "discontinuous phasor transform" which allows to analyze in closed-form the steady-state behavior of discontinuous power electronic devices. The second presents in a unified framework a class of theorems inspired by the Krasovskii-LaSalle invariance principle for the study of "liminf" convergence properties of solutions of dynamical systems. Finally, in the last part of the Thesis the problem of finite-horizon optimal control with input constraints is studied and a methodology to compute approximate solutions of the resulting partial differential equation is proposed.Open Acces