| 发明名称 | Verification of cyber-physical systems using optimization algorithms | ||
| 摘要 | A computer-implemented method for verifying a model in a product lifecycle management (PLM) system includes defining a model and an envelope of allowable model states and, based on one or more requirements, deriving at least one counterexample objective. The method also includes optimizing a set of parameters related to the allowable model states and the allowable model context, redefining at least one of the model and the allowable model states when the at least one counterexample objective is outside of a specified tolerance, and, after a predefined number of iterations, defining the model as verified. | ||
| 申请公布号 | US8831926(B2) | 申请公布日期 | 2014.09.09 |
| 申请号 | US201213469957 | 申请日期 | 2012.05.11 |
| 申请人 | Dassault Systemes Simulia Corp. | 发明人 | Van der Velden Alexander Jacobus Maria |
| 分类号 | G06F17/50;G06Q30/00;G06F11/22 | 主分类号 | G06F17/50 |
| 代理机构 | Hamilton, Brook, Smith & Reynolds, P.C. | 代理人 | Hamilton, Brook, Smith & Reynolds, P.C. |
| 主权项 | 1. A computer-implemented method for verifying a model in a product lifecycle management (PLM) system, said computer-implemented method comprising: defining, using a computer, a model, an allowable model context, and an envelope of allowable model states; based on one or more requirements, deriving, using the computer, at least one counterexample objective; optimizing, using the computer, a set of parameters related to the allowable model states; optimizing, using the computer, a set of parameters related to the allowable model context; redefining, using the computer, at least one of the model and the allowable model states when the at least one counterexample objective is outside of a specified tolerance; and after a predefined number of iterations, defining, using the computer, the model as verified. | ||
| 地址 | Providence RI US | ||