Sentence examples for quantitative specification from inspiring English sources

We show in[4] that linear temporal logic (LTL) provides such a language, enabling quantitative specification of a broad range of complex network vulnerability problems.

The Ca pattern fulfills the average quantitative specifications provided by the experimental data.

Moreover, the model can generate calcium patterns fulfilling qualitative and quantitative specifications: peak heights, baseline level, InterPeak Interval (IPI).

Then a single-loop quantitative feedback design scheme is applied to solve the resulting series of individual loops to guarantee the satisfaction of predefined MIMO quantitative specifications.

Using phase-plane analysis, we constrain the model behavior so that it meets qualitative and quantitative specifications derived from the experiments, including the precise control of the frequency of the synchronization episodes.

As a first step towards the synthesis of controllers reconciling both qualitative and quantitative specifications, we investigate in this paper the use of symbolic models for time-optimal controller synthesis.

We present a technique to combine qualitative and quantitative specifications of trust scores aiming at periodically computing a new trust degree, by also considering reputation scores collected from other systems within the infrastructure.

We have presented a quantitative formal specification of the Na,K-pump, based on a set of elementary reactions.

We present a quantitative formal specification of the pump mechanism in the PRISM language, taking into consideration a discrete chemistry approach and the Law of Mass Action aspects.

The development approach utilizes reaction kinetic modeling, design of experiment, and neural network analysis to establish a quantitative basis for specification of process operating ranges.

We show how such quantitative and qualitative specifications can be used to derive parameter sets defining parametric fault candidate sets.