Abstract: A route control program generation device constructs a group of a plurality of environment models with different states in which the states of the plurality of environment models are changed in various manners. The environment model is constituted by a first moving body that is a control target and is present on a track divided into a plurality of sections, and a second moving body other than the control target, and searches for a state transition order where it is possible to achieve a request for causing the first moving body to move to a prescribed section by causing the first moving body to move to a destination while causing a state of one environment model to transition to a state of another environment model in response to the request. The route control program generation device constructs the group to match a prescribed restriction condition based on the restriction condition.

Abstract: A route control program generation device constructs a group of a plurality of environment models with different states in which the states of the plurality of environment models are changed in various manners. The environment model is constituted by a first moving body that is a control target and is present on a track divided into a plurality of sections, and a second moving body other than the control target, and searches for a state transition order where it is possible to achieve a request for causing the first moving body to move to a prescribed section by causing the first moving body to move to a destination while causing a state of one environment model to transition to a state of another environment model in response to the request. The route control program generation device constructs the group to match a prescribed restriction condition based on the restriction condition.