Patent №
US 7,913,232
Granted
2011-03-22
Filed 2003
Owner
THE MATHWORKS, INC.
Lab
—
AI components
3
kr · planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
10371975
A method of collecting information includes retrieving a criterion for certifying software for use on a safety-critical system, receiving user input information associated to the criterion, determining if the input information satisfies criterion for certifying the software for use on the safety-critical system, and providing output information to the user where the output information is identifying if the criterion is satisfied.
AI classification
Planning1.00
Knowledge representation1.00
AI hardware0.94
Natural language0.03
Speech0.02
Vision0.01
Evolutionary computation0.00
Machine learning0.00
Ownership
THE MATHWORKS, INC.
assignment · 142590437
Assignors
ERKKINEN, THOMAS J.
On an employer assignment, the assignors are typically the inventors.
From the same owner
SYSTEMS, METHODS, AND MEDIA FOR GENERATING AND DISPLAYING A VISUAL CONSTRUCT UTILIZED TO NAVIGATE TABULAR DATA AND THAT VISUALLY INDICATES LOCATIONS OF SEARCH RESULTS ACROSS THE TABULAR DATAUS 12,566,915 · 2026SYSTEMS AND METHODS FOR ANALYZING VARIANT CONFIGURATIONS OF SIMULATION MODELSUS 12,536,348 · 2026PROGRAMMATIC SELECTION OF BREAKPOINTS AND TABLE VALUES FOR A LOOKUP TABLE THAT CONFORMS WITH AN ERROR TOLERANCEUS 12,141,021 · 2024SYSTEMS AND METHODS FOR GENERATING AND MODIFYING A PATTERN FOR PATTERN MATCHING UTILIZING A HIERARCHICAL STRUCTURE THAT STORES ONE OR MORE VALUESUS 12,056,108 · 2024SYSTEMS AND METHODS FOR DESIGN PARAMETER SELECTIONUS 12,045,737 · 2024SYSTEMS AND METHODS FOR GENERATING A BOUNDARY OF A FOOTPRINT OF UNCERTAINTY FOR AN INTERVAL TYPE-2 MEMBERSHIP FUNCTION BASED ON A TRANSFORMATION OF ANOTHER BOUNDARYUS 11,941,545 · 2024SYSTEMS AND METHODS FOR HIGHLIGHTING GRAPHICAL MODELSUS 11,853,690 · 2023SYSTEMS AND METHODS FOR CREATING VARIANT REGIONS IN ACAUSAL SIMULATION MODELSUS 11,829,689 · 2023