Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties
Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties
复制标题
基于平方和的有效验证以及通过代数簇采样构造控制障碍函数
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Construction of Control Barrier Functions by Sampling on Algebraic Varieties
中科院分区：
文献类型：
--
作者：
Efficient Sum of Squares-Based Verification;Construction of Control Barrier Functions by Sampling on Algebraic Varieties
登录
查看更多内容
DOI：
--
发表时间：
2021-09
期刊：
--
影响因子：
--
作者：
Charles Dawson;Zengyi Qin;Sicun Gao;Chuchu Fan
通讯作者：
Charles Dawson;Zengyi Qin;Sicun Gao;Chuchu Fan
通过输入约束控制屏障函数进行安全控制综合
DOI：
10.1109/cdc45484.2021.9682938
发表时间：
2021
期刊：
2021 60th Conference on Decision and Control
影响因子：
--
作者：
Agrawal, Devansh R.;Panagou, Dimitra
通讯作者：
Panagou, Dimitra
用于非线性系统可扩展验证的采样商环平方和程序
DOI：
10.1109/cdc42340.2020.9304028
发表时间：
2020
期刊：
2020 59th IEEE Conference on Decision and Control (CDC)
影响因子：
--
作者：
Shen Shen;Russ Tedrake
通讯作者：
Russ Tedrake
DOI：
10.1109/cdc45484.2021.9683705
发表时间：
2021
期刊：
2021 60th IEEE Conference on Decision and Control (CDC)
影响因子：
--
作者：
J. Breeden;Dimitra Panagou
通讯作者：
Dimitra Panagou
DOI：
10.1109/cdc45484.2021.9683523
发表时间：
2021
期刊：
2021 60th IEEE Conference on Decision and Control (CDC
影响因子：
--
作者：
Yu, Hongzhe;Moyalan, Joseph;Tellez-Castro, Duvan;Vaidya, Umesh;Chen, Yongxin
通讯作者：
Chen, Yongxin