3082 search results - page 1 / 617 » Deviation Analysis: A New Use of Model Checking |
ASE
2005
13 years 11 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
KBSE
2002
IEEE
14 years 3 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
WIDM
2012
ACM
12 years 6 months ago
2012
ACM
Process mining techniques use event data to discover process models, to check the conformance of predefined process models, and to extend such models with information about bottl...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
ATVA
2011
Springer
12 years 11 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...