Patent ID: 8805770
Filing Date: 2014-08-12
Classification: G06F,G06N,G06Q,H04L

Abstract:
1. A method of creating reconfiguration plans for changing variables from an initial value to a final value in a system while preserving constraints, comprising: a processor for performing computer instructions for: assigning configuration values v assigning time [v] to be a positive, integer-valued time at which the value of configuration variable v is changed from init [v] to final [v], where time [v] is a one-to-one mapping between the set of configuration variables and the integers in the interval [1, k]; encoding a reconfiguration sequence where the value of a configuration variable v immediately after time t is defined as follows: If time [v]=<t then init [v] else final [v]; forming a reconstruction plan by finding values of the time variables time [v computing by first deriving a constraint on the time variables for the Invariant to hold after a generic time t and for each t in [1, . . . , k], the constraint is instantiated.