公开(公告)号：EP4177799A1

公开(公告)日：2023-05-10

申请号：EP21832280.8

申请日：2021-07-02

申请人： Inter-University Research Institute Corporation Research Organization of Information and Systems

发明人： PHALAKARN, Kittiphon ,  TAKISAKA, Toru ,  HAAS, Thomas ,  HASUO, Ichiro

IPC分类号： G06N7/00 ,  G06F17/18

摘要： A system optimal control technique with accuracy guarantee that enables high-speed calculations is provided. One aspect of the present invention is related to a system optimal control device including a graph converting unit configured to convert, based on an upper bound of an probability of arrival from an initial state to a final state of a stochastic game representing system information, the stochastic game into a flow analysis graph, a path selecting unit configured to select a path having a maximum width among paths from each state node to a final state node in the converted flow analysis graph, a width of each of the paths being defined as a minimum weight of edges forming the path, and a convergence determining unit configured to determine convergence of the upper bound and a lower bound of the probability of arrival of the stochastic game based on information about the selected path.