Systems and methods for analyzing control logic
AssigneeGeneral Electric Company
InventorTodd Allen Keitel
Life of this patent
Estimating the term…
Abstract
Disclosed herein, in various embodiments, are systems and methods for creating, implementing, communicating, and/or analyzing control logic governing operation of a system under control, where the control logic is defined in attributed data, which specifies control operators along with their input and output variables for the various control nodes. In example embodiments, attributed data for an execution instance of control logic is interpreted to generate therefrom a symbolic representation of the control logic and associate, in the symbolic representation, output variable values with the control operators.
Claims20
A system comprising:
- an attributed-data dictionary storing, in computer memory, mappings between an attributed-data representation and an analyzer-specific symbolic representation of a plurality of control operators;
- and
- a control-logic analyzer tool implemented by one or more hardware processors and configured to
- parse attributed data for an execution instance of control logic, the control logic comprising a plurality of control nodes and the attributed data for the execution instance comprising, for each of the control nodes, one or more attributed data items specifying an output variable and one or more values thereof, one or more input variables, and a control operator generating the output variable from the one or more input variables;
- and
- generate, from the attributed data in conjunction with the mappings, a symbolic representation of the control logic comprising the symbolic representations of the control operators;
- and
- associate the values of the output variables with respective outputs of the control operators in the symbolic representation.
A method comprising:
- accessing attributed data for an execution instance of control logic, the control logic comprising a plurality of control nodes and the attributed data for the execution instance comprising, for each of the control nodes, one or more attributed data items specifying an output variable and one or more values thereof, one or more input variables, and a control operator generating the output variable from the one or more input variables;
- and
- interpreting, using one or more hardware processors, the attributed data using an attributed-data dictionary to generate, from the attributed data, a symbolic representation of the control logic and to present the values of the output variables in association with respective outputs of the control operators in the symbolic representation.
A non-transitory machine-readable storage medium comprising instructions, which, when implemented by one or more machines, cause the one or more machines to perform operations, the operations comprising:
- receiving attributed data for an execution instance of control logic, the control logic comprising a plurality of control nodes and the attributed data for the execution instance comprising, for each of the control nodes, one or more attributed data items specifying an output variable and one or more values thereof, one or more input variables, and a control operator generating the output variable from the one or more input variables;
- and
- interpreting the attributed data using an attributed-data dictionary to generate, from the attributed data, a symbolic representation of the control logic and to present the values of the output variables in association with respective outputs of the control operators in the symbolic representation.
Dependencies are inferred from the claim text.