Verification of cyber-physical systems using optimization algorithms
US8831926B2 · kind B2 · utility
4Cited by
3References
20Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | May 11, 2012 |
| Grant date | Sep 9, 2014 |
| Priority date | — |
| Expiry date | May 25, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06Q30/018
- WIPO fieldIT methods for management
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.