Applied Mathematics Commons^™

Quantized Average Agreement Algorithms With Error Correction For Digraphs, Shuaib A. Mughal

Honors Undergraduate Theses

Multi-agent systems have become more and more prevalent as technology increasingly gets integrated into our daily lives. Some of these technological systems are large in size; for example, the smart grid where multiple devices are used to monitor and control different aspects of the energy grid. Another example is a team of autonomous systems deployed for a specific task. When these systems are spatially distributed, an important component of distributed algorithms is the ability for the agents to reach consensus on the global state of the system. Reaching agreement enables the spatially distributed agent make decisions or determine the next …

Solvability Of Stochastic Linear-Quadratic Optimal Control Problems Under Partial Stabilizability Conditions, Al-Sadh Rahman Imadh

Honors Undergraduate Theses

Optimal Control Theory, a branch of Control Theory, is applicable in fields such as engineering, operations research, and economics. Stochastic Optimal Control deals with noisy systems and data using Ito’s formulation. Given a noisy system and a cost functional, the goal is to find a control that will minimize the cost. This thesis focuses on linear quadratic stochastic optimal control, and we explore state equations that are not stabilizable. We first address measurability concerns arising from the semigroup property of the state trajectory. The notions of partial stability and partial stabilizability are introduced, and we formulate their corresponding Lyapunov and …

Safety And Optimality Monitors For Learning-Enabled Systems Using Conformal Prediction, Jackson Cox

McKelvey School of Engineering Graduate Student Theses & Dissertations

The use of machine learning to create data-driven plant models and controllers has led to an increased need for safety and optimality monitors for model-based systems. System plant models are subject to uncertainty due to learning constraints such as unseen data and overfitting or physical constraints such as unknown dynamics and noise. This uncertainty is detrimental to safety-critical systems and must be properly regulated. To curb this uncertainty, we create prediction sets using the guarantees provided by Conformal Prediction. With a user-specified high probability, these prediction sets contain the true plant system states for an entire prediction horizon, which we …

Theory And Algorithms To Learn, Propagate, And Exploit Uncertainty For Stochastic Optimal Control Of Dynamical Systems, Vignesh Sivaramakrishnan

Electrical and Computer Engineering ETDs

Non-Gaussian uncertainty frequently arises in learning and control problems involving stochastic dynamical systems, particularly in autonomous vehicles, UAVs, satellites, and robotics. In this dissertation, we propose a new framework that leverages characteristic functions that provides a frequency-domain representation of random variables. The dissertation is structured into three key areas. First, we address model-based stochastic optimal control for linear systems with non-Gaussian noise, demonstrating that characteristic functions can be used to enforce chance constraints and control systems toward desired distributions. Second, we explore data-driven stochastic control, utilizing empirical characteristic functions to handle systems with unknown disturbances. In addition, we derive several …

(R2108) Global Asymptotic Stability Analysis Of Discrete Time Population Model With Allee Effect Through Lyapunov Function, Govind Jha, Neeraj Kumar, Sarita Jha

Applications and Applied Mathematics: An International Journal (AAM)

This study explores the idea of stability analysis by using Lyapunov functions in discrete time population models; this work focuses on the nth generation. Further, this investigation aims to extend global stability concepts to discrete-time models and considers the influence of the Allee effect on population dynamics. Mathematical formulations and specific modelling approaches are utilized to investigate the behavior of the population system. The results reveal a larger range of stability in comparison to previous findings, emphasizing the effectiveness of the Lyapunov function approach. Specifically highlighted here are the extension of global stability concepts to the nth generation providing insights …

Kreig: Gaining Insight Into Epidemics Through Use Of Mathematical Modeling, Christina Edholm

Annual Symposium on Biomathematics and Ecology Education and Research

No abstract provided.

Harvesting Modulation In Three Species Food Chains Using A Robust Control Approach, Hector Puebla, Mariana Rodriguez-Jara, Priti Kumar Roy

Annual Symposium on Biomathematics and Ecology Education and Research

No abstract provided.

Modeling And Control Of Drug Resistance In Cancer Dynamics, James Greene

Biology and Medicine Through Mathematics Conference

No abstract provided.

Incorporating Awareness, Misinformation And Optimal Control In A Model Of Sars-Cov-2, Eric Numfor

Biology and Medicine Through Mathematics Conference

No abstract provided.

