Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints
Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints
复制标题
时态逻辑约束下无抽象控制综合的控制屏障函数
DOI：
10.1109/cdc42340.2020.9304255
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Clark, Andrew
中科院分区：
文献类型：
--
作者：
Niu, Luyao;Clark, Andrew
具有共同安全时序逻辑规范的随机最优控制组合方法
DOI：
10.1109/iros.2014.6942750
发表时间：
2014
期刊：
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
影响因子：
--
作者：
Matanya B. Horowitz;Eric M. Wolff;R. Murray
通讯作者：
R. Murray
使用控制障碍证书形式正确地组合协调行为
DOI：
10.1109/iros.2018.8594302
发表时间：
2018
期刊：
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
影响因子：
--
作者：
Anqi Li;Li Wang;Pietro Pierpaoli;M. Egerstedt
通讯作者：
M. Egerstedt
影响因子：
9.2
作者：
Vasile, Cristian Ioan;Li, Xiao;Belta, Calin
通讯作者：
Belta, Calin