The present invention relates to a method for controlling a robot, the method including usage of a behavior tree architecture for tasks performed by the robot. The present invention also relates to a system comprising a data processing means adapted to carry out the method, wherein the system preferably comprises a robot. The present invention also relates to a use of a behavior tree architecture for programming, supervision, introspection and/or debugging.

A numerical control system 1 comprises a numerical control device 5 that generates a machine tool command signal as a command directed to a machine tool 2, in accordance with a machine tool numerical control program, and generates a robot command signal as a command directed to a robot 3, in accordance with a robot numerical control program, and a robot control device 6 that is capable of communicating with the numerical control device 5, and controls an operation of the robot 3 on the basis of the robot command signal. The robot control device 6 acquires form information that is information necessary for identifying the form of the robot 3, and transmits the form information to the numerical control device 5. The numerical control device 5 generates a robot command signal on the basis of the form information transmitted from the robot control device 6 and the robot numerical control program.

According to one or more embodiments, a node for temporal plan verification and timed game automata, TIGA, controller strategy synthesis for coordination of a plurality of agents is provided. The node includes processing circuitry that is configured to determine a first model of a plurality of temporal plans for timed operations of the plurality of agents violates at least one predefined safety rule, generate the TIGA controller strategy for controlling the timed operations of at least a subset of the plurality of agents where the TIGA controller strategy meets the at least one predefined safety rule and being based on the first model, and cause transmission of the TIGA controller strategy to a dispatch device for translating the TIGA controller strategy to instructions for the plurality of agents.

The present invention relates to a method for controlling a robot, the method including usage of a behavior tree architecture for tasks performed by the robot. The present invention also relates to a system comprising a data processing means adapted to carry out the method, wherein the system preferably comprises a robot. The present invention also relates to a use of a behavior tree architecture for programming, supervision, introspection and/or debugging.

Methods, apparatuses, systems, and computer readable media for configuring a plurality of automated guided vehicles (AGVs). In a method, a plurality of folders corresponding to the plurality of AGVs are created at a management system managing the plurality of AGVs. A folder includes at least one configuration file for configuring an AGV. Based on a configuration file in the folder, a further folder of the plurality of folders is updated. One or more configuration files in the updated further folder are transmitted to an AGV corresponding to the further folder. Further, embodiments of present disclosure provide apparatuses, systems, and computer readable media for managing a plurality of AGVs.