Show simple item record

dc.contributor.authorLyons, Damian M.
dc.contributor.authorArkin, Ronald C.
dc.contributor.authorFox, Stephen
dc.contributor.authorJiang, Shu
dc.contributor.authorNirmal, Prem
dc.contributor.authorZafar, Munzir
dc.date.accessioned2012-09-13T20:21:01Z
dc.date.available2012-09-13T20:21:01Z
dc.date.issued2012
dc.identifier.urihttp://hdl.handle.net/1853/44654
dc.description.abstractAutonomous robots offer the potential to conduct Counter- Weapons of Mass Destruction (C-WMD) missions in an efficient and robust manner. However, to leverage this potential, a mission designer needs to be able to determine how well a robot system will operate in the noisy and uncertain environments that a C-WMD mission may require. We are developing a software framework for verification of performance guarantees for C-WMD missions based on the MissionLab software system and a novel process algebra approach to representing robot programs and operating environments. In this paper, we report on our initial research for the Defense Threat Reduction Agency (DTRA) in understanding what is required from a performance guarantee to give a mission designer the information necessary to understand how well a robot program will perform in a specific environment. We link this to prior work on metrics for robot performance. Using a simple mission scenario, we explore the implications of uncertainty in the four components of the problem: the robot program, and the sensors, actuators and environment with which the program is executed.en_US
dc.language.isoen_USen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.subjectProbabilistic and emergent robotic systemsen_US
dc.subjectPerformance guaranteesen_US
dc.titleCharacterizing Performance Guarantees for Multiagent, Real-Time Systems Operating in Noisy and Uncertain Environmentsen_US
dc.typePaperen_US
dc.contributor.corporatenameGeorgia Institute of Technology. College of Computing
dc.contributor.corporatenameGeorgia Institute of Technology. Mobile Robot Laboratory
dc.contributor.corporatenameGeorgia Institute of Technology. School of Interactive Computing
dc.contributor.corporatenameGeorgia Institute of Technology. Center for Robotics and Intelligent Machines
dc.contributor.corporatenameFordham University. Dept. of Computer and Information Science


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • Mobile Robot Laboratory Publications [187]
    Papers, pre/post-prints, and presentations by faculty and students in the Georgia Tech Mobile Robot Laboratory.
  • Mobile Robot Laboratory [187]
    Papers, pre/post-prints, and presentations by faculty and students in the Georgia Tech Mobile Robot Laboratory.

Show simple item record