Patent ID: 7085748

Claim:
A computerized method for controlling operation of a target system, comprising: receiving a set of variables that are characteristic of inputs to the target system, the variables having respective input domains, and a set of constraints comprising one or more relations defined as a combination of operators and expressed in a generic relational language, the combination comprising at least one operator selected from a group of arithmetic and bitwise operators, which are applied to the variables; automatically parsing the constraints expressed in the generic relational language so as to build a network comprising one or more hyper-arcs, each hyper-are corresponding to a respective relation and comprising a constraint sub-network linking nodes in the network corresponding to the variables to which the operators are applied; processing each constraint sub-network so as to find sets of values of the variables within the input domains that satisfy the respective relation; reducing the input domains of the variables in the network using the sets of values of the variables, so as to determine respective output domains of the variables that are consistent with the set of constraints of the network; and determining values of the inputs to be made to the target system based on the consistent output domains of the variables.