External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems

Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. In Magnus Egerstedt, Yorai Wardi, editors, 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015. Volume 48 of IFAC-PapersOnLine, pages 267-273, Elsevier, 2015. [doi]

Authors

Yu Wang 0044

This author has not been identified. Look up 'Yu Wang 0044' 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
runs on