English
Related papers

Related papers: Combinatorics and the Rigidity of CAD Systems

200 papers

In this paper, we compute a conservative approximation of the path-connected components of the free space of a rigid object in a 2D workspace in order to solve two closely related problems: to determine whether there exists a collision-free…

Robotics · Computer Science 2017-10-30 Anastasiia Varava , J. Frederico Carvalho , Danica Kragic , Florian T. Pokorny

Identifying the parameters of robotic systems, such as motor inertia or joint friction, is critical to satisfactory controller synthesis, model analysis, and observer design. Conventional identification techniques are designed primarily for…

Robotics · Computer Science 2024-08-19 Bohao Zhang , Daniel Haugk , Ram Vasudevan

We propose a simple and efficient scheme based on adaptive finite elements over conforming quadtree meshes for collapse plastic analysis of structures. Our main interest in kinematic limit analysis is concerned with both purely…

Computational Engineering, Finance, and Science · Computer Science 2019-03-11 H Nguyen-Xuan , Hien V Do , Khanh N Chau

Parametric computer-aided design (CAD) is the dominant paradigm in mechanical engineering for physical design. Distinguished by relational geometry, parametric CAD models begin as two-dimensional sketches consisting of geometric primitives…

Machine Learning · Computer Science 2020-07-17 Ari Seff , Yaniv Ovadia , Wenda Zhou , Ryan P. Adams

Combinatorial mechanical metamaterials are made of anisotropic, flexible blocks, such that multiple metamaterials may be constructed using a single block type, and the system's response depends on the frustration (or its absence) due to the…

Soft Condensed Matter · Physics 2025-07-02 Chaviva Sirote-Katz , Yotam M. Y. Feldman , Guy Cohen , Tamás Kálmán , Yair Shokef

Rod-based structures are commonly used in practical applications in science and engineering. However, in many design, analysis, and manufacturing tasks, handling the rod-based structures in three dimensions directly is generally…

Computational Geometry · Computer Science 2026-02-10 Mark Yan Lok Yip , Gary P. T. Choi

This work proposes a fully decentralized strategy for maintaining the formation rigidity of a multi-robot system using only range measurements, while still allowing the graph topology to change freely over time. In this direction, a first…

Systems and Control · Computer Science 2015-06-03 Daniel Zelazo , Antonio Franchi , Heinrich H. Bülthoff , Paolo Robuffo Giordano

Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Previous efforts for exact algorithms have been unable to avoid structural problems that appear for…

Data Structures and Algorithms · Computer Science 2007-05-23 Sandor P. Fekete , Joerg Schepers

Compacting orthogonal drawings is a challenging task. Usually algorithms try to compute drawings with small area or edge length while preserving the underlying orthogonal shape. We present a one-dimensional compaction algorithm that alters…

Data Structures and Algorithms · Computer Science 2017-06-21 Michael Jünger , Petra Mutzel , Christiane Spisla

Combinatorial characterisations are obtained of symmetric and anti-symmetric infinitesimal rigidity for two-dimensional frameworks with reflectional symmetry in the case of norms where the unit ball is a quadrilateral and where the…

Metric Geometry · Mathematics 2017-09-27 Derek Kitson , Bernd Schulze

Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time…

Computational Geometry · Computer Science 2018-10-24 Bhaskar Bagchi , Benjamin A. Burton , Basudeb Datta , Nitin Singh , Jonathan Spreer

Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard…

Computational Geometry · Computer Science 2018-03-06 Samy Ait-Aoudia , Adel Moussaoui , Khaled Abid , Dominique Michelucci

We establish a connection between problems studied in rigidity theory and matroids arising from linear algebraic constructions like tensor products and symmetric products. A special case of this correspondence identifies the problem of…

Combinatorics · Mathematics 2026-03-04 Joshua Brakensiek , Manik Dhar , Jiyang Gao , Sivakanth Gopi , Matt Larson

Following a review of related results in rigidity theory, we provide a construction to obtain generically universally rigid frameworks with the minimum number of edges, for any given set of n nodes in two or three dimensions. When a set of…

Metric Geometry · Mathematics 2014-12-11 Scott D. Kelly , Andrea Micheletti

Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple…

Symbolic Computation · Computer Science 2015-02-12 Zongyan Huang , Matthew England , David Wilson , James H. Davenport , Lawrence C. Paulson

We propose a new family of combinatorial inference problems for graphical models. Unlike classical statistical inference where the main interest is point estimation or parameter testing, combinatorial inference aims at testing the global…

Statistics Theory · Mathematics 2018-02-14 Matey Neykov , Junwei Lu , Han Liu

This paper defines the basis of a new hierarchical framework for segmentation algorithms based on energy minimization schemes. This new framework is based on two formal tools. First, a combinatorial pyramid encode efficiently a hierarchy of…

Computer Vision and Pattern Recognition · Computer Science 2009-06-16 Martin Braure De Calignon , Luc Brun , Jacques-Olivier Lachaud

We consider the problem of finding a continuous and non-rigid matching between a 2D contour and a 3D mesh. While such problems can be solved to global optimality by finding a shortest path in the product graph between both shapes, existing…

Computer Vision and Pattern Recognition · Computer Science 2023-04-04 Paul Roetzer , Zorah Lähner , Florian Bernard

Abstractions of crystalline materials known as periodic body-and-bar frameworks are made of rigid bodies connected by fixed-length bars and subject to the action of a group of translations. In this paper, we give a Maxwell-Laman…

Metric Geometry · Mathematics 2011-10-24 Ciprian S. Borcea , Ileana Streinu , Shin-ichi Tanigawa

The number of embeddings of minimally rigid graphs in $\mathbb{R}^D$ is (by definition) finite, modulo rigid transformations, for every generic choice of edge lengths. Even though various approaches have been proposed to compute it, the gap…

Algebraic Geometry · Mathematics 2020-01-24 Evangelos Bartzos , Ioannis Emiris , Jan Legerský , Elias Tsigaridas