English
Related papers

Related papers: Planning and Acting While the Clock Ticks

200 papers

Combining symbolic and geometric reasoning in multi-agent systems is a challenging task that involves planning, scheduling, and synchronization problems. Existing works overlooked the variability of task duration and geometric feasibility…

Deciding the best future execution time is a critical task in many business activities while evolving time series forecasting, and optimal timing strategy provides such a solution, which is driven by observed data. This solution has plenty…

Artificial Intelligence · Computer Science 2023-10-10 Chen Pan , Fan Zhou , Xuanwei Hu , Xinxin Zhu , Wenxin Ning , Zi Zhuang , Siqiao Xue , James Zhang , Yunhua Hu

Real-time planning for a combined problem of target assignment and path planning for multiple agents, also known as the unlabeled version of Multi-Agent Path Finding (MAPF), is crucial for high-level coordination in multi-agent systems,…

Robotics · Computer Science 2022-03-01 Keisuke Okumura , Xavier Défago

In a warehouse environment, tasks appear dynamically. Consequently, a task management system that matches them with the workforce too early (e.g., weeks in advance) is necessarily sub-optimal. Also, the rapidly increasing size of the action…

Machine Learning · Computer Science 2022-03-08 Diogo S. Carvalho , Biswa Sengupta

Models used in modern planning problems to simulate outcomes of real world action executions are becoming increasingly complex, ranging from simulators that do physics-based reasoning to precomputed analytical motion primitives. However,…

Robotics · Computer Science 2020-10-19 Anirudh Vemula , Yash Oza , J. Andrew Bagnell , Maxim Likhachev

This paper focuses on the analysis of real-time non preemptive multiprocessor scheduling with precedence and several latency constraints. It aims to specify a schedulability condition which enables a designer to check a priori -without…

Operating Systems · Computer Science 2013-01-22 Omar Kermia

In this thesis, we aim to improve the performance of TAMP algorithms from three complementary perspectives. First, we investigate the integration of discrete task planning with continuous trajectory optimization. Our main contribution is a…

Robotics · Computer Science 2024-04-05 Joaquim Ortiz-Haro

The article describes a special time-interval balancing in multi-processor scheduling of composite modular jobs. This scheduling problem is close to just-in-time planning approach. First, brief literature surveys are presented on…

Artificial Intelligence · Computer Science 2018-11-13 Mark Sh. Levin

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

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

Timetabling is a typical application of constraint programming whose task is to allocate activities to slots in available resources respecting various constraints like precedence and capacity. In this paper we present a basic concept, a…

Programming Languages · Computer Science 2007-05-23 Tomas Muller , Roman Bartak

We investigate the distributed planning of robot trajectories for optimal execution of cooperative tasks with time windows. In this setting, each task has a value and is completed if sufficiently many robots are simultaneously present at…

Robotics · Computer Science 2019-08-16 Raghavendra Bhat , Yasin Yazicioglu , Derya Aksaray

This paper presents a general-purpose formulation of a large class of discrete-time planning problems, with hybrid state and control-spaces, as factored transition systems. Factoring allows state transitions to be described as the…

Robotics · Computer Science 2019-02-13 Caelan Reed Garrett , Tomás Lozano-Pérez , Leslie Pack Kaelbling

Task planning is an important component of traditional robotics systems enabling robots to compose fine grained skills to perform more complex tasks. Recent work building systems for translating natural language to executable actions for…

Robotics · Computer Science 2023-05-12 Mert İnan , Aishwarya Padmakumar , Spandana Gella , Patrick Lange , Dilek Hakkani-Tur

One of the challenges of task planning is to find out what causes the planning failure and how to handle the failure intelligently. This paper shows how to achieve this. The idea is inspired by the connected graph: each verticle represents…

Robotics · Computer Science 2022-01-11 Guowei Cui , Xiaoping Chen

Motivated by modern parallel computing applications, we consider the problem of scheduling parallel-task jobs with heterogeneous resource requirements in a cluster of machines. Each job consists of a set of tasks that can be processed in…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-03 Mehrnoosh Shafiee , Javad Ghaderi

Robotic pick and place stands at the heart of autonomous manipulation. When conducted in cluttered or complex environments robots must jointly reason about the selected grasp and desired placement locations to ensure success. While several…

Robotics · Computer Science 2024-02-15 Mohanraj Devendran Shanthi , Tucker Hermans

Metric Temporal Logic can express temporally evolving properties with time-critical constraints or time-triggered constraints for real-time systems. This paper extends the Metric Interval Temporal Logic with a distribution eventuality…

Formal Languages and Automata Theory · Computer Science 2021-05-12 Lening Li , Jie Fu

Many automated planning methods and formulations rely on suitably designed abstractions or simplifications of the constrained dynamics associated with agents to attain computational scalability. We consider formulations of temporal planning…

Logic in Computer Science · Computer Science 2024-06-17 Miquel Ramirez , Anubhav Singh , Peter Stuckey , Chris Manzie

Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as events with timestamps. Timed automata are an extension of finite-state automata with…

Logic in Computer Science · Computer Science 2023-11-01 Étienne André , Engel Lefaucheux , Didier Lime , Dylan Marinho , Jun Sun