Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments

@inproceedings{Lyons2012CharacterizingPG,
  title={Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments},
  author={D. Lyons and Shu Jiang and R. Arkin and Prem Nirmal and Stephen Fox and M. Zafar},
  booktitle={PerMIS},
  year={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 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… Expand
6 Citations
Verifying Performance for Autonomous Robot Missions with Uncertainty
  • 20
  • PDF
Performance Verification for Behavior-Based Robot Missions
  • 20
  • PDF
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
  • 16
  • PDF
Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems
  • 13
  • PDF
Multiarquitectura distribuida para el desarrollo de misiones multi-robot
  • PDF

References

SHOWING 1-2 OF 2 REFERENCES
Automatic synthesis of robot controllers for tasks with locative prepositions
  • 28
  • Highly Influential
  • PDF
Standard Test Methods For Response Robots, ASTM E54.08.01
  • Intelligent Systems Division,
  • 2011