Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation

Shucheng Kang; Yuxiao Chen; Heng Yang; Marco Pavone

doi:10.1109/CDC49753.2023.10383434

Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation

Shucheng Kang, Yuxiao Chen, Heng Yang, Marco Pavone

科研成果: 图书/报告稿件的类型 › 会议稿件

源语言	英语
主期刊名	2023 62nd IEEE Conference on Decision and Control, CDC 2023
出版商	Institute of Electrical and Electronics Engineers Inc.
页	8215-8222
页数	8
ISBN（电子版）	9798350301243
DOI	https://doi.org/10.1109/CDC49753.2023.10383434
出版状态	已出版 - 2023
已对外发布	是
活动	62nd IEEE Conference on Decision and Control, CDC 2023 - Singapore, 新加坡期限: 12月 13 2023 → 12月 15 2023

出版系列

姓名	Proceedings of the IEEE Conference on Decision and Control
ISSN（印刷版）	0743-1546
ISSN（电子版）	2576-2370

会议

会议	62nd IEEE Conference on Decision and Control, CDC 2023
国家/地区	新加坡
市	Singapore
时期	12/13/23 → 12/15/23

!!!ASJC Scopus Subject Areas

控制与系统工程
建模与模拟
控制和优化

访问文件

10.1109/CDC49753.2023.10383434

其它文件与链接

引用此

Kang, S., Chen, Y., Yang, H., & Pavone, M. (2023). Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation. 在 2023 62nd IEEE Conference on Decision and Control, CDC 2023 (页码 8215-8222). (Proceedings of the IEEE Conference on Decision and Control). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CDC49753.2023.10383434

Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation. / Kang, Shucheng; Chen, Yuxiao; Yang, Heng 等.
2023 62nd IEEE Conference on Decision and Control, CDC 2023. Institute of Electrical and Electronics Engineers Inc., 2023. 页码 8215-8222 (Proceedings of the IEEE Conference on Decision and Control).

科研成果: 图书/报告稿件的类型 › 会议稿件

Kang, S, Chen, Y, Yang, H & Pavone, M 2023, Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation. 在 2023 62nd IEEE Conference on Decision and Control, CDC 2023. Proceedings of the IEEE Conference on Decision and Control, Institute of Electrical and Electronics Engineers Inc., 页码 8215-8222, 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, 新加坡, 12/13/23. https://doi.org/10.1109/CDC49753.2023.10383434

Kang S, Chen Y, Yang H, Pavone M. Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation. 在 2023 62nd IEEE Conference on Decision and Control, CDC 2023. Institute of Electrical and Electronics Engineers Inc. 2023. 页码 8215-8222. (Proceedings of the IEEE Conference on Decision and Control). doi: 10.1109/CDC49753.2023.10383434

Kang, Shucheng ; Chen, Yuxiao ; Yang, Heng 等. / Verification and Synthesis of Robust Control Barrier Functions : Multilevel Polynomial Optimization and Semidefinite Relaxation. 2023 62nd IEEE Conference on Decision and Control, CDC 2023. Institute of Electrical and Electronics Engineers Inc., 2023. 页码 8215-8222 (Proceedings of the IEEE Conference on Decision and Control).

@inproceedings{ada7254a7a864dea9ed1ed26c87b8506,

title = "Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation",

author = "Shucheng Kang and Yuxiao Chen and Heng Yang and Marco Pavone",

note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 62nd IEEE Conference on Decision and Control, CDC 2023 ; Conference date: 13-12-2023 Through 15-12-2023",

year = "2023",

doi = "10.1109/CDC49753.2023.10383434",

language = "English",

series = "Proceedings of the IEEE Conference on Decision and Control",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "8215--8222",

booktitle = "2023 62nd IEEE Conference on Decision and Control, CDC 2023",

address = "United States",

}

TY - GEN

T1 - Verification and Synthesis of Robust Control Barrier Functions

T2 - 62nd IEEE Conference on Decision and Control, CDC 2023

AU - Kang, Shucheng

AU - Chen, Yuxiao

AU - Yang, Heng

AU - Pavone, Marco

PY - 2023

Y1 - 2023

UR - http://www.scopus.com/inward/record.url?scp=85184822798&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85184822798&partnerID=8YFLogxK

U2 - 10.1109/CDC49753.2023.10383434

DO - 10.1109/CDC49753.2023.10383434

M3 - Conference contribution

AN - SCOPUS:85184822798

T3 - Proceedings of the IEEE Conference on Decision and Control

SP - 8215

EP - 8222

BT - 2023 62nd IEEE Conference on Decision and Control, CDC 2023

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 13 December 2023 through 15 December 2023

ER -

Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation

出版系列

会议

!!!ASJC Scopus Subject Areas

访问文件

其它文件与链接

指纹

引用此