...
机译:在时间逻辑规格下使用屏障功能控制移动机器人
Georgia Inst Technol Sch Elect & Comp Engn Atlanta GA 30332 USA;
Georgia Inst Technol Sch Elect & Comp Engn Atlanta GA 30332 USA|Georgia Inst Technol Sch Civil & Environm Engn Atlanta GA 30332 USA;
Trajectory; Safety; Task analysis; Mobile robots; Collision avoidance; Control barrier functions (CBFs); linear temporal logic (LTL); mobile robots; quadratic programs (QPs);
机译:基于障碍功能的信号时间逻辑任务下多个机器人的协作控制
机译:时间逻辑规范和控制屏障功能下的多主体系统运动规划
机译:加固学习在具有共安全时间逻辑规范的移动机器人路径规划中的应用
机译:高阶控制Lyapunov阻隔功能,用于时间逻辑规格
机译:时间逻辑规范下的多机器人系统可扩展控制合成
机译:强大的...... - 在不确定非线性扰动存在下用于增强轮式移动机器人的跟踪性能的模糊逻辑控制
机译:在时间逻辑规格下使用屏障功能控制移动机器人