Now showing items 1-11 of 11

    • Automatic Verification of Autonomous Robot Missions 

      O'Brien, Matthew; Arkin, Ronald C.; Harrington, Dagan; Lyons, Damian M.; Jiang, Shu (Georgia Institute of Technology, 2014)
      Before autonomous robotics can be used for dangerous or critical missions, performance guarantees should be made available. This paper overviews a software system for the verification of behavior-based controllers in ...
    • Characterizing Performance Guarantees for Multiagent, Real-Time Systems Operating in Noisy and Uncertain Environments 

      Lyons, Damian M.; Arkin, Ronald C.; Fox, Stephen; Jiang, Shu; Nirmal, Prem; Zafar, Munzir (Georgia Institute of Technology, 2012)
      Autonomous 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 ...
    • Designing Autonomous Robot Missions with Performance Guarantees 

      Lyons, Damian M.; Arkin, Ronald C.; Nirmal, Prem (Georgia Institute of Technology, 2012)
      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) ...
    • Getting it Right the First Time: Predicted Performance Guarantees from the Analysis of Emergent Behavior in Autonomous and Semi-autonomous Systems 

      Arkin, Ronald C.; Lyons, Damian M.; Jiang, Shu; Nirmal, Prem; Zafar, Munzir (Georgia Institute of Technology, 2012)
      A crucially important aspect for mission-critical robotic operations is ensuring as best as possible that an autonomous system be able to complete its task. In a project for the Defense Threat Reduction Agency (DTRA) ...
    • Getting it Right the First time: Robot Mission Guarantees in the Presence of Uncertainty 

      Lyons, Damian M.; Arkin, Ronald C.; Nirmal, P.; Jiang, Shu; Liu, Tsung-Ming; Deeb, J. (Georgia Institute of Technology, 2013)
      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 ...
    • Getting it Right the First Time: Verification of Behavior-based Multirobot Missions 

      Lyons, Damian M.; Arkin, Ronald C.; Jiang, Shu; Harrington, Dagan; O'Brien, Matthew (Georgia Institute of Technology, 2014)
      In research being conducted for the Defense Threat Reduction Agency (DTRA), we are concerned with robot missions that may only have a single opportunity for successful completion, with serious consequences if the mission ...
    • Performance Guarantees for C - WMD Robot Missions 

      Jiang, Shu; Arkin, Ronald C.; Lyons, Damian M.; Liu, Tsung-Ming; Harrington, Dagan (Georgia Institute of Technology, 2013)
      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 ...
    • Performance Verification for Behavior - based Robot Missions 

      Lyons, Damian M.; Arkin, Ronald C.; Jiang, Shu; Liu, Tsung-Ming; Nirmal, Paramesh; Deeb, J. (Georgia Institute of Technology, 2013)
      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 ...
    • Towards Performance Guarantees for Emergent Behavior 

      Arkin, Ronald C.; Lyons, Damian M. (Georgia Institute of Technology, 2003)
      It is important to be able to guarantee the safety and effectiveness of robot behavior in applications where robots must operate alongside people or in hazardous situations. A modeling framework based on port automata and ...
    • Verifying and Validating Multirobot Missions 

      Lyons, Damian M.; Arkin, Ronald C.; Jiang, Shu; Harrington, Dagan; Liu, Tsung-Ming (Georgia Institute of Technology, 2014)
      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, ...
    • Verifying Performance for Autonomous Robot Missions with Uncertainty 

      Lyons, Damian M.; Arkin, Ronald C.; Liu, Tsung-Ming; Jiang, Shu; Nirmal, Paramesh (Georgia Institute of Technology, 2012)
      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 ...