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

• DOI: 10.1016/j.procs.2013.01.093
• Publication Date: 2013-02-27T17:40:34Z
• Authors: D.M. Lyons; R.C. Arkin; P. Nirmal; S. Jiang; T.-M. Liu
• Keywords: 629; performance guarantees; 0209 industrial biotechnology; mobile robotics; Verification; Performance guarantee; 02 engineering and technology; Mobile robotics; verification

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