IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction

2016 IEEE 55th Conference on Decision and Control (CDC)

Author(s): Yu Wang ; Nima Roohi ; Matthew West ; Mahesh Viswanathan ; Geir E. Dullerud
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2016
Conference Location: Las Vegas, NV, USA
Conference Date: 12 December 2016
Page(s): 3,012 - 3,017
ISBN (Electronic): 978-1-5090-1837-6
ISBN (DVD): 978-1-5090-1844-4
DOI: 10.1109/CDC.2016.7798719
Regular:

In this work, we develop a method for verifying Continuous-time Stochastic Hybrid Systems (CTSHSs) using the Mori-Zwanzig model reduction method, whose behaviors are specified by Metric Interval... View More

Advertisement