𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the use of MTBDDs for performability analysis and verification of stochastic systems

✍ Scribed by Holger Hermanns; Marta Kwiatkowska; Gethin Norman; David Parker; Markus Siegle

Book ID
114414943
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
755 KB
Volume
56
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the analysis of nonlinear stochastic
On the analysis of nonlinear stochastic systems
✍ Y.H. Ku πŸ“‚ Article πŸ“… 1982 πŸ› Elsevier Science 🌐 English βš– 607 KB

A comparison is given of two exact methods for the analysis of nonlinear systems with stochastic input and stochastic parameters: the Taylor-Cauchy Transform method and the Volterra-Wiener Functional method. The final results check with each other. Examples are provided.