Author

Dylan A. Shell

78 papers · 2002–2025

2002peak 8 in 20212025

Frequent co-authors

Papers

showing 1–25 of 78 RSS

Assessing optimal assignment under uncertainty: An interval-based algorithm

Computer Networks and Communications · The International Journal of Robotics Research · June 2011 · cited 67× · DOI ↗ · more like this ·

We consider the problem of multi-robot task-allocation when robots have to deal with uncertain utility estimates. Typically an allocation is performed to maximize expected utility; we consider a means for measuring the robustness of a given optimal allocation when robots have some measure of the uncertainty (e.g. a probability distribution, or moments of such distributions). We introduce the interval Hungarian algorithm, a new algorithm that extends the classic Kuhn—Munkres Hungarian algorithm to compute the maximum interval of deviation, for each entry in the assignment matrix, which will retain the same optimal assignment. The algorithm has a worst-case time complexity of O( n 4 ) ; we also introduce a parallel variant with O( n 3 ) running time, which is able to exploit the concurrent computing capabilities of distributed multi-robot systems. This provides an efficient measurement of…

Assignment Algorithms for Modeling Resource Contention in Multirobot Task Allocation

Changjoo Nam, Dylan A. Shell

Computer Networks and Communications · IEEE Transactions on Automation Science and Engineering · 15 Apr 2015 · cited 45× · DOI ↗ · more like this ·

This paper considers multirobot task allocation problems where the estimated costs for performing tasks are interrelated, and the overall team objective need not be a standard sum-of-costs (or utilities) model, enabling straightforward treatment of the additional costs incurred by resource contention. In the model we introduce, a team may choose one of a set of shared resources to perform a task (e.g., several routes to reach a destination), and interference is modeled when multiple robots use the same resource. We show that the general problem is NP-hard, and investigate specialized subinstances with particular cost structures. For the general problem, we describe an exact algorithm which finds an optimal assignment in a reasonable time on small instances. Aiming at larger problems, we turn two particular subinstances, introducing an two algorithms that find assignments quickly even…

Concise Planning and Filtering: Hardness and Algorithms

Jason M. O’Kane, Dylan A. Shell

Artificial Intelligence · IEEE Transactions on Automation Science and Engineering · 29 May 2017 · cited 30× · DOI ↗ · more like this ·

Motivated by circumstances with severe computational resource limits (e.g., settings with strong constraints on memory or communication), this paper addresses the problem of concisely representing and processing information for estimation and planning tasks. In this paper, conciseness is a measure of explicit representational complexity: for filtering, we are concerned with maintaining as little state as possible to perform a given task; for the planning case, we wish to generate the plan graph (or policy graph) with the fewest vertices that is correct and also complete. We present hardness results showing that both filtering and planning are NP-hard to perform in an optimally concise way, and that the related decision problems are NP-complete. We also describe algorithms for filter reduction and concise planning, for which these hardness results justify the potentially suboptimal…

When to do your own thing: Analysis of cost uncertainties in multi-robot task allocation at run-time

Changjoo Nam, Dylan A. Shell

Computer Networks and Communications · May 2015 · cited 28× · DOI ↗ · more like this ·

We address the problem of finding the optimal assignment of tasks to a team of robots when the associated costs may vary, which arises when robots deal with uncertain or dynamic situations. We detail how to compute a sensitivity analysis that characterizes how much costs may change before optimality is violated. Using this analysis, robots are able to avoid unnecessary re-assignment computations and reduce global communication. First, given a model of how costs may evolve, we develop an algorithm to partition the robots into independent cliques, each of which maintains global optimality by communicating only amongst themselves. Second, we propose a method for computing the worst-case sub-optimality if robots persist with the initial assignment, performing no further communication/computation. Lastly, we develop an algorithm that assesses whether cost changes affect the optimality…

Multi-Level Partitioning and Distribution of the Assignment Problem for Large-Scale Multi-Robot Task Allocation

Lantao Liu, Dylan A. Shell

Computer Networks and Communications · 27 Jun 2011 · cited 27× · DOI ↗ · more like this ·

