Filters
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
discuss statistical model checking of Markov chains and Markov decision processesWe survey statistical verification techniques aiming at linear properties, the respective strategies can be represented efficiently ...
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates
explains principles of creating reliability models for various scenarios. Our approach expects that a reliability model is then processed by a statistical model checking method, used to assess the reliabi...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Predictability Analysis of Interruptible Systems by Statistical Model Checking
of such a model benefits from the statistical model checking.. To meet this, a system must be modeled and analyzed precisely under various scenarios propose a simulation model that relies on a ne...
Computer hardware and architecture
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Modelling and statistical model checking of a microgrid
This paper reports on the modelling and analysis of a microgrid with wind, microturbines, and the main grid as generation resources. The microgrid is modelled of linear temporal logic properties expressed in the logic LTL, using the...
Automation and control systems
- 2015 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle
The paper presents a method of creation and analysis of reliability models by means of stochastic timed automata (STA) and statistical model checking (SMC models. Main goal of the paper is to show that - t...
Computer hardware and architecture
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Faster Statistical Model Checking for Unbounded Temporal Properties
We present a new algorithm for the statistical model checking of Markov chains with respect to unbounded temporal properties, including full linear temporal logic. The main idea is that we monitor each simulation run on the...
IN - Informatika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Application of statistical methods in evaluation of fabric hand
The chapter is devoted to description of selected statistical methods capable to treatment of subjective hand data, checking the quality of potential regressors and creating the prediction type models. The techniques of uni...
JJ - Ostatní materiály
- 2004 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Statistical approach to geometrical accuracy of building and to a control measurement
Statistical model of tolerance and determination of accuracy of control measurement...
JE - Nejaderná energetika, spotřeba a užití energie
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Automated checking methods of the Digital Terrain Models based on TIN
This article is focused on the construction and analysis of the Digital Terrain Model based on Delaunay triangulation. For an automatic assessment of height differences between analyzed DTM and a reference dataset, some statistical ...
DE - Zemský magnetismus, geodesie, geografie
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Statistical model checking (SMC) is a technique for analysis of probabilistic systems that may be (partially) unknown. We present an SMC algorithm for (unbounded) reachability yielding probably approximately correct (PAC) g...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 192 935