US 12,318,939 B2
Control device, control method and storage medium
Masatsugu Ogawa, Tokyo (JP); Hisaya Wakayama, Tokyo (JP); Takehiro Itou, Tokyo (JP); Mineto Satoh, Tokyo (JP); Hiroyuki Oyama, Tokyo (JP); and Nobuharu Kami, Tokyo (JP)
Assigned to NEC CORPORATION, Tokyo (JP)
Appl. No. 17/799,717
Filed by NEC Corporation, Tokyo (JP)
PCT Filed Feb. 25, 2020, PCT No. PCT/JP2020/007428
§ 371(c)(1), (2) Date Aug. 15, 2022,
PCT Pub. No. WO2021/171353, PCT Pub. Date Sep. 2, 2021.
Prior Publication US 2023/0080565 A1, Mar. 16, 2023
Int. Cl. B25J 9/16 (2006.01)
CPC B25J 9/1661 (2013.01) [B25J 9/163 (2013.01)] 10 Claims
OG exemplary drawing
 
1. A control device comprising:
at least one memory storing instructions; and
at least one processor configured to execute the instructions to:
transmit, to a display device, display information including a workspace image of a workspace of a robot which executes a task;
upon receiving, from the display device, task designation information that is input information which specifies a position or a destination of an object for the execution of the task:
convert an objective task specified by the task designation information, into a logical formula based on a temporal logic;
generate, from the logical formula, a time step logical formula representing states at each time step for completing the objective task; and
generate an operation sequence to be executed by the robot, based on the task designation information and based on the time step logical formula; and
control the robot to execute the operation sequence that has been generated.