Abstract: In the present invention, a resource management device receives transmission of a reservation request for a block section to be reserved from among a plurality of block sections included in a track traveled by a vehicle on the basis of track information which indicates the plurality of block sections and the connection relationships of the block sections. In a case where the block section to be reserved, as indicated by the reservation request, has not already been reserved by a vehicle other than the vehicle that transmitted the reservation request at the point in time when such reservation request was received, the following is recorded in a management table: that the block section to be reserved as indicated by the reservation request and a connection boundary between that block section and another block section are objects reserved for the vehicle that transmitted the reservation request.

Abstract: A control device includes a route acquisition unit configured to acquire routes of a movable body for moving target objects to or from a target position at which the target objects are to be picked up or dropped, a reference position/posture acquisition unit configured to acquire information on a position at which the movable body picks up or drops a first target object of the target objects at the target position, and an information output unit configured to output information acquired by the route acquisition unit to the movable body. The route acquisition unit is configured to acquire the routes of the movable body for moving second and subsequent target objects of the target objects, based on the information acquired by the reference position/posture acquisition unit.

Abstract: A control device is for a mobile machine that is provided in a mobile machine configured to automatically move. The control device includes a target object information acquisition unit that acquires a detection result of a direction of a target object; a region setting unit that sets a prohibited region through which a trajectory of the mobile machine is prohibited from passing, from the direction of the target object; a trajectory setting unit that sets a trajectory from the mobile machine to a target position where the mobile machine is in a predetermined position and direction with respect to the target object such that the trajectory does not pass through the prohibited region; and a movement control unit that moves the mobile machine based on the trajectory.

Abstract: An information processing method includes acquiring information on a charge amount of a mobile body, acquiring information on a scheduled work that is a work scheduled to be done, and setting a next work of the mobile body based on the information on the charge amount and the information on the scheduled work.

Abstract: An information processing method includes a step of acquiring movement information on a first mobile body including information on a first position through which the first mobile body is scheduled to pass in a first time slot and information on a travel direction of the first mobile body and a step of setting, as an exclusive area in the first time slot, an area between the first position and a second position on a travel direction side of the first mobile body from the first position based on the movement information on the first mobile body. The exclusive area is set in a manner that the second mobile body other than the first mobile body is not permitted to move within the exclusive area in the travel direction different from the travel direction of the first mobile body in the first time slot, and the second mobile body is permitted to move within the exclusive area in the same travel direction as the first mobile body in the first time slot.

Abstract: An information processing method includes acquiring obstacle information from a mobile body moving along a route to a target position, the obstacle information indicating that an obstacle is present on the route, and setting an updated route leading to an updated position as a route for the mobile body upon receipt of the obstacle information, the updated position being a position different from the target position.

Abstract: An information processing device includes a movement destination information acquisition unit configured to acquire movement destination information indicating a position of a movement destination, a route setting unit configured to set a route to the movement destination for a mobile body based on the movement destination information, and an event acquisition unit configured to acquire event information indicating that an event unexpected at a time of setting the route has occurred for the mobile body moving along the route. The route setting unit sets a next route of the mobile body based on the event information.

Abstract: An information processing method includes acquiring position information of a failed mobile body, and setting a recovery route based on the position information of the failed mobile body, the recovery route being a route leading to the failed mobile body for recovering a recovery target by a recovery mobile body, the recovery mobile body being a mobile body other than the failed mobile body.

Abstract: An information processing method includes acquiring information on a first route being a travel route of a first mobile body during a first time period and information on a second route being a travel route of a second mobile body during a second time period after the first time period, and setting a route for standby position as a travel route of the first mobile body during a third time period after the first time period and before the second time period when a target position of the first route is located on the second route. The route for standby position is a route from the target position to a standby position. The standby position is a position not overlapping with the second route.

Abstract: This positional error prediction device (1) is provided with: a satellite position acquisition unit (154) which acquires a receivable position of a satellite on a target date at a target time and a target point at which a positional error prediction is performed; a relative relationship value acquisition unit (151) which acquires a value of the relative relationship between the position of the satellite and an observation start position of the satellite at the target point; and an error prediction unit (155) which predicts, on the basis of the relative relationship value and a positional error prediction model generated in advance, a positional error on the target date at the target time and the target point.

Abstract: This verification processing device is provided with: an inspection unit that performs model inspection on an inspection target model including a plurality of elements; a selection unit that selects at least one of the plurality of elements included in a counterexample outputted as a result of the model inspection; and an exclusion history generation unit that generates exclusion history information indicating an exclusion frequency for each of the plurality of elements. The inspection unit further performs another model inspection on the inspection target model obtained by excluding the selected element. When another counterexample has been outputted as a result of another model inspection, the exclusion history generation unit increases the exclusion frequency of the selected element and updates the exclusion history information. The selection unit selects an element that is high in the exclusion frequency, on the basis of the exclusion history information.