Duality Of Ensemble Systems Through Moment Representations, Vignesh Narayanan, Wei Zhang, Jr-Shin Li

Publications

Controlling large-scale dynamic population systems, known as ensemble control, is a pervasive and essential task in many emerging applications from diverse scientific domains. Previous focuses in the area of ensemble control have been placed on seeking open-loop control strategies due to unavailability of state feedback information for each individual system in the ensemble. In this paper, we develop a foundational framework for analysis and control of ensemble systems with closed feedback control loops. We introduce the notion of ensemble moments and construct moment systems associated with the ensemble systems. By extending the classical moment problem in mathematical analysis and statistics, …

Generalizations Of The Hardy Spaces And The Schwarz Boundary Value Problem, William L. Blair

Graduate Theses and Dissertations

We prove that many of the boundary properties associated with functions in the classic holomorphic Hardy spaces on the complex unit disk are present in Hardy classes of solutions to certain nonhomogeneous Cauchy-Riemann equations and higher-order generalizations of these equations. Also, we explicitly solve generalizations of the Schwarz boundary value problem on the complex unit disk and the upper-half plane when the boundary condition is in terms of boundary values in the sense of distributions.

Optimal Control Frameworks For A Class Of Epidemiological And Oncological Models, Asma Ali H Alghamdi

Mathematics Dissertations - Archive

In this thesis, we employ optimal control frameworks in two distinct contexts: Human immunodeficiency virus (HIV) and esophageal cancer. For HIV, we introduce a comprehensive data-driven nonlinear optimization framework designed for personalized therapies. This framework utilizes a deterministic in-host nonlinear ordinary differential equation (ODE) model and formulates two optimization problems using individual patient data. The first problem focuses on estimating patient-specific parameters through constrained optimization, while the second problem determines optimal combination therapies to reduce viral load to undetectable levels. Several numerical experiments suggest that our framework can provide a robust and effective optimal dosages with lower toxicity levels to …

Using A Degree-Based Network Model To Understand And Control Traffic Jams In The Atlanta Metropolitan Area, Ian Salamone-Lent, Theresa Washington, Asma Azizi

The Kennesaw Journal of Undergraduate Research

Traffic congestion is an enduring problem for major metropolitan areas, such as Atlanta, GA. Our goal is to understand the nature of traffic congestion patterns in the highway system of Cobb County in Atlanta, GA. We created a road network representative of the Cobb County highway system and then superimposed a degree-based SIR model to simulate traffic congestion on that network. The model’s parameters, propagation and dissipation rates, were estimated using empirical traffic data, which are vehicles’ speed time series and speed limit of each road in the network. We then conducted a local sensitivity analysis of the model’s key …

Structured Invariant Subspace And Decomposition Of Systems With Time Delays And Uncertainties, Huan Phan-Van, Keqin Gu

SIUE Faculty Research, Scholarship, and Creative Activity

This article discusses invariant subspaces of a matrix with a given partition structure. The existence of a nontrivial structured invariant subspace is equivalent to the possibility of decomposing the associated system with multiple feedback blocks such that the feedback operators are subject to a given constraint. The formulation is especially useful in the stability analysis of time-delay systems using the Lyapunov-Krasovskii functional approach where computational efficiency is essential in order to achieve accuracy for large scale systems. The set of all structured invariant subspaces are obtained (thus all possible decompositions are obtained as a result) for the coupled differential-difference equations …

A Class Of Game-Theoretic And Fokker-Planck Optimal Control Frameworks In Colon And Esophageal Cancer, Mesfer Alajmi Phd

Mathematics Dissertations - Archive

In this dissertation, we first present a new stochastic framework for parameter estimation and uncertainty quantification in colon cancer-induced immune responses. A stochastic process that captures the system's inherent randomness determines the dynamics of colon cancer. The stochastic framework is based on the Fokker-Planck equation, which represents the evolution of the probability density function corresponding to the stochastic process. We formulate an optimization problem that takes individual patient data with randomness present and solves it to obtain the unknown parameters corresponding to the individual tumor characteristics. Furthermore, we perform a sensitivity analysis of the optimal parameter set to identify the …

Robot-Based 3d Printing, Aaron Hoffman

Williams Honors College, Honors Research Projects

