A Software Tool for the Design of Critical Robot Missions with Performance Guarantees | Zendy

Damian M. Lyons | Zendy; Ronald C. Arkin | Zendy; P. Nirmal | Zendy; Shu Jiang | Zendy; Tsung-Ming Liu | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Software Tool for the Design of Critical Robot Missions with Performance Guarantees

Author(s) -

Damian M. Lyons,

Ronald C. Arkin,

P. Nirmal,

Shu Jiang,

Tsung-Ming Liu

Publication year - 2013

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2013.01.093

Subject(s) - computer science , robot , software , software development , software engineering , systems engineering , simulation , artificial intelligence , engineering , operating system

Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the need to perform predictably in a physical environment that may only be poorly characterized in advance. In this paper, we present an approach to building high assurance software for robot missions carried out in uncertain environments. The software development framework and the verification algorithm, VIPARS, are described in detail. Results are presented for missions including motion and sensing uncertainty, interaction with obstacles, and the use of sensors to guide behavior

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research