A team of robots can handle failures and dynamic tasks by repeatedly assigning functioning robots to tasks. This paper introduces an algorithm that scales to large numbers of robots and tasks by exploiting both task locality and sparsity. The algorithm mixes both centralized and decentralized approaches at different scales to produce a fast, robust method that is accurate and scalable, and reduces both the global communication and unnecessary repeated computation. We depart from optimization and bipartite matching formulations of the problem, observing instead that an assignment can be computed through coarsening and partitioning operations on the utility matrix. First, a coarse assignment is calculated by evaluating the global utility information and partitioning it into clusters in a problem-domain independent way. Next, the assignment solutions in each partition are refined (either…

Coordinated multi-robot planning while preserving individual privacy

Li Li, Alfredo Bayuelo, Leonardo Bobadilla +2 more

Artificial Intelligence · May 2019 · cited 25× · DOI ↗ · more like this ·

We consider the problem of multiple robots that must cooperate within a shared environment, but which wish to limit the information they disclose during their coordination efforts. Specifically, we examine the problems of privacy-preserving rendezvous and persistent monitoring. In the former, the robots construct a joint plan to have them meet, without either knowing beforehand where or when the meeting will occur. In the latter, multiple robots dynamically cover a region of space-they plan collective motions which are collision-free but with the assurance that agents remain ignorant of the paths of others. Accordingly, the tasks are sort of inverses in that the robots must collectively determine whether their joint paths collide or not, then, using this, achieve their collective task. Other than what is learned by the outcome of the joint-collision determination, the robots possess no…

Assignment algorithms for modeling resource contention and interference in multi-robot task-allocation

Changjoo Nam, Dylan A. Shell

Computer Networks and Communications · May 2014 · cited 23× · DOI ↗ · more like this ·

We consider optimization of the multi-robot task-allocation problem when the overall performance of the team need not be a standard sum-of-cost model. We introduce a generalization that allows for the additional cost incurred by resource contention to be treated in a straightforward manner. In this variant, robots may choose one of shared resources to perform a task, and interference may be modeled as occurring when multiple robots use the same resource. We investigate the general NP-hard problem and instances where the interference results in linear or convex penalization functions. We propose an exact algorithm for the general problem and polynomial-time algorithms for the other problems. The exact algorithm finds an optimal assignment in a reasonable time on small instances. The other two algorithms quickly find an optimal and a high-quality approximation assignment even if a problem…

A Distributable and Computation-flexible Assignment Algorithm: From Local Task Swapping to Global Optimality

Lantao Liu, Dylan A. Shell

Computer Networks and Communications · 9 Jul 2012 · cited 23× · DOI ↗ · more like this ·

The assignment problem arises in multi-robot taskallocation scenarios. This paper introduces an algorithm for solving the assignment problem with several appealing features for online, distributed robotics applications. The method can start with any initial matching and incrementally improve the solution to reach the global optimum, producing valid assignments at any intermediate point. It is an any-time algorithm with an attractive performance profile (quality improves linearly) that, additionally, is comparatively straightforward to implement and is efficient both theoretically (O(n 3 lg n) complexity is better than widely used solvers) and practically (comparable to the fastest implementation, for up to hundreds of robots/tasks). We present a centralized version and two decentralized variants that trade between computational and communication complexity.

Principled Approaches to the Design of Multi-Robot Systems

Chris V. Jones, Dylan A. Shell, Maja J. Matarić +1 more

Computer Vision and Pattern Recognition · Intelligent Robots and Systems · September 2004 · cited 23× · OpenAlex ↗ · more like this ·

Coordinated multi-robot systems (MRS) have been successfully demonstrated in a variety of task domains. However, the design of these systems is typically ad hoc and centered around resource-intensive trial-and-error design processes. To fully exploit the power and potentials of MRS, the community is in need of additional principled design methodologies. In this paper, we present an overview of our ongoing work on three different principled methodologies, each of which addresses a different type of MRS, based on the scale of the system or mechanisms by which coordination is achieved. First, we present a formal study and analysis of task allocation in MRS, including a domain-independent taxonomy of multi-robot task allocation (MRTA) problems. Second, we present a principled controller design methodology for MRS executing sequential tasks. This design methodology provides a formal…

Complete characterization of a class of privacy-preserving tracking problems

Yulin Zhang, Dylan A. Shell

cs.RO · 31 May 2018 · cited 18× · arXiv ↗ · more like this ·

We examine the problem of target tracking whilst simultaneously preserving the target's privacy as epitomized by the robotic panda tracking scenario, which O'Kane introduced at the 2008 Workshop on the Algorithmic Foundations of Robotics in order to elegantly illustrate the utility of ignorance. The present paper reconsiders his formulation and the tracking strategy he proposed, along with its completeness. We explore how the capabilities of the robot and panda affect the feasibility of tracking with a privacy stipulation, uncovering intrinsic limits, no matter the strategy employed. This paper begins with a one-dimensional setting and, putting the trivially infeasible problems aside, analyzes the strategy space as a function of problem parameters. We show that it is not possible to actively track the target as well as protect its privacy for every nontrivial pair of tracking and…

Minimalist Robot Navigation and Coverage Using a Dynamical System Approach

Tauhidul Alam, Leonardo Bobadilla, Dylan A. Shell

Computer Vision and Pattern Recognition · April 2017 · cited 18× · DOI ↗ · more like this ·

Equipped only with a clock and a contact sensor, a mobile robot can be programmed to bounce off walls in a predictable way: the robot drives forward until meeting an obstacle, then rotates in place and proceeds forward again. Though this behavior is easily modeled and trivially implemented, is it useful?We present an approach for solving both navigation and coverage problems using such a bouncing robot. The former entails finding a path from one pose to another, while the latter combines different paths over desired locations. Our approach has the following steps: (1) A directed graph is constructed from the environment geometry using the simple bouncing policies, (2) The shortest path on the graph, for navigation, is generated between either one given pair of initial and goal poses or all possible pairs of initial and goal poses, (3) The optimal distribution of bouncing policies is…

Evolving Neural Networks for the Capture Game

George Konidaris, Dylan A. Shell, Nir Oren

Artificial Intelligence · Aberdeen University Research Archive (Aberdeen University) · 2002 · cited 17× · OpenAlex ↗ · more like this ·

This paper proposes the use of a genetic algorithm to develop neural networks to play the Capture Game, a subgame of Go. The motivation for this is twofold: to evaluate and possibly improve upon current genetic algorithm variants in order to produce a good player and (more importantly) to use this process to examine the properties and processes that are present in evolutionary systems in an attempt to shed some light on the phenomena that are required for an evolutionary process to produce robust, perpetually improving individuals and avoid local minima without any outside interaction. A brief survey of related work in the area is given, which highlights some of the interesting research questions that remain. This is followed by an outline of a distributed system that has been developed for use in the experimental evaluation of some of the proposed ideas and some of the initial results…

Computing cell-based decompositions dynamically for planning motions of tethered robots

Reza H. Teshnizi, Dylan A. Shell

Computer Vision and Pattern Recognition · May 2014 · cited 16× · DOI ↗ · more like this ·

Recently researchers have approached the problem of motion planning with topological constraints. In such problems, the inputs to the planner are source and destination points and the output is expected to be a valid path that respects the topological constraints. A concrete example of such problems - and the topic of this paper - is planning for a robot which is connected with a cable of limited length to a fixed point in the operation space. This paper presents a planning method for such problems by examining how the configuration space manifold can be represented efficiently. We introduce a convenient method for generating either parts or the complete atlas for the manifold based on special “cable events”. Generating parts of the configuration space on-the-fly enables improvements over the state of the art: (a)we decompose the environment into cells as needed rather than an off-line…

Using a Compliant, Unactuated Tail to Manipulate Objects

Young-Ho Kim, Dylan A. Shell

Computer Vision and Pattern Recognition · IEEE Robotics and Automation Letters · 12 Jul 2016 · cited 14× · DOI ↗ · more like this ·

We demonstrate manipulation of objects using the dynamics of a rope-like structure attached to a mobile robot as a passive tail. Three challenges arise in modeling and planning: the physics involved is nontrivial, the tail is underactuated, and motions of the object are nondeterministic. For such systems, some actions are well characterized by a simplified motion model (e.g., for dragging objects), but we resort to data-driven methods for others (e.g., striking motions). A sampling-based motion planner, adapted to deal with nondeterministic object motions, is used to optimize motion sequences based on a specified preference over a set of objectives, such as execution time, navigation cost, or collision likelihood. Experiments show that a robot with a passive tail can manipulate cylindrical objects with (quasi-static) dragging, dynamic striking motions, and combinations thereof. The…

Set-labelled filters and sensor transformations

Fatemeh Zahra Saberifar, Shervin Ghasemlou, Jason M. O’Kane +1 more

Computer Vision and Pattern Recognition · 27 Jun 2016 · cited 14× · DOI ↗ · more like this ·

For a given robot and a given task, this paper addresses questions about which modifications may be made to the robot's suite of sensors without impacting the robot's behavior in completing its task. Though this is an important design-time question, few principled methods exist for providing a definitive answer in general. Utilizing and extending the language of combinatorial filters, this paper aims to fill that lacuna by introducing theoretical tools for reasoning about sensors and representations of sensors. It introduces new representations for sensors and filters, exploring the relationship between those elements and the specific information needed to perform a task. It then shows how these tools can be used to algorithmically answer questions about changes to a robot's sensor suite. The paper substantially expands the expressiveness of combinatorial filters so that, where they…

Robots in the Huddle: Upfront Computation to Reduce Global Communication at Run Time in Multirobot Task Allocation

Changjoo Nam, Dylan A. Shell

Computer Networks and Communications · IEEE Transactions on Robotics · 18 Sep 2019 · cited 13× · DOI ↗ · more like this ·

In this article, we study multirobot task allocation problems where task costs vary. The variation may be, for example, due to the revelation of new information or other dynamic circumstances. As robots update their cost estimates, typically they will update task assignments to reflect the new information using additional communication and computation. In dynamic settings, the robots are continually repairing the optimality of the system's task assignments, which can incur substantial communication and computation. We investigate how one can reduce communication and centralized computation expense during execution by using a prior model of how costs may change and performing upfront computation of possible robot-task assignments. First, we develop an algorithm that partitions a team of robots into several independent subteams that are able to maintain global optimality by communicating…

Physically routing robots in a multi-robot network: Flexibility through a three-dimensional matching graph

Lantao Liu, Dylan A. Shell

Computer Networks and Communications · The International Journal of Robotics Research · 18 Sep 2013 · cited 13× · DOI ↗ · more like this ·

Many multi-robot scenarios involve navigation of a set of networked robots through a constrained environment to achieve coverage, maintain a predefined shape, sense at predefined locations, or to satisfy some other distance-defined property. When new robots and tasks are added to a network of already deployed interchangeable robots, a trade-off arises in seeking to minimize cost to execute the tasks and the level of disruption to the system. This paper examines a navigation-oriented variant of this problem in which robots are physically routed through an existing network. We propose a parametrizable method to tune emphasis between minimizing global travel cost (or energy, or distance), minimizing interruption (i.e. obtaining the fewest number of robot reassignments), reducing travel distance per robot, and completing all operations as soon as possible. Since these are related…

Abstractions for computing all robotic sensors that suffice to solve a planning problem

Yulin Zhang, Dylan A. Shell

cs.RO · 22 May 2020 · cited 12× · arXiv ↗ · more like this ·

Whether a robot can perform some specific task depends on several aspects, including the robot's sensors and the plans it possesses. We are interested in search algorithms that treat plans and sensor designs jointly, yielding solutions---i.e., plan and sensor characterization pairs---if and only if they exist. Such algorithms can help roboticists explore the space of sensors to aid in making design trade-offs. Generalizing prior work where sensors are modeled abstractly as sensor maps on p-graphs, the present paper increases the potential sensors which can be sought significantly. But doing so enlarges a problem currently on the outer limits of being considered tractable. Toward taming this complexity, two contributions are made: (1) we show how to represent the search space for this more general problem and describe data structures that enable whole sets of sensors to be summarized via…

Automatic reduction of combinatorial filters

Jason M. O’Kane, Dylan A. Shell

Artificial Intelligence · May 2013 · cited 12× · DOI ↗ · more like this ·

We consider the problem of filtering whilst maintaining as little information as possible to perform a given task. The literature includes several illustrations of how adroit choices for state descriptions may lead to concise -or even minimal- filters tailored to specific tasks. We introduce an efficient algorithm which is able to reproduce these handcrafted solutions. Specifically, our algorithm accepts as input an arbitrary combinatorial filter, expressed as a transition graph, and outputs an equivalent filter that uses fewer information states to complete the same filtering task. We also show that solving this problem optimally is NP-hard, and that the related decision problem is NP-complete. These hardness results justify the potentially sub-optimal output of our algorithm. In the experiments we describe, our algorithm produces optimal or near-optimal reduced filters for a variety…

A midsummer night's dream: social proof in HRI

Brittany A. Duncan, Robin R. Murphy, Dylan A. Shell +1 more

Discrete Mathematics and Combinatorics · Lincoln (University of Nebraska) · 2 Mar 2010 · cited 10× · DOI ↗ · more like this ·

The introduction of two types of unmanned aerial vehicles into a production of A Midsummer Night’s Dream suggests that social proof informs untrained human groups. We describe the metaphors used in instructing actors, who were otherwise untrained and inexperienced with robots, in order to shape their expectations. Audience response to a robot crash depended on whether the audience had seen how the actors interacted with the robot “baby fairies.” If they had not seen the actors treating a robot gently, an audience member would likely throw the robot expecting it to fly or handle it roughly. If they had seen the actors with the robots, the audience appeared to adopt the same gentle style and mechanisms for re-launching the micro-helicopter. The difference in audience behavior suggests that the principle of social proof will govern how untrained humans will react to robots.

Unifying Consensus and Covariance Intersection for Efficient Distributed State Estimation Over Unreliable Networks

Amirhossein Tamjidi, Reza Oftadeh, Mohamed Naveed Gul Mohamed +3 more

Computer Networks and Communications · IEEE Transactions on Robotics · 12 Apr 2021 · cited 9× · DOI ↗ · more like this ·

This article presents and studies a recursive information consensus filter for decentralized dynamic state estimation under circumstances in which the communication network is unreliable. Local estimators are assumed to have access only to local information, and no structure is assumed about the topology of the communication network, which need not be connected at all times. The filter is a hybrid approach: it uses iterative covariance intersection to reach consensus over priors, which might become correlated, while consensus over new information is handled using weights based on a Metropolis–Hastings Markov chain. We establish bounds for estimation performance and show that this hybrid method produces unbiased conservative estimates that are better than covariance intersection. The performance of the hybrid method is evaluated extensively, including comparisons with competing…

Motion Planning for a Pair of Tethered Robots

Reza H. Teshnizi, Dylan A. Shell

cs.RO · 25 Feb 2021 · cited 9× · arXiv ↗ · more like this ·

Considering an environment containing polygonal obstacles, we address the problem of planning motions for a pair of planar robots connected to one another via a cable of limited length. Much like prior problems with a single robot connected via a cable to a fixed base, straight line-of-sight visibility plays an important role. The present paper shows how the reduced visibility graph provides a natural discretization and captures the essential topological considerations very effectively for the two robot case as well. Unlike the single robot case, however, the bounded cable length introduces considerations around coordination (or equivalently, when viewed from the point of view of a centralized planner, relative timing) that complicates the matter. Indeed, the paper has to introduce a rather more involved formalization than prior single-robot work in order to establish the core…

Tunable routing solutions for multi-robot navigation via the assignment problem: A 3D representation of the matching graph

Lantao Liu, Dylan A. Shell

Computer Networks and Communications · May 2012 · cited 7× · DOI ↗ · more like this ·

In scenarios in which new robots and tasks are added to a network of already deployed, interchangeable robots, a trade-off arises in minimizing the cost to execute the tasks and the level of disruption to the system. This paper considers a navigation-oriented variant of this problem and proposes a parametrizable method to adjust the optimization criterion: from minimizing global travel time (or energy, or distance), to minimizing interruption (i.e., obtaining the fewest number of robot reassignments), and mixtures in-between. Paths are computed by a task-allocation formulation in which the destinations of newly deployed robots are added to an existing allocation. We adapt the graph matching variant of the Hungarian algorithm-originally designed to solve the optimal assignment problem in complete graphs-to construct routing paths by showing that there is an interpretation of the sparse…

Planning Coordinated Event Observation for Structured Narratives

Dylan A. Shell, Li Huang, Aaron T. Becker +1 more

Computer Vision and Pattern Recognition · May 2019 · cited 6× · DOI ↗ · more like this ·

This paper addresses the problem of using autonomous robots to record events that obey narrative structure. The work is motivated by a vision of robot teams that can, for example, produce individualized highlight videos for each runner in a large-scale road race such as a marathon. We introduce a method for specifying the desired structure as a function that describes how well the captured events can be used to produce an output that meets the specification. This function is specified in a compact, legible form similar to a weighted finite automaton. Then we describe a planner that uses simple predictions of future events to coordinate the robots' efforts to capture the most important events, as determined by the specification. We describe an implementation of this approach, and demonstrate its effectiveness in a simulated race scenario both in simulation and in a hardware testbed.

Delineating boundaries of feasibility between robot designs

Shervin Ghasemlou, Jason M. O’Kane, Dylan A. Shell

Artificial Intelligence · October 2018 · cited 6× · DOI ↗ · more like this ·

Motivated by the need for tools to aid in the design of effective robots, we examine how to determine the role that particular sensing and actuator resources play in enabling a robot to achieve useful ends. Rather than merely asking “will this sensor suffice?” we classify general modifications to the set of sensors and actuators based on the feasibility of accomplishing given tasks using these sets. The goal is to probe the boundary between modifications that are destructive on a given planning problem, and modifications that are not. Since this boundary itself can be impractically large, classic search methods are of no avail to summarize discriminatory features on this boundary. Instead, we propose a decision tree learning method to efficiently construct a compact implicit representation of the boundary. The idea is to allow the designer to use prior knowledge to constrain the search…