研究论文
机器人控制的概率时序规范
概率信号时序逻辑表达可随感知／分类数据改变的不确定安全要求；会议摘要通过四旋翼及自动驾驶车辆示例介绍控制器推理。
核查日期 2026-11-05 · 已核查来源与书目信息
书目信息与编辑概述已对照原始来源核查。访问条件与版本见来源说明。
- 原文标题
- Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
- 发布机构
- Robotics: Science and Systems Foundation
- 作者
- Dorsa Sadigh, Ashish Kapoor
- DOI
- 10.15607/rss.2016.xii.017
- 会议论文集发布日期
- 2016-06
- 原文语言
- en
- 版本
- Robotics: Science and Systems XII
- 访问条件
- 公开书目信息与摘要
- 出版状态
- 已发布
资料概述
概率信号时序逻辑表达可随感知／分类数据改变的不确定安全要求；会议摘要通过四旋翼及自动驾驶车辆示例介绍控制器推理。
使用与审查
保证依赖所述动力学、感知及约束假设；摘要／资料筛查并未确认完整机器人安装或ISO13849安全功能。
来源与版本
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic ↗
Robotics: Science and Systems Foundation · Robotics: Science and Systems XII
Owning RSS2016 title/authors/DOI/abstract and BibTeX June2016 checked. Abstract does not establish physical deployment; no hardware result inferred.