We show how such quantitative and qualitative specifications can be used to derive parameter sets defining parametric fault candidate sets.
To account for imprecise and qualitative specifications in the design phase and uncertainties such as noisy measurements and model-plant mismatch in the process phase, and to allow for the nonlinear models and equations, we employ a set-based framework using convex relaxations.
From a theoretical viewpoint, temporal specifications are expressed as equality or inequality constraints between delay parameters, while the qualitative specifications are expressed as an ordered pattern of the concentrations peaks of the components.
Equations 1 through 4 below transform HD's qualitative theoretical specification into a nonlinear, first order interdependent system (Abdollahian et al. 2012).
Due to their simplicity and ease of specification, qualitative decision tools are popular in artificial intelligence.
The analysis can be done at different levels of specification (qualitative description, semiquantitative, or based on quantitative estimates).
Moreover, the model can generate calcium patterns fulfilling qualitative and quantitative specifications: peak heights, baseline level, InterPeak Interval (IPI).
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.
