Numerical Analysis and Computation Commons^™

Safe Control Design For Quadruped Locomotion In Unstructured Environments Using Linear Transfer Operators, Sriram Sundar Krishnamoorthy Shankara Narayanan

All Dissertations

Deploying quadruped robots in unstructured, obstacle-rich environments requires control and planning methods that remain safe and reliable despite complex terrain geometry, limited sensing, and inevitable modeling errors. This thesis develops operator-theoretic tools for safe control design of robotic systems using linear transfer operators, with a focus on quadruped locomotion in unstructured environments. The central goal is to develop a unified operator-theoretic framework for safe control design based on the Perron–Frobenius (P–F) and Koopman operators. In particular, the thesis leverages \emph{density functions} to develop safe navigation frameworks in the dual space of densities. In the operator-theoretic perspective, the P–F operator governs …

Universal Systems Simulation Via Constraint Hypergraphs With Applications To Digital Twins, John Morris

All Dissertations

The characterization of systems encompasses a variety of modeling frameworks designed to capture specific behaviors and components of various system domains. Whatever the framework, the core elements of a system representation are the information of the system and a description of how that information is related. The relations in deterministic systems are functions, which, when composed to form executable processes, can be used to simulate system data. A declarative modeling framework is one that encodes mechanisms for preparing these simulations within the model structure, allowing an external agent to form the execution processes required for a given context. To date, …

Accurate Temporal Integration Schemes For Nonlinear Adsorption Problems, Evan D. Butterworth

All Dissertations

We consider a nonlinear transport problem to model the chromatography process of high-capacity multimodal membranes. Robust and efficient algorithms that simulate these bioseparation processes are critical to developing therapeutics for various chronic illnesses and infectious diseases. However, much of the current methodology focuses on stabilization and linearization techniques, often implementing low-order time-discretizations and linearized adsorption, resulting in inefficiencies and inaccuracies in the numerical solution. Utilizing Rothe's method, we develop various time-discretization schemes coupled with the finite element method to solve the fully implicit problems. Stability and solvability results are presented for several methods. Through multiple high-level software implementations paired with …

Robust And Efficient Solvers For Physics-Based Pde’S, Elizabeth Hawkins

All Dissertations

This work was partially supported by the U.S. Department of Energy under award DE- SC0025292, by NSF grant DMS 2152623, and by NSF grant DMS 2011490.

This material is based upon work supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, Mathematical Multifaceted Integrated Capability Centers (MMICCs) program, under Field Work Proposal 22-025291 (Multifaceted Math- ematics for Predictive Digital Twins (M2dt)), Field Work Proposal 23-020467, and Computing and Information Sciences (CIS) investment area in the Laboratory Directed Research and Development program at Sandia National Laboratories. This written work is authored by an employee …

Domain Decomposition For Coupled Systems Of Fluid-Structure Interaction And Numerical Modeling For Thin Film Polymers, Amy De Castro

All Dissertations

We consider two primary areas of physical application in this work: fluid interaction systems with either linear elastic structures or with poroelastic structures, and thin film polymers, where the majority of the work focuses on the fluid-structure interaction systems.

In the first chapter, we present a strongly coupled partitioned method for fluid structure interaction (FSI) problems based on a monolithic formulation of the system which employs a Lagrange multiplier (LM). We prove that both the semi-discrete and fully discrete formulations are well-posed. To derive the partitioned scheme, a Schur complement equation, which implicitly expresses the Lagrange multiplier and the fluid …

Convergence Estimate Of Minimal Residual Methods And Random Sketching Of Krylov Subspace Methods, Peter Westerbaan

All Dissertations

This study concerns two main issues in numerical linear algebra: convergence estimate of minimal residual methods based on explicit construction of approximate min-max polynomials for in- definite matrices, and development and analysis of Krylov subspace methods using non-orthonormal basis vectors based on random sketching. For a matrix A with spectrum Λ(A), it is well known that the min-max polynomial problem min max |pk (z)| pk ∈Pk, pk (0)=1, z∈Λ(A) is used to bound the relative error of Krylov subspace minimum residual methods or similar methods. For a symmetric positive definite matrix A, the min-max polynomial for the Conjugate Gradient (CG) …

Domain Decomposition Methods For Fluid-Structure Interaction Problems Involving Elastic, Porous, Or Poroelastic Structures, Hemanta Kunwar

All Dissertations

We introduce two global-in-time domain decomposition methods, namely the Steklov-Poincare method and Schwarz waveform relaxation (SWR) method using Robin transmission conditions (or the Robin method), for solving fluid-structure interaction systems involving elastic, porous, or poroelastic structure. These methods allow us to formulate the coupled system as a space-time interface problem and apply iterative algorithms directly to the evolutionary problem. Each time-dependent fluid and the structure subdomain problem is solved independently, which enables the use of different time discretization schemes and time step sizes in the subsystems. This leads to an efficient way of simulating time-dependent multiphysics phenomena. For the fluid-porous …

Controlled Manipulation And Transport By Microswimmers In Stokes Flows, Jake Buzhardt

All Dissertations

Remotely actuated microscale swimming robots have the potential to revolutionize many aspects of biomedicine. However, for the longterm goals of this field of research to be achievable, it is necessary to develop modelling, simulation, and control strategies which effectively and efficiently account for not only the motion of individual swimmers, but also the complex interactions of such swimmers with their environment including other nearby swimmers, boundaries, other cargo and passive particles, and the fluid medium itself. The aim of this thesis is to study these problems in simulation from the perspective of controls and dynamical systems, with a particular focus …

New Preconditioned Conjugate Gradient Methods For Some Structured Problems In Physics, Tianqi Zhang

All Dissertations

This dissertation concerns the development and analysis of new preconditioned conjugate gradient (PCG) algorithms for three important classes of large-scale and complex physical problems characterized by special structures. We propose several new iterative methods for solving the eigenvalue problem or energy minimization problem, which leverage the unique structures inherent in these problems while preserving the underlying physical properties. The new algorithms enable more efficient and robust large-scale modeling and simulations in many areas, including condensed matter physics, optical properties of materials, stabilities of dynamical systems arising from control problems, and many more. Some methods are expected to be applicable to …

Advancements In Fluid Simulation Through Enhanced Conservation Schemes, Sean Ingimarson

All Dissertations

To better understand and solve problems involving the natural phenomenon of fluid and air flows, one must understand the Navier-Stokes equations. Branching several different fields including engineering, chemistry, physics, etc., these are among the most important equations in mathematics. However, these equations do not have analytic solutions save for trivial solutions. Hence researchers have striven to make advancements in varieties of numerical models and simulations. With many variations of numerical models of the Navier-Stokes equations, many lose important physical meaningfulness. In particular, many finite element schemes do not conserve energy, momentum, or angular momentum. In this thesis, we will study …

Improving Efficiency Of Rational Krylov Subspace Methods, Shengjie Xu

All Dissertations

This thesis studies two classes of numerical linear algebra problems, approximating the product of a function of a matrix with a vector, and solving the linear eigenvalue problem $Av=\lambda Bv$ for a small number of eigenvalues. These problems are solved by rational Krylov subspace methods (RKSM). We present several improvements in two directions: pole selection and applying inexact methods.

In Chapter 3, a flexible extended Krylov subspace method ($\mathcal{F}$-EKSM) is considered for numerical approximation of the action of a matrix function $f(A)$ to a vector $b$, where the function $f$ is of Markov type. $\mathcal{F}$-EKSM has the same framework as …