Safety Verification of Nonlinear Polynomial System via Occupation Measures

Ximing Chen, Shaoru Chen, Victor M. Preciado. Safety Verification of Nonlinear Polynomial System via Occupation Measures. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 1159-1164, IEEE, 2019. [doi]

Authors

Ximing Chen

This author has not been identified. Look up 'Ximing Chen' in Google

Shaoru Chen

This author has not been identified. Look up 'Shaoru Chen' in Google

Victor M. Preciado

This author has not been identified. Look up 'Victor M. Preciado' in Google