Optimization with behavioral evaluation and rule base coverage
US11580358B1 · kind B1 · utility
1Cited by
14References
17Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | May 12, 2020 |
| Grant date | Feb 14, 2023 |
| Priority date | — |
| Expiry date | May 11, 2041 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N7/02
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The present disclosure describes improvements in optimization systems. During an optimization loop, an advanced objective function is used to determine an objective value, a specification metric, and a rule coverage metric for a particular solution. The specification metric characterizes compliance of the solution with certain formal specifications. The rule coverage metric characterizes the degree to which all rules (or a particular rule) are tested during testing of the system. The objective value and metrics may influence future operation of the optimization loop.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.