Abstract: Provision is made to read in masking information specifying a portion of an output signal from a first machine learning module that is tolerable in terms of controlling the machine. The first machine learning module is expanded with an additional output layer into which the output signal is fed and which inserts a digital watermark into the tolerable portion of the output signal on the basis of the masking information and which outputs the output signal modified in this way. The expanded first machine learning module is then transferred to a user. When a second machine learning module is received, the masking information is used to check whether the tolerable portion of an output signal from the second machine learning module contains the digital watermark. An alarm signal is then output depending on the check result.

Abstract: To configure a machine controller by an action execution tree, predefined action patterns are read in. A multiplicity of action execution trees for a machine to be controlled is also generated. For a respectively generated action execution tree, a performance for controlling the machine based on the respective action execution tree is determined. The predefined action patterns are also sought in the respective action execution tree. An action pattern found in the respective action execution tree is then replaced at least in part by a reference to the predefined action pattern. A tree size of the thus modified action execution tree is furthermore determined. Based on the generated action execution trees, a numerical optimization method is then used to determine an action execution tree that is optimized with regard to better performance and smaller tree size, and this is output in order to configure the machine controller.

Abstract: Computer-implemented method and control apparatus for controlling a machine by executing program steps which verifiably execute predefined control tasks is provided, including manipulating data based on input data received from the machine and resulting in reference data by data programming steps structured according to a declarative programming paradigm in a data processing unit, and performing control program steps verifying the reference data with respect to explicit conditions, without any further manipulation of the reference data in the control program steps in a control processing unit, and providing instructions resulting from the performed control program steps to the machine for execution of the instructions by the machine.

Abstract: A computer implemented method for automatically generating a behavior tree program for controlling a machine includes the steps of: transmitting a sequence of machine commands input by a user from a user interface to a controller, receiving supervision data in the user interface from the controller while the machine commands are executed in the controller controlling the machine, observing and copying the machine commands and supervision data transmitted between the controller and the user interface, storing the machine commands and the supervision data in a logging unit, generating a behavior tree program derived from the stored machine commands and the supervision data by statistical inference, and sending the generated behavior tree program to the controller unit to control the machine.

Abstract: A computer implemented method for automatically generating a behavior tree program for controlling a machine includes the steps of: transmitting a sequence of machine commands input by a user from a user interface to a controller, receiving supervision data in the user interface from the controller while the machine commands are executed in the controller controlling the machine, observing and copying the machine commands and supervision data transmitted between the controller and the user interface, storing the machine commands and the supervision data in a logging unit, generating a behavior tree program derived from the stored machine commands and the supervision data by statistical inference, and sending the generated behavior tree program to the controller unit to control the machine.