Title :
Verifying and validating multirobot missions
Author :
Lyons, D.M. ; Arkin, R.C. ; Jiang, Siwei ; Harrington, D. ; Liu, Tiegen
Author_Institution :
Dept. of Comput. & Inf. Sci., Fordham Univ., New York, NY, USA
Abstract :
We have developed an approach that can be used by mission designers to determine whether or not a performance guarantee for their mission software, when carried out under the uncertain conditions of a real-world environment, will hold within a threshold probability. In this paper we demonstrate its utility for verifying multirobot missions, in particular a bounding overwatch mission.
Keywords :
control engineering computing; formal verification; multi-robot systems; bounding overwatch mission; mission software; multirobot mission verification; threshold probability; Algebra; Ports (Computers); Process control; Robot sensing systems; Software;
Conference_Titel :
Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on
Conference_Location :
Chicago, IL
DOI :
10.1109/IROS.2014.6942754
