SYSTEMS AND METHODS FOR ANALYZING CONTROL LOGIC

摘要

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.

主权项

1. 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; andgenerate, from the attributed data in conjunction with the mappings, a symbolic representation of the control logic comprising the symbolic representations of the control operators; andassociate the values of the output variables with respective outputs of the control operators in the symbolic representation.