Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction

Yu Wang, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 3012-3017, IEEE, 2016. [doi]

Bibliographies