The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 15, 2025
Filed:
Jul. 02, 2021
Inter-university Research Institute Corporation Research Organization of Information and Systems, Tokyo, JP;
Kittiphon Phalakarn, Tokyo, JP;
Toru Takisaka, Tokyo, JP;
Thomas Haas, Tokyo, JP;
Ichiro Hasuo, Tokyo, JP;
Abstract
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.