Temporal-Logic-Based Reactive Mission and Motion Planning
نویسندگان
چکیده
منابع مشابه
Reactive Integrated Mission and Motion planning
Correct-by-construction manipulation planning in a dynamic environment, where other agents can manipulate objects in the workspace, is a challenging problem. The tight coupling of actions and motions between agents and complexity of mission specifications makes the problem computationally intractable. This paper presents a reactive integrated mission and motion planning for mobile-robot manipul...
متن کاملLinear Temporal Logic based Motion Planning
We describe the problem of motion planning for multiple goals in unstructured environments by using temporal logic for specification of the goals. We solve the problem of mission planning for mobile robots, wherein the goal of the robot can be a complex mission specification rather than a classical "Go from A to B" problem. To achieve this problem we take a two dimensional map of the real envir...
متن کاملSampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information
This paper presents a method that allows mobile systems with uncertainty in motion and sensing to react to unknown environments while high-level specifications are satisfied. Although previous works have addressed the problem of synthesising controllers under uncertainty constraints and temporal logic specifications, reaction to dynamic environments has not been considered under this scenario. ...
متن کاملPhysics-based Motion Planning with Temporal Logic Specifications
One of the main foci of robotics is nowadays centered in providing a great degree of autonomy to robots. A fundamental step in this direction is to give them the ability to plan in discrete and continuous spaces to find the required motions to complete a complex task. In this line, some recent approaches describe tasks with Linear Temporal Logic (LTL) and reason on discrete actions to guide sam...
متن کاملTemporal logic motion planning for dynamic robots
In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual control specifications such as reachability and invariance as well as more complex specifications like sequencing and obstacle avoidance. Our approach consists of three basic steps. First, we design a control law th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Robotics
سال: 2009
ISSN: 1552-3098,1941-0468
DOI: 10.1109/tro.2009.2030225