Organizational Unit:
Mobile Robot Laboratory

Permanent Link
https://hdl.handle.net/1853/70779
Research Organization Registry ID
Description
Previous Names
Parent Organization
Parent Organization
Organizational Unit
Includes Organization(s)
ArchiveSpace Name Record
https://finding-aids.library.gatech.edu/agents/corporate_entities/1110

Filters

2012 - 2015 6
6
5 1
6
Reset filters

Settings
Author: Jiang, Shu × Author: Liu, Tsung-Ming × Item Type: Publication ×

Publication Search Results

Now showing 1 - 6 of 6
Thumbnail Image
Item

Performance Verification for Behavior-Based Robot Missions

2015-06 , Lyons, Damian M. , Arkin, Ronald C. , Jiang, Shu , Liu, Tsung-Ming , Nirmal, Paramesh

Certain robot missions need to perform predictably in a physical environment that may have significant uncertainty. One approach is to leverage automatic software verification techniques to establish a performance guarantee. The addition of an environment model and uncertainty in both program and environment, however, means the state-space of a model-checking solution to the problem can be prohibitively large. An approach based on behavior-based controllers in a process-algebra framework that avoids state-space combinatorics is presented here. In this approach, verification of the robot program in the uncertain environment is reduced to a filtering problem for a Bayesian Network. Validation results are presented for the verification of a multiple-waypoint and an autonomous exploration robot mission.

View
Thumbnail Image
Item

Performance Verification for Behavior-based Robot Missions

2013 , Lyons, Damian M. , Arkin, Ronald C. , Jiang, Shu , Liu, Tsung-Ming , Nirmal, Paramesh , Deeb, J.

Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. This requirement raises many issues for existing approaches to software verification. An approach based on behavior-based controllers in a process-algebra framework is proposed by Lyons et al [15] to side-step state combinatorics. In this paper we show that this approach can be used to generate a Dynamic Bayesian Net work for the problem, and that verification is reduced to a filtering problem for this network. We present validation results for the verification of a multiple waypoint robot mission using this approach.

View
Thumbnail Image
Item

Verifying and Validating Multirobot Missions

2014 , Lyons, Damian M. , Arkin, Ronald C. , Jiang, Shu , Harrington, Dagan , Liu, Tsung-Ming

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.

View
Thumbnail Image
Item

Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty

2013 , Lyons, Damian M. , Arkin, Ronald C. , Nirmal, P. , Jiang, Shu , Liu, Tsung-Ming , Deeb, J.

Certain robot missions need to perform predictably in a physical environment that may only be poorly characterized in advance. We have previously developed an approach to establishing performance guarantees for behavior-based controllers in a process-algebra framework. We extend that work here to include random variables, and we show how our prior results can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Verification is reduced to a filtering problem for this network. Finally, we present validation results that demonstrate the effectiveness of the verification of a multiple waypoint robot mission using this approach.

View
Thumbnail Image
Item

Performance Guarantees for C - WMD Robot Missions

2013 , Jiang, Shu , Arkin, Ronald C. , Lyons, Damian M. , Liu, Tsung-Ming , Harrington, Dagan

Robotics has been considered as one of the five key technology areas for defense against attacks with weapons of mass destruction (WMD). However, due to the mass impact nature of WMD, failures of counter-WMD (C-WMD) missions can have catastrophic consequences. To ensure robots’ success in carrying out C-WMD missions, we have developed a novel verification framework in providing performance guarantees for behavior-based and probabilistic robot algorithms in complex real-world environments. This paper describes the system architecture and discusses how the verification framework can be used to provide pre-mission performance guarantees for robots in executing C-WMD missions.

View
Thumbnail Image
Item

Verifying Performance for Autonomous Robot Missions with Uncertainty

2012 , Lyons, Damian M. , Arkin, Ronald C. , Liu, Tsung-Ming , Jiang, Shu , Nirmal, Paramesh

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 for flow equations. We show how this representation models the spatial situation for robot motion with environments or controllers that include discrete choice (constraints). A model such as we propose here is useful only if it can accurately predict robot motion. We conclude by presenting three validation results that show this approach has strong predictive power ; that is, that the verifications it produces can be trusted.

View