A. James Clark School of Engineering
Permanent URI for this communityhttp://hdl.handle.net/1903/1654
The collections in this community comprise faculty research works, as well as graduate theses and dissertations.
Browse
4 results
Search Results
Item Optimality, Synthesis and a Continuum Model for Collective Motion(2019) Halder, Udit; Krishnaprasad, Perinkulam S.; Electrical Engineering; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)It is of importance to study biological collectives and apply the wisdom so accrued to modern day engineering problems. In this dissertation we attempt to gain insight into collective behavior where the main contribution is twofold. First, a `bottom-up' approach is employed to study individual level control law synthesis and emergence thereby of collective behavior. Three different problems, involving single and multiple agents, are studied by both analytical and experimental means. These problems arise from either a practical viewpoint or from attempts at describing biologically plausible feedback mechanisms. One result obtained in this context for a double agent scenario is that under a particular constant bearing pursuit strategy, the problem exhibits certain features common with the Kepler two body problem. Laboratory demonstrations of the solutions to these problems are presented. It is to be noted that these types of individual level control problems can help understand and construct building blocks for group level behaviors. The second approach is `top-down' in nature. It treats a collective as a whole and asks if its movement minimizes some kind of energy functional. A key goal of this work is to develop wave equations and their solutions for a natural class of optimal control problems with which one can analyze information transfer in flocks. Controllability arguments in infinite dimensional spaces give strong support to construct solutions for such optimal control problems. Since the optimal control problems are infinite dimensional in the state space and one cannot simply expect Pontryagin's Maximum Principle (PMP) to apply in such a setting, the work has required care and attention to functional analytic considerations. In this work, it is shown that under a certain assumption on finite co-dimensionality of a reachable set, PMP remains valid. This assumption is then shown to hold true for the case of a specific ensemble of agents, each with state space as the Heisenberg group H(3). Moreover, analysis of optimal controls demonstrates the existence of traveling wave solutions in that setting. Synchronization results are obtained in a high coupling limit where deviation from neighbors is too costly for every agent. The combination of approaches based on PMP and calculus of variations have been fruitful in developing a solid new understanding of wave phenomena in collectives. We provide partial results along these lines for the case of a continuum of planar agents (SE(2) case). Finally, a different top-down and data-driven approach to analyze collective behavior is also put forward in this thesis. It is known that the total kinetic energy of a flock can be divided into several modes attributed to rigid-body translations, rotations, volume changes, etc. Flight recordings of multiple events of European starling flocks yield time-signals of these different energy modes. This approach then seeks an explanation of kinetic energy mode distributions (viewed as flock-scale decisions) by appealing to techniques from evolutionary game theory and optimal control theory. We propose the notion of cognitive cost that calculates a suitably defined action functional and measures the cost to an event, resulting from temporal variations of energy mode distributions.Item Optimization-based Robustness and Stabilization in Decentralized Control(2017) Alavian, Alborz; Rotkowitz, Michael C; Electrical Engineering; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)This dissertation pertains to the stabilization, robustness, and optimization of Finite Dimensional Linear Time Invariant (FDLTI) decentralized control systems. We study these concepts for FDLTI systems subject to decentralizations that emerge from imposing sparsity constraints on the controller. While these concepts are well-understood in absence of an information structure, they continue to raise fundamental interesting questions regarding an optimal controller, or on suitable notions of robustness in presence of information structures. Two notions of stabilizability with respect to decentralized controllers are considered. First, the seminal result of Wang & Davison in 1973 regarding internal stabilizability of perfectly decentralized system and its connection to the decentralized fixed-modes of the plant is revisited. This seminal result would be generalized to any arbitrary sparsity-induced information structure by providing an inductive proof that verifies and shows that those mode of the plant that are fixed with respect to the static controllers would remain fixed with respect to the dynamic ones. A constructive proof is also provided to show that one can move any non-fixed mode of the plant to any arbitrary location within desired accuracy provided that they remain symmetric in the complex plane. A synthesizing algorithm would then be derived from the inductive proof. A second stronger notion of stability referred to as "non-overshooting stability" is then addressed. A key property called "feedthrough consistency" is derived, that when satisfied, makes extension of the centralized results to the decentralized case possible. Synthesis of decentralized controllers to optimize an H_Infinity norm for model-matching problems is considered next. This model-matching problem corresponds to an infinite-dimensional convex optimization problem. We study a finite-dimensional parametrization, and show that once the poles are chosen for this parametrization, the remaining problem of coefficient optimization can be cast as a semidefinite program (SDP). We further demonstrate how to use first-order methods when the SDP is too large or when a first-order method is otherwise desired. This leaves the remaining choice of poles, for which we develop and discuss several methods to better select the most effective poles among many candidates, and to systematically improve their location using convex optimization techniques. Controllability of LTI systems with decentralized controllers is then studied. Whether an LTI system is controllable (by LTI controllers) with respect to a given information structure can be determined by testing for fixed modes, but this gives a binary answer with no information about robustness. Measures have already been developed to determine how far a system is from having a fixed mode when one considers complex or real perturbations to the state-space matrices. These measures involve intractable minimizations of a non-convex singular value over a power-set, and hence cannot be computed except for the smallest of the plants. We replace these problem by equivalent optimization problems that involve a binary vector rather than the power-set minimization and prove their equality. Approximate forms are also provided that would upper bound the original metrics, and enable us to utilize MINLP techniques to derive scalable upper bounds. We also show that we can formulate lower bounds for these measures as polynomial optimization problems,and then use sum-of-squares methods to obtain a sequence of SDPs, whose solutions would lower bound these metrics.Item SYSTEMS-LEVEL MODELING AND VALIDATION OF CARDIOVASCULAR SYSTEM RESPONSES TO FLUID AND VASOPRESSOR INFUSION FOR AUTOMATED CRITICAL CARE SYSTEMS(2017) Bighamian, Ramin; Hahn, Jin-Oh; Reisner, Andrew T; Mechanical Engineering; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)Effective treatment of critically ill patients requires adequate administration of drugs to resuscitate and stabilize the patient by maintaining the volume of blood against bleeding and preserving the blood circulation to the body tissues. In today’s clinical practice, drug dose is adjusted by human clinicians. Therefore, treatment is often subjective and ad-hoc depending on the style and experience of the clinician. Thus, in theory, it is anticipated that well-designed automated critical care systems can help clinicians make superior adjustments to drug doses while they are always vigilant and never distracted by other obligations. Yet, automated critical care systems developed by researchers are ad-hoc, because they determine the control law, i.e., drug infusion rate, using input-output observations rather than the insights on the patient’s physiological states gained from rigorous data-based analysis of mathematical models. Thus, it is worth developing model-based automated systems relating the fluid and vasopressor dose input to the underlying physiological states. This necessitates dose-response mathematical models capable of reproducing realistic physiological and dose-mediated states with reasonable computational load. However, most of existing models are too simplistic to reflect physiological reality, while others are too complicated with thousands of parameters to tune. To address these challenges, we believe that a hybrid physiologic-phenomenological modeling paradigm is effective in developing mathematical models for automated systems: low-order phenomenological models with adaptive personalization capability are suited to develop control algorithms, while physiological models can provide high-fidelity patterns with physiological transparency suited to interpret the underlying physiological states. In this study, hybrid physiologic-phenomenological models of blood volume and cardiovascular responses to fluid and vasopressor infusion are successfully developed and validated using experimental data. It is shown that the models can adequately reproduce the underlying physiological states and endpoints to fluid and vasopressor infusion. The main contributions of this research are lined in the following three folds. First, the models are robust against inter-individual variability, in which they can be adapted to each patient with a small number of tunable parameters. Second, they are physiologically transparent where the underlying physiological states not measured in the standard clinical setting can be interpreted and streamlined during an intervention. And eventually the interpreted underlying states can be employed as direct endpoints to monitor the patient and guide the treatment in a closed-loop or decision-support platform.Item ELECTROLOCATION-BASED OBSTACLE AVOIDANCE AND AUTONOMOUS NAVIGATION IN UNDERWATER ENVIRONMENTS(2013) Dimble, Kedar Dnyaneshwar; Humbert, James S; Aerospace Engineering; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)Weakly electric fish are capable of performing obstacle avoidance in dark and complex aquatic environments efficiently using a navigation technique known as \emph{electrolocation}. That is, electric fish infer relevant information about surrounding obstacles from the perturbations that these obstacles impart to their self-generated electric field. This dissertation draws inspiration from electrolocation to demonstrate unmapped reflexive obstacle avoidance in underwater environments. The perturbation signal, called the \emph{electric image}, contains the spatial information of the perturbing objects regarding their location, size, conductivity etc. Electrostatic equations elucidate the concept of electrolocation and the mechanism of obstacle detection using electric field perturbations. Spatial decomposition of an electric image using Wide-Field Integration processing extracts relative proximity information about the obstacles. The electric field source is changed to an oscillatory one and a quasistatic approach is taken. Simulations were performed in straight tunnel, cluttered corridor and an obstacle field. Experimental validation was conducted with a setup comprising a tank, a computer-controlled gantry system and an electro-sensor. Consistency between the simulations and the experiments was maintained by recreating similar environments. Simulations using both the electrostatic and the quasistatic approach demonstrate that the algorithm is capable of performing various maneuvers like tunnel centering, wall following and clutter navigation. The experimental results agree with the simulation results and validate the efficacy of the approach in performing obstacle avoidance. The presented approach is computationally lightweight and readily implementable, making underwater autonomous navigation in real-time feasible.