Abstract: A control method for a mobile object is a control method for a mobile object that automatically moves. The control method includes detecting a position of a target object to be conveyed with respect to the mobile object, and acquiring, based on a detection result of the position of the target object, positional information on the target object indicating the position of the target object with respect to the mobile object in a state in which a fork disposed on the mobile object is inserted into a hole formed on the target object.

Abstract: A control method is for a mobile object that automatically moves. The control method includes: acquiring positional information on a transport vehicle parked in a parking region including information on a position of a rear end portion of the transport vehicle, information on an attitude of the transport vehicle, and information on a length of the transport vehicle; setting a first path toward the transport vehicle based on the positional information on the transport vehicle; and causing the mobile object to move along the first path.

Abstract: A control method is for a mobile object that automatically moves in situation where signs each indicating a position are provided on a ceiling of a lateral area on a first direction side with respect to a parking area where a transportation vehicle is parked, along a second direction that intersects the first direction and that is along the parking area. The method includes acquiring positional information of the mobile object by causing the mobile object to detect at least one of the signs; causing the mobile object to move within the lateral area toward the second direction based on the positional information of the mobile object; and causing the mobile object to move toward the parking area by causing the mobile object to turn and move toward an opposite side to the first direction after causing the mobile object to move within the lateral area toward the second direction.

Abstract: A management method for a mobile object includes acquiring movement conditions for the mobile object that automatically moves, and setting a safety region as a region on a traveling direction side of the mobile object in which an object should not be positioned based on the movement conditions. The setting of the safety region includes setting the safety region so that the safety region is widened in a lateral direction intersecting with the traveling direction as a speed of the mobile object increases.

Abstract: A detecting device includes: a verification information acquiring unit (400) configured to acquire second verification information about block data recorded in a central server that generates and distributes block data configuring a block chain and first verification information about block data recorded in a plurality of participant servers that record the distributed block data in a ledger of each of the plurality of participant servers; and a comparison unit (401) configured to determine the presence or absence of tampering of the block data in the central server by comparing the first verification information with the second verification information.

Abstract: A control method for a mobile object automatically moving includes: causing the mobile object to move along a first path; causing a sensor of the mobile object to detect a position and an attitude of a target object while the mobile object is moving along the first path; setting a second path up to a target position at which predetermined position and attitude with respect to the target object are achieved based on the position and the attitude of the target object; switching the first path to the second path to move the mobile object along the second path; executing optimization calculation based on an evaluation function, to set a third path; and switching the second path to the third path to move the mobile object along the third path.

Abstract: A method of controlling a movable body includes: a step of causing a sensor provided on the movable body to detect an obstacle; a step of determining the position and attitude of a front surface, of the obstacle, opposite to the travel direction of the movable body based on the detection result of the obstacle; a step of generating an avoidance path that avoids the obstacle while heading toward a side of a first direction intersecting the travel direction based on the position and attitude of the front surface; a step of causing the movable body to move along the avoidance path; a step of detecting the obstacle while the movable body is moving along the avoidance path; a step of determining the position and attitude of the side surface of the obstacle on the side of the first direction based on the detection result obtained during movement along the avoidance path; and a step of updating the avoidance path so as to return to a side of a second direction opposite to the first direction while avoiding the obsta

Abstract: A path generation method includes: acquiring information about a position of a vehicle; acquiring information about a target position of the vehicle; acquiring information about a position of an obstacle; setting a constraint condition that the vehicle at each of predicted steps does not interfere with the obstacle, based on the position of the vehicle, a size of the vehicle and the position of the obstacle; and calculating a moving path of the vehicle by optimization calculation based on the constraint condition and an evaluation function in which a score becomes higher as a deviation between the position of the vehicle at each of the predicted steps and the target position becomes smaller.

Abstract: A control method for a mobile object that automatically moves includes: causing a sensor disposed on the mobile object to detect a target object multiple times to acquire detection results of respective detection processes performed by the sensor as a point group; estimating a position and an attitude of the target object for each detection process based on the point group; calculating reliability of accuracy in an estimation result of the position and the attitude of the target object for each detection process; selecting, from among estimation results of the respective detection processes, an estimation result used for setting an approach path to a target position at which a predetermined position and attitude with respect to the target object are achieved based on the reliability for each detection process; setting the approach path based on the selected estimation result; and causing the mobile object to move along the approach path.