arXiv subjects

Victoria Edwards

Publications and source records attributed to Victoria Edwards.

12 recordsLinked to original sources

arXiv2025

Multi-robot Multi-source Localization in Complex Flows with Physics-Preserving Environment Models

Source localization in a complex flow poses a significant challenge for multi-robot teams tasked with localizing the source of chemical leaks or tracking the dispersion of an oil spill. The flow dynamics can be time-varying and chaotic, resulting in sporadic and intermittent sensor readings, and complex environmental geometries further complicate a team's ability to model and predict the dispersion. To accurately account for the physical processes that drive the dispersion dynamics, robots must have access to computationally intensive numerical models, which can be difficult when onboard computation is limited. We present a distributed mobile sensing framework for source localization in which each robot carries a machine-learned, finite element model of its environment to guide information-based sampling. The models are used to evaluate an approximate mutual information criterion to drive an infotaxis control strategy, which selects sensing regions that are expected to maximize informativeness for the source localization objective. Our approach achieves faster error reduction compared to baseline sensing strategies and results in more accurate source localization compared to baseline machine learning approaches.

cs.RO↗

arXiv2025

KoopMotion: Learning Almost Divergence Free Koopman Flow Fields for Motion Planning

In this work, we propose a novel flow field-based motion planning method that drives a robot from any initial state to a desired reference trajectory such that it converges to the trajectory's end point. Despite demonstrated efficacy in using Koopman operator theory for modeling dynamical systems, Koopman does not inherently enforce convergence to desired trajectories nor to specified goals - a requirement when learning from demonstrations (LfD). We present KoopMotion which represents motion flow fields as dynamical systems, parameterized by Koopman Operators to mimic desired trajectories, and leverages the divergence properties of the learnt flow fields to obtain smooth motion fields that converge to a desired reference trajectory when a robot is placed away from the desired trajectory, and tracks the trajectory until the end point. To demonstrate the effectiveness of our approach, we show evaluations of KoopMotion on the LASA human handwriting dataset and a 3D manipulator end-effector trajectory dataset, including spectral analysis. We also perform experiments on a physical robot, verifying KoopMotion on a miniature autonomous surface vehicle operating in a non-static fluid flow environment. Our approach is highly sample efficient in both space and time, requiring only 3\% of the LASA dataset to generate dense motion plans. Additionally, KoopMotion provides a significant improvement over baselines when comparing metrics that measure spatial and temporal dynamics modeling efficacy. Code at: \href{https://alicekl.github.io/koop-motion/}{\color{blue}{https://alicekl.github.io/koop-motion}}.

cs.RO↗

arXiv2022

Stochastic Nonlinear Ensemble Modeling and Control for Robot Team Environmental Monitoring

We seek methods to model, control, and analyze robot teams performing environmental monitoring tasks. During environmental monitoring, the goal is to have teams of robots collect various data throughout a fixed region for extended periods of time. Standard bottom-up task assignment methods do not scale as the number of robots and task locations increases and require computationally expensive replanning. Alternatively, top-down methods have been used to combat computational complexity, but most have been limited to the analysis of methods which focus on transition times between tasks. In this work, we study a class of nonlinear macroscopic models which we use to control a time-varying distribution of robots performing different tasks throughout an environment. Our proposed ensemble model and control maintains desired time-varying populations of robots by leveraging naturally occurring interactions between robots performing tasks. We validate our approach at multiple fidelity levels including experimental results, suggesting the effectiveness of our approach to perform environmental monitoring.

cs.RO↗

arXiv2022

Proportional Control for Stochastic Regulation on Allocation of Multi-Robots

