English
Related papers

Related papers: Accelerating Signal-Temporal-Logic-Based Task and …

200 papers

Traditional force-controlled bipedal walking utilizes highly bent knees, resulting in high torques as well as inefficient, and unnatural motions. Even with advanced planning of center of mass height trajectories, significant amounts of…

Robotics · Computer Science 2019-08-01 Robert J. Griffin , Sylvain Bertrand , Georg Wiedebach , Alexander Leonessa , Jerry Pratt

Task and Motion Planning combines high-level task sequencing (what to do) with low-level motion planning (how to do it) to generate feasible, collision-free execution plans. However, in many real-world domains, such as automated warehouses,…

Robotics · Computer Science 2026-03-20 Elisa Tosello , Arthur Bit-Monnot , Davide Lusuardi , Alessandro Valentini , Andrea Micheli

We focus on two central themes in this dissertation. The first one is on decomposing polytopes and polynomials in ways that allow us to perform nonlinear optimization. We start off by explaining important results on decomposing a polytope…

Combinatorics · Mathematics 2016-05-18 Brandon Dutra

Various types of communication networks are constantly emerging to improve the connectivity services and facilitate the interconnection of various types of devices. This involves the development of several technologies, such as…

Networking and Internet Architecture · Computer Science 2019-10-08 Ahmed Ibrahim , Octavia A. Dobre , Telex M. N. Ngatched , Ana Garcia Armada

This paper proposes a two-stage approach to formulate the time-optimal point-to-point motion planning problem, involving a first stage with a fixed time grid and a second stage with a variable time grid. The proposed approach brings…

Robotics · Computer Science 2024-03-07 Shuhao Zhang , Jan Swevers

The NP-hard scheduling problem P||C_max encompasses a set of tasks with known execution time which must be mapped to a set of identical machines such that the overall completion time is minimized. In this work, we improve existing…

Data Structures and Algorithms · Computer Science 2024-10-22 Matthew Akram , Nikolai Maas , Peter Sanders , Dominik Schreiber

This study proposes a novel planning framework based on a model predictive control formulation that incorporates signal temporal logic (STL) specifications for task completion guarantees and robustness quantification. This marks the…

Robotics · Computer Science 2023-09-26 Zhaoyuan Gu , Rongming Guo , William Yates , Yipu Chen , Ye Zhao

This paper addresses the planning and control problem for nonlinear systems under Signal Temporal Logic (STL) specifications. We first decompose an STL task into finite local tasks. A sampling-based method generates sequences of local…

Systems and Control · Electrical Eng. & Systems 2026-04-28 Zuodong Pan , Xu Fang , Wei Ren

Searching for bindings of geometric parameters in task and motion planning (TAMP) is a finite-horizon stochastic planning problem with high-dimensional decision spaces. A robot manipulator can only move in a subspace of its whole range that…

Robotics · Computer Science 2022-01-25 Tianyu Ren , Alexander Imani Cowen-Rivers , Haitham Bou Ammar , Jan Peters

Long-horizon task and motion planning (TAMP) is notoriously difficult to solve, let alone optimally, due to the tight coupling between the interleaved (discrete) task and (continuous) motion planning phases, where each phase on its own is…

Robotics · Computer Science 2024-04-11 Kai Gao , Zihe Ye , Duo Zhang , Baichuan Huang , Jingjin Yu

Planning for multi-robot teams in complex environments is a challenging problem, especially when these teams must coordinate to accomplish a common objective. In general, optimal solutions to these planning problems are computationally…

Robotics · Computer Science 2024-03-07 Cora A. Dimmig , Kevin C. Wolfe , Joseph Moore

In traditional topology optimization, the computing time required to iteratively update the material distribution within a design domain strongly depends on the complexity or size of the problem, limiting its application in real engineering…

Computational Engineering, Finance, and Science · Computer Science 2024-05-14 Gabriel Garayalde , Matteo Torzoni , Matteo Bruggi , Alberto Corigliano

This thesis examines the empirical mode decomposition (EMD), a method for decomposing multicomponent signals, from a modern, both theoretical and practical, perspective. The motivation is to further formalize the concept and develop new…

Numerical Analysis · Mathematics 2023-02-08 Laslo Hunhold

Neural Motion Planners (NMPs) have emerged as a promising tool for solving robot navigation tasks in complex environments. However, these methods often require expert data for learning, which limits their application to scenarios where data…

Robotics · Computer Science 2023-03-02 Ruiqi Ni , Ahmed H. Qureshi

The optimal design of multi-target rendezvous and flyby missions is challenging due to the combination of traditional spacecraft trajectory optimization and high-dimensional combinatorial problems. This often requires large-scale global…

Instrumentation and Methods for Astrophysics · Physics 2025-01-24 Jack Yarndley , Harry Holt , Roberto Armellin

We propose a hierarchical architecture for efficiently computing high-quality solutions to structured mixed-integer programs (MIPs). To reduce computational effort, our approach decouples the original problem into a higher level problem and…

Optimization and Control · Mathematics 2025-12-04 Stefan Clarke , Bartolomeo Stellato

This paper considers multi-goal motion planning in unstructured, obstacle-rich environments where a robot is required to reach multiple regions while avoiding collisions. The planned motions must also satisfy the differential constraints…

Robotics · Computer Science 2025-03-27 Yuanjie Lu , Erion Plaku

In this research, we propose a deep learning based approach for speeding up the topology optimization methods. The problem we seek to solve is the layout problem. The main novelty of this work is to state the problem as an image…

Machine Learning · Computer Science 2017-09-28 Ivan Sosnovik , Ivan Oseledets

We introduce a novel mechanism to tighten the local polytope relaxation for MAP inference in Markov random fields with low state space variables. We consider a surjection of the variables to a set of hyper-variables and apply the local…

Machine Learning · Computer Science 2018-05-15 Julian Yarkony , Shaofei Wang

Dynamic movement primitives (DMPs) are a flexible trajectory learning scheme widely used in motion generation of robotic systems. However, existing DMP-based methods mainly focus on simple go-to-goal tasks. Motivated to handle tasks beyond…

Robotics · Computer Science 2022-02-10 Hao Wang , Haoyuan He , Weiwei Shang , Zhen Kan