Abstract-In this paper, we will study abstractions and algorithms for planar manipulation systems using two cooperating robots under uncertainties. We propose a formal framework for developing abstractions, which are simpler models of the original systems that preserve properties of interest to facilitate the development of planning and control algorithms. Our abstractions are derived from robust motion primitives that correspond to control inputs leading to system trajectories which preserve the properties of interest under uncertainties. We then use the proposed framework to construct an abstraction and design planning and control algorithms for a multiple robot cooperative manipulation system. Finally, we present experimental results to validate our approach.
I. INTRODUCTIONIt is well known that conventional approaches to robotic manipulation, where deliberative planning is augmented by feedback controllers, are difficult to implement except in the simplest of cases. This is primarily because of non smooth dynamics engendered by frictional contacts and uncertainties in the parameters governing the contact dynamics. Experiments in robotic juggling [8], locomotion [11,25], non prehensile manipulation [35], manipulation via caging (Fig. 2) [13], and part-feeding [29] have shown that feedback controllers, behaviors or designs, which are specially designed to preserve a specific set of properties (e.g., convergence to sub manifolds or limit sets), are more robust to uncertainties than those that follow optimally-planned trajectories in the full state space. Indeed, this philosophy of designing components that each drive the system to a state that satisfies a specific property is used extensively in manufacturing operations, where designers carefully structure the environment to ensure that devices like bowl-feeders [14], conveyors [1], traps [5], and pick-andplace arms work in concert to accomplish the given task. Many paradigms in robotics such as caging [7], the onejoint-over-conveyor part positioning [1], and remote-centerof-compliance assembly [12] are also illustrative of this philosophy. While these examples are arguably special-purpose solutions, they illustrate a very important point. By designing planners/controllers that drive the system to submanifolds in the state space, one can derive abstractions of complex processes, i.e., conceptual models that are much simpler than the complex real-world system, that lend themselves to the design of algorithms that can reason about these abstractions and the composition of these complex processes.We use the simple example of multi-fingered or multirobot manipulation in the plane via caging to illustrate the role of abstractions and algorithms (Fig. 2). The modeling