Route control program generation device, route control program generation method and program

A route control program generation method comprising:

• constructing a group of a plurality of environment models with different states by changing the sections where a first moving body and a second moving body are present and the sections booked for each of the first moving body and the second moving body by performing the booking of the sections for the first moving body and the second moving body, cancellation of the booking and moving of the first moving body and the second moving body from the booked sections to other booked sections, wherein the environment model is constituted by a track divided into a plurality of sections, the first moving body that is a control target moving on the track and the second moving body other than the control target, and wherein a state of the environment model is determined by the sections where each of the first moving body and the second moving body is present and the sections booked for each of the first moving body and the second moving body;
• setting a request constituted by a safety condition and a goal condition;
• searching for an order to reach a state of an environment model that satisfies the request for moving the first moving body to a prescribed section that is a goal without bringing the first moving body into a deadlock state with respect to the second moving body while changing a state of an environment model included in the group to a state of another environment model, wherein the group is constructed using the state of the environment model that matches a prescribed restriction condition on the basis of the restriction condition, wherein the search for the order comprises performing a state transition to a next state of the environment model until the next state that satisfies the request is achieved;
• generating a route control program based on the order;
• and
• outputting the route control program to a monitor to control a movement of the first moving body, the second moving body, or both by a railway system or a new transportation system;
• and
• causing, based on the route control program, at least one of moving, waiting or both of the first moving body, moving, waiting or both of the second moving body to move, blocking of at least one section of the plurality of sections, cancelling of booking of one or more sections of the plurality of sections, or any combination thereof.

A non-transitory computer readable medium of a computer storing a program, the program when executed by a processor of the computer causes the computer to perform one or more steps comprising:

• constructing a group of a plurality of environment models with different states by changing the sections where a first moving body and a second moving body are present and the sections booked for each of the first moving body and the second moving body by performing the booking of the sections for the first moving body and the second moving body, cancellation of the booking and moving of the first moving body and the second moving body from the booked sections to other booked sections, wherein the environment model is constituted by a track divided into a plurality of sections, the first moving body that is a control target moving on the track and the second moving body other than the control target, and wherein a state of the environment model is determined by the sections where each of the first moving body and the second moving body is present and the sections booked for each of the first moving body and the second moving body;
• setting a request constituted by a safety condition and a goal condition;
• searching for an order to reach a state of an environment model that satisfies the request for moving the first moving body to a prescribed section that is a goal without bringing the first moving body into a deadlock state with respect to the second moving body while changing a state of an environment model included in the group to a state of another environment model, wherein in the constructing of the group, the group is constructed using the state of the environment model that matches a prescribed restriction condition on the basis of the restriction condition, wherein the search for the order comprises performing a state transition to a next state of the environment model until the next state that satisfies the request is achieved;
• generating a route control program based on the order;
• and
• outputting the route control program to a monitor to control a movement of the first moving body, the second moving body, or both by a railway system or a new transportation system;
• and
• causing, based on the route control program, at least one of moving, waiting or both of the first moving body, moving, waiting or both of the second moving body to move, blocking of at least one section of the plurality of sections, cancelling of booking of one or more sections of the plurality of sections, or any combination thereof.