[PDF] Top 20 On the use of probabilistic model-checking for the verification of prognostics applications
Has 10000 "On the use of probabilistic model-checking for the verification of prognostics applications" found on our website. Below are the top 20 most common "On the use of probabilistic model-checking for the verification of prognostics applications".
On the use of probabilistic model-checking for the verification of prognostics applications
... the use of model- checking for the formal verification of prognostics requirements including the effect of data gathering hardware ...architectures. Model-checking is a ... See full document
7
Bisimulation minimisation and probabilistic model checking
... Probabilistic model checking is a verification technique for probabilistic ...The probabilistic models we consider are discrete-time Markov chains (DTMCs) and continuous-time ... See full document
79
Counterexample Generation for Conditional Probability in Probabilistic Model Checking
... of model checking techniques, approximate and effective model checking on multiple until formulae (k>2) become an open research problem and more and more importance in the field of system ... See full document
8
Applying Model Checking in Java Verification
... to model its ...effective verification environment needs pre-written environment models of commonly used ...the verification engineer time and ... See full document
16
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
... their use, whilst the development, verification and certification of autonomous robots is inher- ently difficult due to the sheer complexity of the system design and inevitable uncertainties in their ... See full document
20
Security protocol verification by means of symbolic model checking.
... the verification of Web Services. Web services are software applications that use the markup language XML to exchange data with other applications by using Internet ...other ... See full document
163
A symbolic model checking approach in formal verification of distributed systems
... Model checking is an influential method to verify complex interactions, concurrent and distributed ...systems. Model checking constructs a behavioral model of the system using formal ... See full document
27
A comparative study of BDD packages for probabilistic symbolic model checking
... In this paper, we study the performance of six different BDD packages: CUDD [33], BuDDy [13], CacBDD [26], JDD [35], Sylvan [36], and BeeDeeDee [25]. CUDD is a well-known BDD implementation used in several model ... See full document
15
Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking
... Electronic commerce is the ability to perform business transactions involving the exchange of goods and services between two or more par- ties using electronic tools and techniques. In electronic commerce information is ... See full document
11
Checking, processing and verification of nuclear data covariances
... JEFF-3.3T4 [1] is a fully consistent and complete nuclear data library with all data needed and associated covariance information (full covariance information for the main actinides), which can be reliably used for a ... See full document
10
Model building and verification for active control of microvibrations with probabilistic assessment of the effects of uncertainties
... the use of active control techniques which, in turn, require suf ciently accurate and tractable models of the underlying dynamics on which to base controller design and initial performance ...state-space ... See full document
11
Gait Verification Using Probabilistic Methods
... identity verification based on Bayesian classification. The verification task is reduced to a two class problem (Client or Impostor) with logistic functions constructed to provide probability estimates of ... See full document
6
FACT : A Probabilistic Model Checker for Formal Verification with Confidence Intervals
... quantitative verification [8, 11] over the past fifteen years represents one of the most prominent recent advances in system modelling and ...Markov model that captures relevant states of a system and the ... See full document
7
Towards Checking the Usefulness of Verification Tools
... Building verification tools is what researchers in the field are good at, but evaluating if they are actually useful and useable is often a much harder ...incorporate verification (including testing) tools ... See full document
10
A Generative Probabilistic OCR Model for NLP Applications
... (OCR) model that describes an end-to-end process in the noisy channel framework, progressing from generation of true text through its transforma- tion into the noisy output of an OCR ...The model is ... See full document
8
Verification tools for probabilistic forecasts of continuous hydrological variables
... data versus their empirical cumulative distribution around the central value (see Fig. 5). Using Fig. 2 as a guide to evalu- ate the results, it is clear that the ensemble method provides predictions that are very narrow ... See full document
11
Probabilistic program verification in the style of the unifying theories of programming
... the use of homogeneous relations among distributions on the state space to model programs: in previous work the approach was to relate a single state to a distribution on the state space, which contains ... See full document
188
Counterexamples in Model Checking - A survey
... for probabilistic counterexamples ge- neration have been ...the model checkers PRISM [81] and MRMC [94], and can ren- der the counterexamples in text format as well as in graphi- cal ...PIRSM model ... See full document
22
Probabilistic combination of static and dynamic gait features for verification
... The Equal Error Rates for all of the experiments are shown in Table 1. As can be seen the EERs for the dynamic and static modalities alone are 7.3% and 15.5% respectively; this makes the fusion task highly imbalanced and ... See full document
8
Model-Checking Iterated Games
... In ontrast, TCL enjoys an EXPTIME- omplete model- he king omplexity and xed parameter tra tability when using the length of the formula as parameter, as well as 2EXPTIME ompleteness of t[r] ... See full document
15
Related subjects