A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems

Shuo Han, Ufuk Topcu, George J. Pappas. A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems. In 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015. pages 2049-2054, IEEE, 2015. [doi]

Authors

Shuo Han

This author has not been identified. Look up 'Shuo Han' in Google

Ufuk Topcu

This author has not been identified. Look up 'Ufuk Topcu' in Google

George J. Pappas

This author has not been identified. Look up 'George J. Pappas' in Google