Corpus ID: 57096746

Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments

  title={Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments},
  author={D. Lyons and R. Arkin and Stephen Fox and Shu Jiang and P. Nirmal and M. Zafar},
Autonomous robots offer the potential to conduct CounterWeapons 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 CWMD mission may require. We are developing a software framework for verification of performance guarantees for CWMD missions based on the MissionLab software system and a novel process algebra… Expand

Topics from this paper

Performance Verification for Behavior-Based Robot Missions
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
Verifying Performance for Autonomous Robot Missions with Uncertainty


Multiagent Mission Specification and Execution
Usability evaluation of high-level user assistance for robot mission specification
Line-of-sight constrained exploration for reactive multiagent robotic teams
  • R. Arkin, J. Diaz
  • Computer Science
  • 7th International Workshop on Advanced Motion Control. Proceedings (Cat. No.02TH8623)
  • 2002
Towards performance guarantees for emergent behavior
  • D. Lyons, R. Arkin
  • Engineering, Computer Science
  • IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
  • 2004
Representing and analyzing action plans as networks of concurrent processes
  • D. Lyons
  • Computer Science
  • IEEE Trans. Robotics Autom.
  • 1993
An Behavior-based Robotics
  • R. Arkin
  • Computer Science, Engineering
  • 1998
Evaluating the Usability of Robot Programming Toolsets