✦ LIBER ✦

Computational Methods for Verification of Stochastic Hybrid Systems

✍ Scribed by Koutsoukos, X.D.; Riley, D.

Book ID: 117937650
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 533 KB
Volume: 38
Category: Article
ISSN: 1083-4427
DOI: 10.1109/tsmca.2007.914777

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of discrete time stochastic

Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem

✍ Sean Summers; John Lygeros 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 513 KB

SMT-based scenario verification for hybr

SMT-based scenario verification for hybrid systems

✍ Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 800 KB

Computational methods for complex stocha

Computational methods for complex stochastic systems: a review of some alternatives to MCMC

✍ Paul Fearnhead 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 670 KB

Integration of verification methods for

Integration of verification methods for program systems

✍ V. V. Kuliamin 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 159 KB

Mean reversal for stochastic hybrid syst

Mean reversal for stochastic hybrid systems

✍ Andrzej Korzeniowski 📂 Article 📅 2008 🏛 Elsevier 🌐 English ⚖ 286 KB

Consider two discrete time Markov chains on a finite state space with ±1 win or lose payoff subject to transition between the states. We introduce a class of processes whose cumulative expected payoffs are decreasing in time but, whenever the processes are chosen at random by flipping a fair coin, t

Verification of clocked and hybrid syste

Verification of clocked and hybrid systems

✍ Yonit Kesten; Zohar Manna; Amir Pnueli 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 688 KB