Details of a large-format 3D printer created to print experimental materials, test multi-axis print techniques, and quickly print large objects. The printer consists of a 7-axis robotic arm and pellet extruder, which are controlled by a PC. Experimental materials such as recycled polymers or carbon-fiber reinforced materials can be easily tested with the pellet format of the extruder. The printer can perform different printing techniques and can be used to experiment with material properties when using these techniques with different polymers. The print surface is around 5 times larger than the average commercial 3D printer, and the robotic arm provides …

Optimizing Microbe-Infected Mosquito Release: A Stochastic Model For Malaria Prevention, Steeven Belvinos Affognon, Henri E.Z. Tonnang, Philip Ngare, Benard Kipchumba Kiplangat, Shirley Abelman, Jeremy K. Herren

All Peer-Reviewed Publications

Malaria remains a critical public health challenge in Africa, demanding innovative control strategies. This study introduces a novel approach using Microsporidia MB-infected mosquitoes and stochastic optimal control within a Lévy process framework to regulate mosquito release strategies. The primary goal is to optimize Microsporidia MB prevalence within mosquito populations to disrupt Plasmodium transmission to humans. By incorporating Lévy noise into the modeling process, we capture the inherent randomness of mosquito dynamics, improving intervention accuracy. The model, guided by the Hamilton–Jacobi–Bellman (HJB) equation, optimizes release protocols while accounting for key environmental factors like seasonality and temperature fluctuations. Results show that intervention …

Reducing Food Scarcity: The Benefits Of Urban Farming, S.A. Claudell, Emilio Mejia

Journal of Nonprofit Innovation

Urban farming can enhance the lives of communities and help reduce food scarcity. This paper presents a conceptual prototype of an efficient urban farming community that can be scaled for a single apartment building or an entire community across all global geoeconomics regions, including densely populated cities and rural, developing towns and communities. When deployed in coordination with smart crop choices, local farm support, and efficient transportation then the result isn’t just sustainability, but also increasing fresh produce accessibility, optimizing nutritional value, eliminating the use of ‘forever chemicals’, reducing transportation costs, and fostering global environmental benefits.

Imagine Doris, who is …

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 …

Stochastic Optimal Control Of Conditional Mckean-Vlasov Equations With Jump And Markovian Switching, Charles Samuel Conly Sharp

Theses and Dissertations

This thesis obtains a number of results in stochastic optimal control for conditional McKean-Vlasov equations with jump and Markovian switching. First, we prove the uniqueness of the solutions and derive a relevant version of Itô's formula. We provide the dynamic programming principle and prove the associated verification theorem. A stochastic maximum principle is established. Further, we derive the relationship between dynamic programming and the stochastic maximum principle. Additionally, we utilize our stochastic maximum principle result for a mean-variance portfolio selection problem.

Aspects Of Stochastic Geometric Mechanics In Molecular Biophysics, David Frost

All Dissertations

In confocal single-molecule FRET experiments, the joint distribution of FRET efficiency and donor lifetime distribution can reveal underlying molecular conformational dynamics via deviation from their theoretical Forster relationship. This shift is referred to as a dynamic shift. In this study, we investigate the influence of the free energy landscape in protein conformational dynamics on the dynamic shift by simulation of the associated continuum reaction coordinate Langevin dynamics, yielding a deeper understanding of the dynamic and structural information in the joint FRET efficiency and donor lifetime distribution. We develop novel Langevin models for the dye linker dynamics, including rotational dynamics, based …

Understanding Impact Of Educational Awareness And Vaccines As Optimal Control Mechanisms For Changing Human Behavior In Disease Epidemics, Manal Badgaish, Dr. Padmanabhan Seshaiyer

Annual Symposium on Biomathematics and Ecology Education and Research

No abstract provided.

Msis-Kadelka: Modularizing The Control Search For Biological Systems, David Murrugarra

Annual Symposium on Biomathematics and Ecology Education and Research

No abstract provided.

Deep Q-Learning Framework For Quantitative Climate Change Adaptation Policy For Florida Road Network Due To Extreme Precipitation, Orhun Aydin

I-GUIDE Forum

Climate change-induced extreme weather and increasing population are increasing the pressure on the global aging road networks. Adaptation requires designing interventions and alterations to the road networks that consider future dynamics of flooding and increased traffic due to the growing population. This paper introduces a reinforcement learning approach to designing interventions for Florida's road network under future traffic and climate projections. Three climate models and a tide and surge model are used to create flooding and coastal inundation projections, respectively. The optimal sequence of decisions for adapting Florida's road network to minimize flooding-related disruptions is solved by using a graph-based …

