Engineering Commons^™

Verifying Performance For Autonomous Robot Missions With Uncertainty, Damian M. Lyons, Ronald Arkin, Tsung-Ming Liu, Shu Jiang, Paramesh Nirmal

Faculty Publications

Establishing performance guarantees for robot missions is especially important for C-WMD applications. Software verification techniques, such as model checking (Clark 1999, Jhala & Majumdar 2009), can be applied to robotic applications but characteristics of this application area, including addition of a robot environment model and handling continuous spatial location well, exacerbate state explosion, a key weakness of these methods. We have proposed an approach to verifying robot missions that shifts the focus from state-based analysis onto the solution of a set of flow equations (Lyons et al. 2012). The key novelty introduced in this paper is a probabilistic spatial representation …