Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Probabilistic verification"”.
-
Improving Convective Permitting Model Simulations of Extreme Precipitation using Object-Based Tracking and Data Assimilation
… than coarse-grained (e.g. 3 km) ensemble models. Probabilistic verification illustrates that CPM has a much better skill to predict intense convective events especially for the target area of central Texas where the hourly rainfall rates and flooding were extreme. In Appendix B, we move our …
-
Statistical guarantees of performance for RTL designs
"Traditional hardware verification is a non-probabilistic process that verifies the adherence of a design to a non-probabilistic performance specification. However, adaptive techniques like voltage and frequency scaling, process variations due to shrinking chip geometries and input variations for …
-
Computational Techniques for Stochastic Reachability
… complexity, there is an increasing demand for verification and controller synthesis methods to ensure these systems perform safely and to desired specifications. In addition, uncertain or stochastic behaviors are often exhibited (such as wind affecting the motion of an aircraft), making …
-
Model-Based Safety Assessment of Industrial Automation Systems using IEC 61499
… system model is formed that is used for various verification and validation activities such as formal verification, testing, simulation. Such analyses are well-suited for safety-critical systems and help to avoid systematic errors. However, plant-models are also susceptible to random errors, …