Title:
Designing Autonomous Robot Missions with Performance Guarantees
Designing Autonomous Robot Missions with Performance Guarantees
dc.contributor.author | Lyons, Damian M. | |
dc.contributor.author | Arkin, Ronald C. | |
dc.contributor.author | Nirmal, Prem | |
dc.contributor.corporatename | Georgia Institute of Technology. College of Computing | |
dc.contributor.corporatename | Georgia Institute of Technology. Mobile Robot Laboratory | |
dc.contributor.corporatename | Georgia Institute of Technology. Center for Robotics and Intelligent Machines | |
dc.contributor.corporatename | Fordham University. Dept. of Computer and Information Science | |
dc.date.accessioned | 2012-09-12T22:32:12Z | |
dc.date.available | 2012-09-12T22:32:12Z | |
dc.date.issued | 2012 | |
dc.description.abstract | This paper describes the need and methods required to construct an integrated software verification and mission specification system for use in robotic missions intended for counter-weapons of mass destruction (c-WMD) operations, as part of a 3-year effort for the Defense Threat Reduction Agency. The overall system architecture is described. The principal tool for verification is a process algebra, PARS, based on port automata theory. PARS is introduced, emphasizing its ability to represent probabilistic programs and uncertain and dynamic environments, followed by the analysis of mission properties for an example robotic mission. | en_US |
dc.identifier.uri | http://hdl.handle.net/1853/44647 | |
dc.language.iso | en_US | en_US |
dc.publisher | Georgia Institute of Technology | en_US |
dc.subject | Formal properties | en_US |
dc.subject | Mobile robots | en_US |
dc.subject | Performance guarantees | en_US |
dc.subject | Robot programming | en_US |
dc.subject | Verification | en_US |
dc.title | Designing Autonomous Robot Missions with Performance Guarantees | en_US |
dc.type | Text | |
dc.type.genre | Paper | |
dspace.entity.type | Publication | |
local.contributor.author | Arkin, Ronald C. | |
local.contributor.corporatename | College of Computing | |
local.contributor.corporatename | Mobile Robot Laboratory | |
local.contributor.corporatename | Institute for Robotics and Intelligent Machines (IRIM) | |
relation.isAuthorOfPublication | e853e35f-f419-4348-9619-6f0c7abef2c7 | |
relation.isOrgUnitOfPublication | c8892b3c-8db6-4b7b-a33a-1b67f7db2021 | |
relation.isOrgUnitOfPublication | 488966cd-f689-41af-b678-bbd1ae9c01d4 | |
relation.isOrgUnitOfPublication | 66259949-abfd-45c2-9dcc-5a6f2c013bcf |