English
Related papers

Related papers: Optimal Path Planning under Temporal Logic Constra…

200 papers

In this paper we present a method for automatically planning optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion in the environment is modeled as a weighted transition system. The…

Robotics · Computer Science 2015-03-13 Alphan Ulusoy , Stephen L. Smith , Xu Chu Ding , Calin Belta , Daniela Rus

In this paper we present a method for automatically planning robust optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion in the environment is modeled as a weighted transition…

Robotics · Computer Science 2015-03-13 Alphan Ulusoy , Stephen L. Smith , Xu Chu Ding , Calin Belta

In this paper, we consider the automated planning of optimal paths for a robotic team satisfying a high level mission specification. Each robot in the team is modeled as a weighted transition system where the weights have associated…

Robotics · Computer Science 2015-03-13 Alphan Ulusoy , Stephen L. Smith , Calin Belta

In this paper, we present an optimization based method for path planning of a mobile robot subject to time bounded temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specification such as…

Systems and Control · Computer Science 2016-04-29 Yuchen Zhou , Dipankar Maity , John S. Baras

This paper presents a solution for the problem of optimal planning for a robot in a collaborative human-robot team, where the human supervisor is intermittently available to assist the robot in completing tasks more quickly. Specifically,…

Robotics · Computer Science 2023-07-11 Abhinav Dahiya , Stephen L. Smith

In this paper the computational challenges of time-optimal path following are addressed. The standard approach is to minimize the travel time, which inevitably leads to singularities at zero path speed, when reformulating the optimization…

Robotics · Computer Science 2025-10-24 Tobias Marauli , Hubert Gattringer , Andreas Mueller

This paper introduces a graph-based, potential-guided method for path planning problems in unknown environments, where obstacles are unknown until the robots are in close proximity to the obstacle locations. Inspired by optimal transport…

Optimization and Control · Mathematics 2019-09-26 Haoyan Zhai , Magnus Egerstedt , Haomin Zhou

In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that the external behavior of the robot, specified by an…

Systems and Control · Electrical Eng. & Systems 2020-10-28 Shuo Yang , Xiang Yin , Shaoyuan Li , Majid Zamani

In this work, we consider the problem of planning for temporal logic tasks in large robot environments. When full task compliance is unattainable, we aim to achieve the best possible task satisfaction by integrating user preferences for…

Robotics · Computer Science 2025-11-24 Disha Kamale , Xi Yu , Cristian-Ioan Vasile

As robotic systems continue to address emerging issues in areas such as logistics, mobility, manufacturing, and disaster response, it is increasingly important to rapidly generate safe and energy-efficient trajectories. In this article, we…

Robotics · Computer Science 2022-11-14 Logan E. Beaver , Roberto Tron , Christos G. Cassandras

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

In this paper, we present a novel RRT*-based strategy for generating kinodynamically feasible paths that satisfy temporal logic specifications. Our approach integrates a robustness metric for Linear Temporal Logics (LTL) with the system's…

Systems and Control · Electrical Eng. & Systems 2024-11-12 Saksham Gautam , Ratnangshu Das , Pushpak Jagtap

Replanning in temporal logic tasks is extremely difficult during the online execution of robots. This study introduces an effective path planner that computes solutions for temporal logic goals and instantly adapts to non-static and…

Robotics · Computer Science 2023-02-23 Yizhou Chen , Ruoyu Wang , Xinyi Wang , Ben M. Chen

This paper considers robot motion planning under temporal logic constraints in probabilistic maps obtained by semantic simultaneous localization and mapping (SLAM). The uncertainty in a map distribution presents a great challenge for…

Robotics · Computer Science 2016-11-17 Jie Fu , Nikolay Atanasov , Ufuk Topcu , George J. Pappas

Ground robots navigating in complex, dynamic environments must compute collision-free trajectories to avoid obstacles safely and efficiently. Nonconvex optimization is a popular method to compute a trajectory in real-time. However, these…

Robotics · Computer Science 2024-10-07 Oscar de Groot , Laura Ferranti , Dariu M. Gavrila , Javier Alonso-Mora

This letter presents a novel multi-robot task allocation and path planning method that considers robots' maximum range constraints in large-sized workspaces, enabling robots to complete the assigned tasks within their range limits. Firstly,…

Robotics · Computer Science 2024-09-11 Gang Xu , Yuchen Wu , Sheng Tao , Yifan Yang , Tao Liu , Tao Huang , Huifeng Wu , Yong Liu

In this paper, we present a novel approach to efficiently generate collision-free optimal trajectories for multiple non-holonomic mobile robots in obstacle-rich environments. Our approach first employs a graph-based multi-agent path planner…

Robotics · Computer Science 2021-01-29 Juncheng Li , Maopeng Ran , Lihua Xie

This paper proposes a preliminary work on a Conditional Task and Motion Planning algorithm able to find a plan that minimizes robot efforts while solving assigned tasks. Unlike most of the existing approaches that replan a path only when it…

Robotics · Computer Science 2020-09-08 Nicola Castaman , Elisa Tosello , Enrico Pagello

This work presents an efficient method to solve a class of continuous-time, continuous-space stochastic optimal control problems of robot motion in a cluttered environment. The method builds upon a path integral representation of the…

Systems and Control · Computer Science 2016-03-10 Jung-Su Ha , Han-Lim Choi

As a core part of autonomous driving systems, motion planning has received extensive attention from academia and industry. However, real-time trajectory planning capable of spatial-temporal joint optimization is challenged by nonholonomic…

Robotics · Computer Science 2023-04-11 Zhichao Han , Yuwei Wu , Tong Li , Lu Zhang , Liuao Pei , Long Xu , Chengyang Li , Changjia Ma , Chao Xu , Shaojie Shen , Fei Gao
‹ Prev 1 2 3 10 Next ›