18117520
Control and Coordination of Multiple Mobile Robots in Manipulation and Material Handling Tasks
We describe a framework and control algorithms for coordinating multiple mobile robots with manipulators focusing on tasks that require grasping, manipulation, and transporting large and possibly flexible objects without special purpose fixtures. Because each robot has an independent controller and is autonomous, the coordination and synergy are realized through sensing and communication. The robots can cooperatively transport objects and march in a tightly controlled formation, while also having the capability to navigate autonomously. We describe the key aspects of the overall hierarchy and the basic algorithms, with specific applications to our experimental testbed consisting of three robots.
10798770
Hierarchical Hybrid Modeling of Embedded Systems
This paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy, and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools, and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in design of embedded control software using examples from automated highways concerning vehicle coordination.
29516211
Control of Contact Interactions with Acatastatic Nonholonomic Constraints
A robot arm performs many tasks by interacting with objects or other robots in the environment. It is important for the robot arm to be able to exhibit controlled interactions with the objects and other robots. The contact motion between the robot arm and an object can be rolling, sliding, or separation. In this article, we address the problem of maintaining rolling contact between the robot arm and an external moving object. We assume that a nominal model of the motion of the moving object is available. The dynamic system that characterizes the motion of the robot arm and the moving object in this case is acatastatic and nonholonomic. We have designed a nonlinear feedback for the control of such a system that successfully maintains rolling contact. Simulation results are presented to demonstrate the effectiveness of the system.
6879835
Calibrating an air-ground control system from motion correspondences
In this paper we consider the problem of controlling the motion of a vehicle moving on a ground plane based on aerial imagery. In the course of this work we propose a novel analysis of the relationship between the velocity of the vehicle on the ground plane and the velocity of its projection in the image. We show that this relationship provides information about a subset of the parameters of the homography relating the ground plane to the aerial image plane and describe how we can recover this relationship from available measurements.
15738427
A potential field based approach to multi-robot manipulation
We describe a framework for controlling and coordinating a group of robots for cooperative manipulation tasks. The framework enables a decentralized approach to planning and control. It allows the robots to approach the object, organize themselves into a formation that will trap the object, and then transport the object to the desired destination. Our controllers and planners are derived from simple potential fields and the hierarchical composition of potential fields. We show how these potential field based controllers and planners benefit complex group interactions, specifically for manipulating and transporting objects in the plane. Theoretically, we show how we can derive results on formation stability with potential field based controllers in many cases. Simulation results demonstrate successful application to a wide range of examples without showing sensitivity to parameters. Because the framework is decentralized at both trajectory generation level and the estimation and control agent level, our framework can potentially scale to groups of tens and hundreds of robots.
7023425
A Paradigm for Dynamic Coordination of Multiple Robots
In this paper, we present a paradigm for coordinating multiple robots in the execution of cooperative tasks. The basic idea in the paper is to assign to each robot in the team, a role that determines its actions during the cooperation. The robots dynamically assume and exchange roles in a synchronized manner in order to perform the task successfully, adapting to unexpected events in the environment. We model this mechanism using a hybrid systems framework and apply it in different cooperative tasks: cooperative manipulation and cooperative search and transportation. Simulations and real experiments demonstrating the effectiveness of the proposed paradigm are presented.
26507710
Graph Partitioning for Dynamic, Adaptive, and Multi-phase Computations
Algorithms that find good partitionings of highly unstructured graphs are critical in developing efficient algorithms for problems in a variety of domains such as scientific simulations that require solution to large sparse linear systems, VLSI design, and data mining. Even though this problem is NP-hard, efficient multi-lev el algorithms have been developed that can find good partitionings of static irregular meshes. The problem of graph partitioning becomes a lot more challenging when the graph is dynamically evolving (e.g., in adaptive computations), or if computation in multiple phases needs to be balanced simultaneously. This talk will discuss these challenges, and then describe some of our recent research in addressing them.
18344625
Concurrent operations on extendible hashing and its performance
Extendible hashing is a dynamic data structure which accommodates expansion and contraction of any stored data efficiently. In this article, an algorithm has been developed for managing concurrent operations on extendible hashing by achieving optimal memory utilization by supporting directly expansion and contraction, page split, and merge. The results of this study have been encouraging in the sense that it seems to provide a higher degree of concurrency compared to other algorithms on an extendible hash file.
5797236
Strong edge coloring for channel assignment in wireless radio networks
We give efficient sequential and distributed approximation algorithms for strong edge coloring graphs modeling wireless networks. Strong edge coloring is equivalent to computing a conflict-free assignment of channels or frequencies to pairwise links between transceivers in the network
45908534
KRISHNA - Concurrency Control Algorithms based on Dynamic Attributes
Three new concurrency control mechanisms that utilizes the dynamic attribute of concurrent transactions for resolving conflicts are presented. Our study shows that their performance is superior to all well-known two-phase concurrency control mechanisms. There are a large number of such algorithms but we report our findings since our approach has some unique features worth exploring.
5147118
Location dependent query processing
The advances in wireless and mobile computing allow a mobile user to perform a wide range of aplications once limited to non-mobile hard wired computing environments. As the geographical position of a mobile user is becoming more trackable, users need to pull data which are related to their location, perhaps seeking information about unfamiliar places or local lifestyle data. In these requests, a location attribute has to be identified in order to provide more efficient access to location dependent data, whose value is determined by the location to which it is related. Local yellow pages, local events, and weather information are some of the examples of these data.
In this paper, we give a formalization of location relatedness in queries. We differentiate location dependence and location awareness and provide thorough examples to support our approach.