研究论文 · 发布 2018.08.23 · 预印本

SOTER：用于安全机器人编程的运行时保障框架

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems

Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari · arXiv · English

运行时监控安全论证验证与确认

资料概述

SOTER 将机器人语言与声明式运行时保障模块结合，配对高性能和安全控制器。形式化组合原则及无人机演示为保护学习式汽车控制组件提供可迁移架构思路。

版本: v3