The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 05, 2015
Filed:
Jul. 10, 2012
Arvind Easwaran, Minneapolis, MN (US);
Gabor Madl, St. Louis Park, MN (US);
David V. Oglesby, Brooklyn Center, MN (US);
Devesh Bhatt, Maple Grove, MN (US);
Arvind Easwaran, Minneapolis, MN (US);
Gabor Madl, St. Louis Park, MN (US);
David V. Oglesby, Brooklyn Center, MN (US);
Devesh Bhatt, Maple Grove, MN (US);
Honeywell International Inc., Morristown, NJ (US);
Abstract
A system for verifying that a comparison model having folded expressions matches a reference model includes at least one memory device that stores a reference model and a comparison model, wherein the comparison model was previously generated based on the reference model. The reference model adheres to a first set of syntax and semantics, wherein the reference model includes a plurality of first expressions, each of the first expressions including a first operator and a first operand. The comparison model adheres to a second set of syntax and semantics, wherein the comparison model includes a second expression, the second expression including a second operator and a second operand. The system further includes a processing unit configured to match the second expression with the plurality of first expressions.