✦ LIBER ✦

The stochastic semantics and verification for periodic control systems

✍ Scribed by MengFei Yang, Zheng Wang, GeGuang Pu, ShengChao Qin…

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A stochastic games framework for verific

✍ Ding, Jerry; Kamgarpour, Maryam; Summers, Sean; Abate, Alessandro; Lygeros, John 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 759 KB

Structural operational semantics for sto

✍ Klin, Bartek; Sassone, Vladimiro 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 407 KB

Periodic maintenance and repair rate con

✍ E. K. Boukas; J. Yang; Q. Zhang; G. Yin 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 634 KB

Stochastic verification theorem of forwa

✍ Liangquan Zhang 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 256 KB

Stochastic H2 Optimal Control for a Clas

✍ Dragan, Vasile; Morozan, Toader 📂 Article 📅 2005 🏛 The European Union Control Association 🌐 English ⚖ 162 KB

Numerical Comparison of Controls and Ver

✍ K. Helmes; R. H. Stockbridge 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 110 KB