3 accepted papers
We present a formulation for linear temporal logic (LTL)-based task planning of nonlinear dynamical systems. We consider pick-and-place task planning as a typical example of the planning task that can be modeled as a hybrid system that includes the states of robots and objects. LTL-based planning fo…
In this paper, we propose a method for automatically generating object handling actions based on simple action definitions. The need to replace workers by robots is increasing, and, in fact, many research projects on robots have worked with simple motion definitions. Many applications are for mobile…
We propose a method of subdividing robot tasks into new lower abstract tasks. The description of robot tasks in an abstract manner is effective for motion planning for complex tasks and teaching robot movements in various environments. However, a more efficient task description may be obtained by us…