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]

Authors

Yu Wang

This author has not been identified. It may be one of the following persons: Look up 'Yu Wang' in Google

Nima Roohi

This author has not been identified. Look up 'Nima Roohi' in Google

Matthew West 0001

This author has not been identified. Look up 'Matthew West 0001' in Google

Mahesh Viswanathan 0001

This author has not been identified. Look up 'Mahesh Viswanathan 0001' in Google

Geir E. Dullerud

This author has not been identified. Look up 'Geir E. Dullerud' in Google