Method for implementing a new reactive system

Abstract

A method for implementing a new reactive system and a new reactive system includes applying at least one input suitable for the new reactive system to an existing reactive system to obtain at least one output produced by the existing reactive system; comparing the at least one output with an expected output representative of an output expected to be obtained by applying the at least one input to the new reactive system; determining if the at least one output would be compatible with the expected output; and using the compatibility between the at least one output and the expected output to generate a supervisory control rule set arranged for supervisory control of the existing reactive system when used as part or whole of the new reactive system.

Dependencies are inferred from the claim text.