English
Related papers

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

200 papers

This paper applies Benders decomposition to two-stage stochastic problems for energy planning under climate uncertainty, a key problem for the design of renewable energy systems. To improve performance, we adapt various refinements for…

Optimization and Control · Mathematics 2024-01-29 Leonard Göke , Felix Schmidt , Mario Kendziorski

This paper studies bipedal locomotion as a nonlinear optimization problem based on continuous and discrete dynamics, by simultaneously optimizing the remaining step duration, the next step duration and the foot location to achieve…

Robotics · Computer Science 2018-05-08 Wenbin Hu , Iordanis Chatzinikolaidis , Kai Yuan , Zhibin Li

Mixed integer bilinear programs (MIBLPs) offer tools to resolve robotics motion planning problems with orthogonal rotation matrices or static moment balance, but require long solving times. Recent work utilizing data-driven methods has…

Robotics · Computer Science 2024-08-02 Xuan Lin , Gabriel Ikaika Fernandez , Dennis Hong

Task and motion planning (TAMP) for multi-robot systems, which integrates discrete task planning with continuous motion planning, remains a challenging problem in robotics. Existing TAMP approaches often struggle to scale effectively for…

Robotics · Computer Science 2025-04-30 Zhongqi Wei , Xusheng Luo , Changliu Liu

Task And Motion Planning (TAMP) is the problem of finding a solution to an automated planning problem that includes discrete actions executable by low-level continuous motions. This field is gaining increasing interest within the robotics…

Robotics · Computer Science 2024-08-13 Elisa Tosello , Alessandro Valentini , Andrea Micheli

The challenge in combined task and motion planning (TAMP) is the effective integration of a search over a combinatorial space, usually carried out by a task planner, and a search over a continuous configuration space, carried out by a…

Robotics · Computer Science 2024-03-26 Magí Dalmau-Moreno , Néstor García , Vicenç Gómez , Héctor Geffner

Formulating the intended behavior of a dynamic system can be challenging. Signal temporal logic (STL) is frequently used for this purpose due to its suitability in formalizing comprehensible, modular, and versatile spatiotemporal…

Systems and Control · Electrical Eng. & Systems 2025-03-04 Patrick Halder , Hannes Homburger , Lothar Kiltz , Johannes Reuter , Matthias Althoff

We present an algorithm to compute planar linkage topology and geometry, given a user-specified end-effector trajectory. Planar linkage structures convert rotational or prismatic motions of a single actuator into an arbitrarily complex…

Robotics · Computer Science 2022-03-08 Zherong Pan , Min Liu , Xifeng Gao , Dinesh Manocha

Telecommunication networks frequently face technological advancements and need to upgrade their infrastructure. Adapting legacy networks to the latest technology requires synchronized technicians responsible for migrating the equipment. The…

Optimization and Control · Mathematics 2023-05-11 Maryam Daryalal , Hamed Pouya

Constrained motion planning is a challenging field of research, aiming for computationally efficient methods that can find a collision-free path on the constraint manifolds between a given start and goal configuration. These planning…

Robotics · Computer Science 2021-07-06 Ahmed H. Qureshi , Jiangeng Dong , Asfiya Baig , Michael C. Yip

Motion planning for multi-jointed robots is challenging. Due to the inherent complexity of the problem, most existing works decompose motion planning as easier subproblems. However, because of the inconsistent performance metrics, only…

Robotics · Computer Science 2018-10-11 Yu Zhao , Hsien-Chung Lin , Masayoshi Tomizuka

This paper presents a spatial-based trajectory planning method for automated vehicles under actuator, obstacle avoidance, and vehicle dimension constraints. Starting from a nonlinear kinematic bicycle model, vehicle dynamics are transformed…

Systems and Control · Computer Science 2017-07-24 Mogens Graf Plessen , Pedro F. Lima , Jonas Martensson , Alberto Bemporad , Bo Wahlberg

We present a legged motion planning approach for quadrupedal locomotion over challenging terrain. We decompose the problem into body action planning and footstep planning. We use a lattice representation together with a set of defined body…

Navigating rigid body objects through crowded environments can be challenging, especially when narrow passages are presented. Existing sampling-based planners and optimization-based methods like mixed integer linear programming (MILP)…

Robotics · Computer Science 2024-09-19 Mingxin Yu , Chuchu Fan

State-of-the-art approaches to legged locomotion are widely dependent on the use of models like the linear inverted pendulum (LIP) and the spring-loaded inverted pendulum (SLIP), popular because their simplicity enables a wide array of…

Robotics · Computer Science 2019-09-24 Yu-Ming Chen , Michael Posa

The growth in online shopping and third party logistics has caused a revival of interest in finding optimal solutions to the large scale in-transit freight consolidation problem. Given the shipment date, size, origin, destination, and due…

Optimization and Control · Mathematics 2018-01-29 Abdulkader S Hanbazazah , Luis E. Abril , Nazrul I Shaikh , Murat Erkoc

We present a theoretical analysis of a recent whole body motion planning method, the Randomized Possibility Graph, which uses a high-level decomposition of the feasibility constraint manifold in order to rapidly find routes that may lead to…

Robotics · Computer Science 2017-02-03 Michael X. Grey , Aaron D. Ames , C. Karen Liu

This work considers a Motion Planning Problem with Dynamic Obstacles (MPDO) in 2D that requires finding a minimum-arrival-time collision-free trajectory for a point robot between its start and goal locations amid dynamic obstacles moving…

Robotics · Computer Science 2022-06-03 Zhongqiang Ren , Sivakumar Rathinam , Howie Choset

Facility Location (FL) problems as one of the most important problems in operations research aim to determine the location of a set of facilities in a way that the total costs, including costs of opening facilities and transportation costs,…

Optimization and Control · Mathematics 2021-04-23 Ali Akbar Sadat Asl , Ali Rouhani

This paper presents a sequential Model Predictive Control (MPC) approach to reactive motion planning for bipedal robots in dynamic environments. The approach relies on a sequential polytopic decomposition of the free space, which provides…