Formal safety validation of mobile robot teleoperation

被引：0

作者：

Vain, J ^{[1
]}

Suzuki, S ^{[1
]}

Kuusik, A ^{[1
]}

机构：

[1] Tallinn Univ Technol, Dept Comp Sci, EE-19086 Tallinn, Estonia

来源：

BEC 2004: PROCEEDING OF THE 9TH BIENNIAL BALTIC ELECTRONICS CONFERENCE | 2004年

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Real applications of robotic teleoperation are frequently limited because of safety constraints. On-site command validation could improve safety of telecontrolled devices. The paper introduces an idea of using formal verification technique to predict unsafe behavior of teleoperated devices. As an example, hybrid automata model of a teleoperated robot crane, suitable for fully automatic model checking, is presented and verified. Additionally, safe digital controller synthesis for the crane robot is presented.

引用

页码：161 / 164

页数：4