Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongchao Zhang, Zhouchi Li, Hongkai Dai, Andrew Clark 0001. Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 5384-5391, IEEE, 2023. [doi]

This author has not been identified. Look up 'Hongchao Zhang' in GoogleThis author has not been identified. Look up 'Zhouchi Li' in GoogleThis author has not been identified. Look up 'Hongkai Dai' in GoogleThis author has not been identified. Look up 'Andrew Clark 0001' in Google

runs on WebDSL