AUTOMATIC TRANSLATION OF SIMULINK MODELS INTO THE INPUT LANGUAGE OF A MODEL CHECKER
Patent №
US 7,698,668
Granted
2010-04-13
Filed 2006
Owner
HONEYWELL INTERNATIONAL INC.
Lab
—
AI components
2
evo · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
11545134
A translator converts an input model, such as resulting from a simulation of a design to be verified, into an output model suitable for verification by a model checker. The input model, for example, may be produced using Simulink, and the output model, for example, may be a NuSMV model.
AI classification
AI hardware1.00
Evolutionary computation0.91
Knowledge representation0.20
Machine learning0.05
Natural language0.01
Vision0.01
Speech0.00
Planning0.00
Ownership
HONEYWELL INTERNATIONAL INC.
assignment · 183970510
Assignors
BALASUBRAMANIAN, MEENAKSHI, BHATNAGAR, ABHISHEK, ROY, SUDEEPA
On an employer assignment, the assignors are typically the inventors.
From the same owner
APPARATUS AND METHOD FOR CALCULATING ASSET CAPABILITY USING MODEL PREDICTIVE CONTROL AND/OR INDUSTRIAL PROCESS OPTIMIZATIONUS 12,693,636 · 2026RECOMMENDATION SYSTEM FOR ADVANCED PROCESS CONTROL LIMITS USING INSTANCE-BASED LEARNINGUS 12,693,638 · 2026SYSTEMS, APPARATUSES, METHODS, AND COMPUTER PROGRAM PRODUCTS FOR CORRECTING PROCESS SIMULATION PREDICTIONS AS A FUNCTION OF OPERATING CONDITIONSUS 12,693,641 · 2026SYSTEMS AND METHODS FOR PERFORMING VIDEO CONFIRMATION OF SENSOR-GENERATED ALARMSUS 12,694,681 · 2026METHODS AND SYSTEMS FOR DETECTING FOREIGN OBJECTS ON A LANDING SURFACEUS 12,694,687 · 2026METHOD AND SYSTEM FOR VERIFYING USER AUTHENTICITY IN AN ACCESS CONTROL SYSTEMUS 12,694,734 · 2026FLIGHT SAFETY OPERATIONS OPTIMIZATIONUS 12,679,561 · 2026METHOD AND SYSTEM FOR IDENTIFYING SECURITY EVENTS IN AN ACCESS CONTROL SYSTEMUS 12,676,040 · 2026