Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments
Damian M. Lyons, Shu Jiang, Ronald C. Arkin, Prem Nirmal, Stephen Fox, Munzir Zafar · 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 algebra approach to representing robot programs and operating environments.