Any strategy used to distribute a robot ensemble over a set of sequential tasks is subject to inaccuracy due to robot-level uncertainties and environmental influences on the robots' behavior. We approach the problem of inaccuracy during task allocation by modeling and controlling the overall ensemble behavior. Our model represents the allocation problem as a stochastic jump process and we regulate the mean and variance of such a process. The main contributions of this paper are: Establishing a structure for the transition rates of the equivalent stochastic jump process and formally showing that this approach leads to decoupled parameters that allow us to adjust the first- and second-order moments of the ensemble distribution over tasks, which gives the flexibility to decrease the variance in the desired final distribution. This allows us to directly shape the impact of uncertainties on the group allocation over tasks. We introduce a detailed procedure to design the gains to achieve the desired mean and show how the additional parameters impact the covariance matrix, which is directly associated with the degree of task allocation precision. Our simulation and experimental results illustrate the successful control of several robot ensembles during task allocation.

cs.RO↗

arXiv2021

Learning and Leveraging Features in Flow-Like Environments to Improve Situational Awareness

This paper studies how global dynamics and knowledge of high-level features can inform decision-making for robots in flow-like environments. Specifically, we investigate how coherent sets, an environmental feature found in these environments, inform robot awareness within these scenarios. The proposed approach is an online environmental feature generator which can be used for robot reasoning. We compute coherent sets online with techniques from machine learning and design frameworks for robot behavior that leverage coherent set features. We demonstrate the effectiveness of online methods over offline methods. Notably, we apply these online methods for robot monitoring of pedestrian behaviors and robot navigation through water. Environmental features such as coherent sets provide rich context to robots for smarter, more efficient behavior.

cs.RO↗

arXiv2021

Interacting Swarm Sensing and Stabilization

Swarming behavior, where coherent motion emerges from the interactions of many mobile agents, is ubiquitous in physics and biology. Moreover, there are many efforts to replicate swarming dynamics in mobile robotic systems which take inspiration from natural swarms. In particular, understanding how swarms come apart, change their behavior, and interact with other swarms is a research direction of special interest to the robotics and defense communities. Here we develop a theoretical approach that can be used to predict the parameters under which colliding swarms form a stable milling state. Our analytical methods rely on the assumption that, upon collision, two swarms oscillate near a limit-cycle, where each swarm rotates around the other while maintaining an approximately constant density. Using our methods, we are able to predict the critical swarm-swarm interaction coupling (below which two colliding swarms merely scatter) for nearly aligned collisions as a function of physical swarm parameters. We show that the critical coupling corresponds to a saddle-node bifurcation of a limit-cycle in the constant-density approximation. Finally, we show preliminary results from experiments in which two swarms of micro UAVs collide and form a milling state, which is in general agreement with our theory.

nlin.AO↗

arXiv2021

Critical transition for colliding swarms

Swarming patterns that emerge from the interaction of many mobile agents are a subject of great interest in fields ranging from biology to physics and robotics. In some application areas, multiple swarms effectively interact and collide, producing complex spatiotemporal patterns. Recent studies have begun to address swarm-on-swarm dynamics, and in particular the scattering of two large, colliding swarms with nonlinear interactions. To build on early numerical insights, we develop a mean-field approach that can be used to predict the parameters under which colliding swarms are expected to form a milling state. Our analytical method relies on the assumption that, upon collision, two swarms oscillate near a limit-cycle, where each swarm rotates around the other while maintaining an approximately constant and uniform density. Using this approach we are able to predict the critical swarm-on-swarm interaction coupling, below which two colliding swarms merely scatter, for near head-on collisions as a function of control parameters. We show that the critical coupling corresponds to a saddle-node bifurcation of a stable limit cycle in the uniform, constant density approximation. Our results are tested and found to agree with large multi-agent simulations.

nlin.PS↗

arXiv2020

Stability of milling patterns in self-propelled swarms on surfaces

