English
Related papers

Related papers: Pushing Blocks without Fixed Walls via Checkable G…

200 papers

We propose a new technique for pushing an unknown object from an initial configuration to a goal configuration with stability constraints. The proposed method leverages recent progress in differentiable physics models to learn unknown…

Robotics · Computer Science 2020-06-05 Changkyu Song , Abdeslam Boularias

Legged robots have shown remarkable advantages in navigating uneven terrain. However, realizing effective locomotion and manipulation tasks on quadruped robots is still challenging. In addition, object and terrain parameters are generally…

Robotics · Computer Science 2023-03-14 Mohsen Sombolestan , Quan Nguyen

This paper presents a fixturing strategy for regrasping that does not require a physical fixture. To regrasp an object in a gripper, a robot pushes the object against external contact/s in the environment such that the external contact…

Robotics · Computer Science 2018-09-26 Nikhil Chavan-Dafle , Alberto Rodriguez

We study here the semi-supervised $k$-clustering problem where information is available on whether pairs of objects are in the same or in different clusters. This information is either available with certainty or with a limited level of…

Machine Learning · Computer Science 2024-10-21 Philipp Baumann , Dorit S. Hochbaum

This paper presents a novel simulation platform, ZeMa, designed for robotic manipulation tasks concerning soft objects. Such simulation ideally requires three properties: two-way soft-rigid coupling, intersection-free guarantees, and…

Robotics · Computer Science 2023-11-13 Wenxin Du , Siqiong Yao , Xinlei Wang , Yuhang Xu , Wenqiang Xu , Cewu Lu

We focus on the problem of rearranging a set of objects with a team of car-like robot pushers built using off-the-shelf components. Maintaining control of pushed objects while avoiding collisions in a tight space demands highly coordinated…

Pushing is a fundamental robotic skill. Existing work has shown how to exploit models of pushing to achieve a variety of tasks, including grasping under uncertainty, in-hand manipulation and clearing clutter. Such models, however, are…

This paper develops a hierarchical learning and optimization framework that can learn and achieve well-coordinated multi-skill locomotion. The learned multi-skill policy can switch between skills automatically and naturally in tracking…

We present a new framework for motion planning that wraps around existing kinodynamic planners and guarantees recursive feasibility when operating in a priori unknown, static environments. Our approach makes strong guarantees about overall…

Robotics · Computer Science 2019-03-08 David Fridovich-Keil , Jaime F. Fisac , Claire J. Tomlin

This paper presents RichMap, a high-precision reachability map representation designed to balance efficiency and flexibility for versatile robot manipulation tasks. By refining the classic grid-based structure, we propose a streamlined…

Robotics · Computer Science 2026-04-09 Yupu Lu , Yuxiang Ma , Jia Pan

Recent advancements in reinforcement learning (RL) have led to significant progress in humanoid robot locomotion, simplifying the design and training of motion policies in simulation. However, the numerous implementation details make…

Robotics · Computer Science 2025-06-19 Yushi Wang , Penghui Chen , Xinyu Han , Feng Wu , Mingguo Zhao

Climbing robots face significant challenges when navigating unstructured environments, where reliable attachment to irregular surfaces is critical. We present a novel mobile climbing robot equipped with compliant pin-array structured…

Robotics · Computer Science 2026-03-18 Keita Nagaoka , Kentaro Uno , Kazuya Yoshida

Nonprehensile actions such as pushing are crucial for addressing multi-object rearrangement problems. Many traditional methods generate robot-centric actions, which differ from intuitive human strategies and are typically inefficient. To…

Robotics · Computer Science 2025-11-03 Kejia Ren , Gaotian Wang , Andrew S. Morgan , Lydia E. Kavraki , Kaiyu Hang

We study pushdown systems where control states, stack alphabet, and transition relation, instead of being finite, are first-order definable in a fixed countably-infinite structure. We show that the reachability analysis can be addressed…

Formal Languages and Automata Theory · Computer Science 2015-07-20 Lorenzo Clemente , Sławomir Lasota

A planar framework -- a graph together with a map of its vertices to the plane -- is flexible if it allows a continuous deformation preserving the distances between adjacent vertices. Extending a recent previous result, we prove that a…

Combinatorics · Mathematics 2022-10-06 Sean Dewar , Jan Legerský

In this paper, we propose a notion of high-order (zeroing) barrier functions that generalizes the concept of zeroing barrier functions and guarantees set forward invariance by checking their higher order derivatives. The proposed…

Systems and Control · Electrical Eng. & Systems 2021-07-02 Xiao Tan , Wenceslao Shaw Cortez , Dimos V. Dimarogonas

Object rearrangement is a widely-applicable and challenging task for robots. Geometric constraints must be carefully examined to avoid collisions and combinatorial issues arise as the number of objects increases. This work studies the…

Robotics · Computer Science 2022-03-21 Rui Wang , Kai Gao , Daniel Nakhimovich , Jingjin Yu , Kostas E. Bekris

This paper investigates Path planning Among Movable Obstacles (PAMO), which seeks a minimum cost collision-free path among static obstacles from start to goal while allowing the robot to push away movable obstacles (i.e., objects) along its…

Robotics · Computer Science 2025-03-07 Zhongqiang Ren , Bunyod Suvonov , Guofei Chen , Botao He , Yijie Liao , Cornelia Fermuller , Ji Zhang

We present the design and implementation of a taskable reactive mobile manipulation system. In contrary to related work, we treat the arm and base degrees of freedom as a holistic structure which greatly improves the speed and fluidity of…

Robotics · Computer Science 2022-02-10 Jesse Haviland , Niko Sünderhauf , Peter Corke

Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of strategy is the modular strategy, i.e., a strategy that is…

Logic in Computer Science · Computer Science 2014-08-27 Ilaria De Crescenzo , Salvatore La Torre , Yaron Velner