Balanced Blended Space: Proposing A Universal Theoretical Framework For Combinative Reality, David Smith, Frederick Bianchi

Publications and Research

In today's fragmented societies, a unified framework for communication and collaboration across different realities is crucial. We introduce Balanced Blended Space (BBS) as a framework for describing combinative reality, encompassing virtual, physical, and conceptual realms, all intrinsically connected. Interactions within these environments shape our perceptual space. This paper outlines key axiomatic assumptions, criteria for a universal framework, and fundamental terminology. We identify deep symmetries enabling the BBS framework, including Cognitive and Computational Symmetry, Physical and Virtual Symmetry, Mediation Pathway Symmetry, Space-Time Symmetry, and Sensory Symmetry. We propose tests to determine its viability, emphasizing virtual intelligence as a collaborative partner. We …

Rigid Body Constrained Motion Optimization And Control On Lie Groups And Their Tangent Bundles, Brennan S. Mccann

Doctoral Dissertations and Master's Theses

Rigid body motion requires formulations where rotational and translational motion are accounted for appropriately. Two Lie groups, the special orthogonal group SO(3) and the space of quaternions H, are commonly used to represent attitude. When considering rigid body pose, that is spacecraft position and attitude, the special Euclidean group SE(3) and the space of dual quaternions DH are frequently utilized. All these groups are Lie groups and Riemannian manifolds, and these identifications have profound implications for dynamics and controls. The trajectory optimization and optimal control problem on Riemannian manifolds presents significant opportunities for theoretical development. Riemannian optimization is an attractive …

A Robust Model Reduction For The Optimal Boundary Feedback Stabilization Of Magnetizable Piezoelectric Beams, Md Rafi As Sadeq Ibn Emran

Masters Theses & Specialist Projects

The one-dimensional Partial Differential Equation (PDE) model of the wave equation, which describes wave dynamics of a wide-range of controlled mechanical systems, with a state feedback controller at its boundary is known to have exponentially stable solutions. Moreover, it is also reported that the several model reductions of the wave equation by the standard Finite Differences and Finite Elements approximations suffer from the lack of exponential stability (and exact observability without a state feedback controller) uniformly as the discretization parameter tends to zero. This is due to the loss of a uniform gap among the high-frequency eigenvalues as the discretization …

Stability Of Cauchy's Equation On Δ+., Holden Wells

Electronic Theses and Dissertations

The most famous functional equation f(x+y)=f(x)+f(y) known as Cauchy's equation due to its appearance in the seminal analysis text Cours d'Analyse (Cauchy 1821), was used to understand fundamental aspects of the real numbers and the importance of regularity assumptions in mathematical analysis. Since then, the equation has been abstracted and examined in many contexts. One such examination, introduced by Stanislaw Ulam and furthered by Donald Hyers, was that of stability. Hyers demonstrated that Cauchy's equation exhibited stability over Banach Spaces in the following sense: functions that approximately satisfy Cauchy's equation are approximated with the same level of error by functions …

Distributed Control Of Servicing Satellite Fleet Using Horizon Simulation Framework, Scott Plantenga

Master's Theses

On-orbit satellite servicing is critical to maximizing space utilization and sustainability and is of growing interest for commercial, civil, and defense applications. Reliance on astronauts or anchored robotic arms for the servicing of next-generation large, complex space structures operating beyond Low Earth Orbit is impractical. Substantial literature has investigated the mission design and analysis of robotic servicing missions that utilize a single servicing satellite to approach and service a single target satellite. This motivates the present research to investigate a fleet of servicing satellites performing several operations for a large, central space structure.

This research leverages a distributed control approach, …

Modeling, Simulation And Control Of Microrobots For The Microfactory., Zhong Yang

Electronic Theses and Dissertations

Future assembly technologies will involve higher levels of automation in order to satisfy increased microscale or nanoscale precision requirements. Traditionally, assembly using a top-down robotic approach has been well-studied and applied to the microelectronics and MEMS industries, but less so in nanotechnology. With the boom of nanotechnology since the 1990s, newly designed products with new materials, coatings, and nanoparticles are gradually entering everyone’s lives, while the industry has grown into a billion-dollar volume worldwide. Traditionally, nanotechnology products are assembled using bottom-up methods, such as self-assembly, rather than top-down robotic assembly. This is due to considerations of volume handling of large …