In some physical and biological swarms, agents effectively move and interact along curved surfaces. The associated constraints and symmetries can affect collective-motion patterns, but little is known about pattern stability in the presence of surface curvature. To make progress, we construct a general model for self-propelled swarms moving on surfaces using Lagrangian mechanics. We find that the combination of self-propulsion, friction, mutual attraction, and surface curvature produce milling patterns where each agent in a swarm oscillates on a limit cycle, with different agents splayed along the cycle such that the swarm's center-of-mass remains stationary. In general, such patterns loose stability when mutual attraction is insufficient to overcome the constraint of curvature, and we uncover two broad classes of stationary milling-state bifurcations. In the first, a spatially periodic mode undergoes a Hopf bifurcation as curvature is increased which results in unstable spatiotemporal oscillations. This generic bifurcation is analyzed for the sphere and demonstrated numerically for several surfaces. In the second, a saddle-node-of-periodic-orbits occurs in which stable and unstable milling states collide and annihilate. The latter is analyzed for milling states on cylindrical surfaces. Our results contribute to the general understanding of swarm pattern-formation and stability in the presence of surface curvature, and may aid in designing robotic swarms that can be controlled to move over complex surfaces.

nlin.AO↗

arXiv2020

Establishing Reliable Robot Behavior using Capability Analysis Tables

Robots are often so complex that one person may not know all the ins and outs of the system. Inheriting software and hardware infrastructure with limited documentation and/or practical robot experience presents a costly challenge for an engineer or researcher. The choice is to either re-build existing systems, or invest in learning the existing framework. No matter the choice, a reliable system which produces expected outcomes is necessary, and while rebuilding may at first appear easier than learning the system, future users will be faced with the same choice. This paper provides a method to allow for increased documentation of the robotic system, which in turn can be used to contribute in overall robot reliability. To do this we propose the identification of a robot's core behaviors for use in Capability Analysis Tables (CATs). CATs are a form of tabular documentation that connect the hardware and software inputs and outputs to the robot's core behaviors. Unlike existing methods, CATs are flexible, easy to build, and understandable by non-expert robot users. We demonstrate this documentation method with an experimental example using an Unmanned Aerial Vehicle (UAV).

cs.RO↗

arXiv2020

Delay Induced Swarm Pattern Bifurcations in Mixed Reality Experiments

Swarms of coupled mobile agents subject to inter-agent wireless communication delays are known to exhibit multiple dynamic patterns in space that depend on the strength of the interactions and the magnitude of the communication delays. We experimentally demonstrate communication delay-induced bifurcations in the spatio-temporal patterns of robot swarms using two distinct hardware platforms in a mixed reality framework. Additionally, we make steps toward experimentally validating theoretically predicted parameter regions where transitions between swarm patterns occur. We show that multiple rotation patterns persist even when collision-avoidance strategies are incorporated, and we show the existence of multi-stable, co-existing rotational patterns not predicted by usual mean field dynamics. Our experiments are the first significant steps towards validating existing theory and the existence and robustness of the delay-induced patterns in real robotic swarms.

nlin.AO↗

arXiv2020

Torus bifurcations of large-scale swarms having range dependent communication delay

Dynamical emergent patterns of swarms are now fairly well established in nature, and include flocking and rotational states. Recently, there has been great interest in engineering and physics to create artificial self-propelled agents that communicate over a network and operate with simple rules, with the goal of creating emergent self-organizing swarm patterns. In this paper, we show that when communicating networks have range dependent delays, rotational states which are typically periodic, undergo a bifurcation and create swarm dynamics on a torus. The observed bifurcation yields additional frequencies into the dynamics, which may lead to quasi-periodic behavior of the swarm.

nlin.AO↗

arXiv2020

Unstable oscillations and bistability in delay-coupled swarms

It is known from both theory and experiments that introducing time delays into the communication network of mobile-agent swarms produces coherent rotational patterns. Often such spatio-temporal rotations can be bistable with other swarming patterns, such as milling and flocking. Yet, most known bifurcation results related to delay-coupled swarms rely on inaccurate mean-field techniques. As a consequence, the utility of applying macroscopic theory as a guide for predicting and controlling swarms of mobile robots has been limited. To overcome this limitation, we perform an exact stability analysis of two primary swarming patterns in a general model with time-delayed interactions. By correctly identifying the relevant spatio-temporal modes that determine stability in the presence of time delay, we are able to accurately predict bistability and unstable oscillations in large swarm simulations-- laying the groundwork for comparisons to robotics experiments.

nlin.AO↗