The present invention relates to a method for automatic translation of ladder logic to a SMT-based model checker in a network comprising defining (10) the topology of the network as an enriched network topology based on packets exchanged in the network, extracting (20) a program from the packets relating to a PLC in the network and identifying inputs, outputs, variables and a ladder diagram of the PLC, translating (30) the inputs, outputs, variables and ladder diagram into a predefined formal model, wherein the predefined formal model is a circuit-like SMT-based model checker, and wherein the translating (30) comprises translating the set of data types of the program according to a predefined model set of data types of the circuit-like SMT-based model checker, translating the inputs of the PLC as model inputs of the circuit-like SMT-based model checker of the same type, translating the outputs of the PLC as model output latches of the circuit-like SMT-based model checker of the same type, translating the variables of the PLC as model variable latches of the circuit-like SMT-based model checker of the same type, translating comparators and arithmetic operators of the ladder diagram into a plurality of predefined model functions of the circuit-like SMT-based model checker, translating contacts and coils of the ladder diagram according to predefined model recursive procedures relating to the predefined model set of data types, the model inputs, the model output latches, the model variable latches and the plurality of predefined model functions, wherein the contacts are switches that can block or allow the flow of the current in a connection and each of the contacts is controlled by a Boolean input or variable, and wherein the coils are assignments to Boolean variables.

Described are platforms, systems, and methods to discover relationships among equipment in automated industrial or commercial environments by cycling each individual piece of equipment while observing sensors in all other equipment in order to measure how each part reacts to each other part. The platforms, systems, and methods identify a plurality of data sources associated with an automation environment; issue one or more commands to cycle a current data source in the a plurality of data sources; monitor the automation environment for events or state changes in the data sources; detect one or more events or one or more state changes in one or more other data sources in the a plurality of data sources; and determine one or more relationships between the current data source and the one or more other data sources.

The master device of Profibus DP according to the present disclosure automatically configures network by performing a communication with a plurality of slave devices connected through Profibus, the device including a Profibus communication module configured to perform a communication with a plurality of slave devices, an imaginary network configuration information storage configured to be stored in advance with imaginary network configuration information, a network configuration information storage configured to be stored with network configuration information, and a Profibus master state machine configured to obtain network configuration information by performing a communication with the plurality of slave devices in response to the imaginary network configuration information stored in the imaginary network configuration information storage, to store the obtained network configuration information in the network configuration information storage, and to perform a communication with the plurality of slave devices in response to the stored network configuration information.

Described are platforms, systems, and methods to combine counts of activity correlations over time with a link salience method to identify collections of digital devices in an automated environment to identify sub-systems comprised of portions of the overall environment. The platforms, systems, and methods detect activity in a plurality of data sources associated with an automation environment; determine correlation in the detected activity between two or more of the data sources; store records of determined correlation in the detected activity over time in a data storage system; apply a link salience algorithm to the stored records of determined correlation in the detected activity to determine a salience property; and identify one or more subsystems in the automation environment based on the salience property.

A network controller automatically adjusts a computer network based on the operational information of an industrial device. The network controller receives a notification from a network element in the computer network that the industrial device attached to the network element has an administrative shell. The administrative shell includes operational information describing the operation of the industrial device. The network controller retrieves the administrative shell from the industrial device. The network controller parses the operational information in the administrative shell to determine an intent for the industrial device, and adjusts the computer network based on the intent of the industrial device.

A network controller automatically adjusts a computer network based on the operational information of an industrial device. The network controller receives a notification from a network element in the computer network that the industrial device attached to the network element has an administrative shell. The administrative shell includes operational information describing the operation of the industrial device. The network controller retrieves the administrative shell from the industrial device. The network controller parses the operational information in the administrative shell to determine an intent for the industrial device, and adjusts the computer network based on the intent of the industrial device.

A method for configuring an industrial control apparatus, the method including: starting a detection mode; selecting a stock control apparatus; opening a stock configuration of the stock control apparatus; selecting and buffer-storing at least one feature of the stock configuration; starting a transfer mode; selecting at least one target control apparatus; and transferring the at least one selected and buffer-stored feature of the stock configuration to the target control apparatus.

Described are platforms, systems, and methods to discover relationships among equipment in automated industrial or commercial environments by looking for synchrony in state changes among the equipment. The platforms, systems, and methods identify a plurality of data sources associated with an automation environment; detect one or more events or one or more state changes in the data sources; store the detected events or state changes; detect synchrony in the detected events or state changes by performing operations comprising: identifying combinatorial pairs of data sources having an event or state change within a predetermined time window; and conducting pairwise testing for each identified combinatorial pair of data sources by applying an algorithm to the stored detected events or state changes; and determine one or more relationships for at least one identified combinatorial pair of data sources.

Described are platforms, systems, and methods for mapping data found in connected equipment from a manufacturer's selected schema, format, and protocol to a normalized data model. The platforms, systems, and methods identify a plurality of data sources associated with an automation environment; retrieve data from at least one of the identified data sources; generate a plurality of data source mapping profiles, each data source mapping profile specific to a particular data source configuration; maintain a data store comprising the plurality of data source mapping profiles; select a data source mapping profile specific to the at least one identified data source configuration; and apply an algorithm to map the retrieved data to a predetermined ontology based on the selected data source mapping profile for the at least one identified data source.

Described are platforms, systems, and methods to discover subtended devices through introspection of executive or supervisory controllers. The platforms, systems, and methods maintain a plurality of introspection directives, each introspection directive comprising a sequence of instructions specific to a communications protocol, the sequence of instructions comprising instructions to send at least one command to at least one controller associated with an automation environment in accordance with the communications protocol, instructions to receive a response to the at least one command, and instructions to parse the response; identify an appropriate introspection directive for the at least one controller; and execute the sequence of instructions with respect to the at least one controller to perform operations comprising: sending at least one command to at least one controller; receiving a response; and parsing the response.