English
Related papers

Related papers: A Decomposition-Based Approach to Reasoning about …

200 papers

Tree-width and path-width are widely successful concepts. Many NP-hard problems have efficient solutions when restricted to graphs of bounded tree-width. Many efficient algorithms are based on a tree decomposition. Sometimes the more…

Data Structures and Algorithms · Computer Science 2016-06-22 Martin Fürer

This paper deals with a path planning and intelligent control of an autonomous robot which should move safely in partially structured environment. This environment may involve any number of obstacles of arbitrary shape and size; some of…

Robotics · Computer Science 2007-05-23 Danica Janglova

Feedback motion planning over cell decompositions provides a robust method for generating collision-free robot motion with formal guarantees. However, existing algorithms often produce paths with unnecessary bending, leading to slower…

Robotics · Computer Science 2026-04-16 Aref Amiri , Steven M. LaValle

This paper presents a data structure that summarizes distances between configurations across a robot configuration space, using a binary space partition whose cells contain parameters used for a locally linear approximation of the distance…

Robotics · Computer Science 2020-03-02 Josiah Putman , Lisa Oh , Luyang Zhao , Evan Honnold , Galen Brown , Weifu Wang , Devin Balkcom

This paper presents a spatial optimization methodology that extends the Spatial Packaging of Interconnected Systems with Physical Interaction (SPI2) framework to support arbitrary, non-convex design boundaries. We introduce a smooth,…

Computational Engineering, Finance, and Science · Computer Science 2026-05-19 S. Westerhof , T. Hofman

We propose a framework for understanding the fragmentation criterion for self-gravitating discs which, in contrast to studies that emphasise the `gravoturbulent' nature of such discs, instead focuses on the properties of their quasi-regular…

Solar and Stellar Astrophysics · Physics 2015-06-09 Matthew D. Young , Cathie J. Clarke

We investigate {\em multidimensional covering mechanism-design} problems, wherein there are $m$ items that need to be covered and $n$ agents who provide covering objects, with each agent $i$ having a private cost for the covering objects he…

Computer Science and Game Theory · Computer Science 2013-09-11 Hadi Minooei , Chaitanya Swamy

For non-rigid objects, predicting the 3D shape from 2D keypoint observations is ill-posed due to occlusions, and the need to disentangle changes in viewpoint and changes in shape. This challenge has often been addressed by embedding…

Computer Vision and Pattern Recognition · Computer Science 2025-04-29 Shalini Maiti , Lourdes Agapito , Benjamin Graham

If we give a robot the task of moving an object from its current position to another location in an unknown environment, the robot must explore the map, identify all types of obstacles, and then determine the best route to complete the…

Robotics · Computer Science 2022-08-22 Saeid Alirezazadeh , Luís A. Alexandre

Modeling coupled systems of free flow adjacent to a porous medium by means of fully resolved Navier-Stokes equations is limited by the immense computational cost and is thus only feasible for relatively small domains. Model reduction allows…

Computational Physics · Physics 2019-08-07 Kilian Weishaupt , Alexandros Terzis , Ioannis Zarikos , Guang Yang , Matthijs de Winter , Rainer Helmig

Structured optimization problems are ubiquitous in fields like data science and engineering. The goal in structured optimization is using a prescribed set of points, called atoms, to build up a solution that minimizes or maximizes a given…

Optimization and Control · Mathematics 2021-01-14 Andrea Cristofari , Francesco Rinaldi

Understanding the local behaviour of structured multi-dimensional data is a fundamental problem in various areas of computer science. As the amount of data is often huge, it is desirable to obtain sublinear time algorithms, and specifically…

Data Structures and Algorithms · Computer Science 2017-03-28 Omri Ben-Eliezer , Simon Korman , Daniel Reichman

We offer a systematic account of decomposition of quantum systems into parts. Different decompositions (structures) are mutually linked via the proper linear canonical transformations. Different kinds of structures, as well as their…

Quantum Physics · Physics 2014-06-03 Jasmina Jeknic-Dugic , Momir Arsenijevic , Miroljub Dugic

Given two points in the plane, a set of obstacles defined by closed curves, and an integer $k$, does there exist a path between the two designated points intersecting at most $k$ of the obstacles? This is a fundamental and well-studied…

Data Structures and Algorithms · Computer Science 2020-02-05 Eduard Eiben , Daniel Lokshtanov

In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with multiple agents corresponding to the nodes of a graph whose…

Optimization and Control · Mathematics 2011-01-20 M. -A. Belabbas

In this article, a novel combined aerial cooperative tethered carrying and path planning framework is introduced with a special focus on applications in confined environments. The proposed work is aiming towards solving the path planning…

We present a unified approach for constraint displacement problems in which a robot finds a feasible path by displacing constraints or obstacles. To this end, we propose a two stage process that returns locally optimal obstacle…

Robotics · Computer Science 2025-11-18 Antony Thomas , Fulvio Mastrogiovanni , Marco Baglietto

Path planning in dynamic environments is essential to high-risk applications such as unmanned aerial vehicles, self-driving cars, and autonomous underwater vehicles. In this paper, we generate collision-free trajectories for a robot within…

Robotics · Computer Science 2020-07-30 Sourav Dutta , Tuan Tran , Banafsheh Rekabdar , Chinwe Ekenna

We present a real-time algorithm that finds the Penetration Depth (PD) between general polygonal models based on iterative and local optimization techniques. Given an in-collision configuration of an object in configuration space, we find…

Graphics · Computer Science 2015-08-26 Changsoo Je , Min Tang , Youngeun Lee , Minkyoung Lee , Young J. Kim

This paper investigates how learning can be used to ease the design of high-quality paths for the assembly of deformable objects. Object dynamics plays an important role when manipulating deformable objects; thus, detailed models are often…

Robotics · Computer Science 2025-06-02 Yitaek Kim , Christoffer Sloth