5,634 research outputs found
Linear Temporal Logic-based Mission Planning
In this paper, we describe the Linear Temporal
Logic-based reactive motion planning. We address the problem of
motion planning for mobile robots, wherein the goal specification
of planning is given in complex environments. The desired task
specification may consist of complex behaviors of the robot,
including specifications for environment constraints, need of task
optimality, obstacle avoidance, rescue specifications, surveillance
specifications, safety specifications, etc. We use Linear Temporal
Logic to give a representation for such complex task specification
and constraints. The specifications are used by a verification engine
to judge the feasibility and suitability of plans. The planner gives a
motion strategy as output. Finally a controller is used to generate
the desired trajectory to achieve such a goal. The approach is
tested using simulations on the LTLMoP mission planning tool,
operating over the Robot Operating System. Simulation results
generated using high level planners and low level controllers work
simultaneously for mission planning and controlling the physical
behavior of the robot
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles
In the near future mobile robots, such as personal robots or mobile manipulators, will share the workspace with other robots and humans. We present a method for mission and motion planning that applies to small teams of robots performing a task in an environment with moving obstacles, such as humans. Given a mission specification written in linear temporal logic, such as patrolling a set of rooms, we synthesize an automaton from which the robots can extract valid strategies. This centralized automaton is executed by the robots in the team at runtime, and in conjunction with a distributed motion planner that guarantees avoidance of moving obstacles. Our contribution is a correct-by-construction synthesis approach to multi-robot mission planning that guarantees collision avoidance with respect to moving obstacles, guarantees satisfaction of the mission specification and resolves encountered deadlocks, where a moving obstacle blocks the robot temporally. Our method provides conditions under which deadlock will be avoided by identifying environment behaviors that, when encountered at runtime, may prevent the robot team from achieving its goals. In particular, (1) it identifies deadlock conditions; (2) it is able to check whether they can be resolved; and (3) the robots implement the deadlock resolution policy locally in a distributed manner. The approach is capable of synthesizing and executing plans even with a high density of dynamic obstacles. In contrast to many existing approaches to mission and motion planning, it is scalable with the number of moving obstacles. We demonstrate the approach in physical experiments with walking humanoids moving in 2D environments and in simulation with aerial vehicles (quadrotors) navigating in 2D and 3D environments.Boeing CompanyUnited States. Office of Naval Research. Multidisciplinary University Research Initiative. SMARTS (N00014-09-1051)United States. Office of Naval Research (N00014-12-1-1000)National Science Foundation (U.S.). Expeditions in Computer Augmented Program Engineerin
Extended LTLvis Motion Planning interface (Extended Technical Report)
This paper introduces an extended version of the Linear Temporal Logic (LTL)
graphical interface. It is a sketch based interface built on the Android
platform which makes the LTL control interface more straightforward and
friendly to nonexpert users. By predefining a set of areas of interest, this
interface can quickly and efficiently create plans that satisfy extended plan
goals in LTL. The interface can also allow users to customize the paths for
this plan by sketching a set of reference trajectories. Given the custom paths
by the user, the LTL specification and the environment, the interface generates
a plan balancing the customized paths and the LTL specifications. We also show
experimental results with the implemented interface.Comment: 8 pages, 15 figures, a technical report for the 2016 IEEE
International Conference on Systems, Man, and Cybernetics (SMC 2016
- …