Patent Document ID: 20130124164
Application ID: 13673575
Patent Flag: 0

Claim One:
1. A stochastic computational model parameter synthesis system comprising at least one processor capable of executing processor executable code, and a non-transitory computer memory operably coupled with the at least one processor and storing processor executable code, which when executed by the at least one processor, causes the at least one processor to synthesize at least one parameter of a stochastic computational model to satisfy one or more behavioral specifications of properties observed in a modeled system by: receiving a first input signal from a user over a network interface, the first input signal indicative of a parametric stochastic computational model to be carried out by the at least one processor; accessing the at least one parameter to be synthesized; receiving a second input signal indicative of a behavioral specification indicative of a property observed in the modeled system; receiving a minimum probability with which the stochastic model must satisfy the behavioral specification; generating one or more randomized projections of a first parameter space having n dimensions into one or more second abstract parameter space having d dimensions, where d is less than n, wherein a distance between n+1 chosen anchor points in the first parameters space and a point corresponding to the parameter values with the highest probability of satisfying the specification in the one or more second abstract parameter space is preserved; searching the one or more second abstract parameter space by exhaustively searching discretized values in the one or more second abstract parameter space obtained by performing a randomized projection of the first parameter space having n dimensions; and transmitting an output signal to a user, the output signal indicative of at least one synthesized parameter value.