✦ LIBER ✦

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

✍ Scribed by Sean Summers; John Lygeros

Book ID: 103823139
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 513 KB
Volume: 46
Category: Article
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2010.08.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Viability decision of linear discrete-ti

Viability decision of linear discrete-time stochastic systems with probability criterion

✍ Wansheng Tang; Jun Zheng; Jianxiong Zhang 📂 Article 📅 2009 🏛 South China University of Technology and Academy o 🌐 English ⚖ 102 KB

Dynamic programming for discrete-time st

Dynamic programming for discrete-time stochastic systems of a general type

✍ P. Rupśys 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 465 KB

Suboptimal linear feedback for a class o

Suboptimal linear feedback for a class of stochastic discrete-time systems

✍ Pham T Nhu 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 465 KB

Stability and robust stabilisation for u

Stability and robust stabilisation for uncertain discrete stochastic hybrid singular systems with time delay

✍ Ma, S.; Boukas, E.K. 📂 Article 📅 2009 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 225 KB

A new formulation of some discrete-time

A new formulation of some discrete-time stochastic-parameter state estimation problems

✍ Y.I. Yaz; E.E. Yaz 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 474 KB

Linear unbiased full-order state estimation problem for discrete-time models with stochastic parameters and additive finite energy type disturbance signals is reformulated in terms of linear matrix inequalities. Two estimation problems that are considered are the design for mean-square bounded esti

On parameter estimation of partly observ

On parameter estimation of partly observed bilinear discrete-time stochastic systems

✍ A. Malyarenko; V. Vasiliev 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 258 KB