Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments
@inproceedings{Lyons2012CharacterizingPG, title={Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments}, author={Damian M. Lyons and Ronald C. Arkin and Stephen Fox and Shu Jiang and Prem Nirmal and Munzir Zafar}, year={2012} }
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…
No Paper Link Available
4 Citations
Performance Verification for Behavior-Based Robot Missions
- Computer ScienceIEEE Trans. Robotics
- 2015
An approach based on behavior-based controllers in a process-algebra framework that avoids state-space combinatorics is presented here, and verification of the robot program in the uncertain environment is reduced to a filtering problem for a Bayesian network.
Getting it right the first time: Robot mission guarantees in the presence of uncertainty
- Computer Science2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
- 2013
This work extends an approach to establishing performance guarantees for behavior-based controllers in a process-algebra framework to include random variables, and shows how this work can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model.
Verifying Performance for Autonomous Robot Missions with Uncertainty
- Computer Science
- 2013
This work proposes an approach to verifying robot missions that shifts the focus from state-based analysis onto the solution of a set of flow equations (Lyons et al. 2012), and presents three validation results that show this approach has strong predictive power; that is, that the verifications it produces can be trusted.
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
- Computer ScienceCSER
- 2013
References
SHOWING 1-10 OF 14 REFERENCES
Multiagent Mission Specification and Execution
- Environmental ScienceAuton. Robots
- 1997
The Configuration Description Language (CDL) is developed to capture the recursive composition of configurations in an architecture- and robot-independent fashion and the Societal Agent theory is presented as a basis for constructions of this form.
Usability evaluation of high-level user assistance for robot mission specification
- Computer ScienceIEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)
- 2004
The mission-planning wizard has been recently integrated into MissionLab, and testing for usability improvements in terms of speed of the mission planning process, accuracy of the produced mission plans, and ease of use is conducted.
Line-of-sight constrained exploration for reactive multiagent robotic teams
- Engineering7th International Workshop on Advanced Motion Control. Proceedings (Cat. No.02TH8623)
- 2002
This paper reports on an investigation into how a team of robotic agents can self-organize for the exploration of a building, subject to the constraint of maintaining line-of-sight communications.…
Performance evaluation of pure-motion tasks for mobile robots with respect to world models
- Computer ScienceAuton. Robots
- 2009
An evaluation framework is adopted in a set of experiments showing how the performance of the motion system can be affected by the use of different kinds of environment representations.
Towards performance guarantees for emergent behavior
- Computer ScienceIEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
- 2004
A modeling framework based on port automata and asynchronous communication is introduced and an analysis approach is developed that removes the combinatoric issues of looking at an asynchronous combination of robot and environment.
Representing and analyzing action plans as networks of concurrent processes
- Computer ScienceIEEE Trans. Robotics Autom.
- 1993
A concurrent-process based representation is developed which represents both the plan and the uncertain and dynamic environment in which the plan operates and a methodology for analyzing the behavior of this interacting system of plan and world.
An Behavior-based Robotics
- Computer Science
- 1998
Following a discussion of the relevant biological and psychological models of behavior, the author covers the use of knowledge and learning in autonomous robots, behavior-based and hybrid robot architectures, modular perception, robot colonies, and future trends in robot intelligence.
Evaluating the Usability of Robot Programming Toolsets
- Computer ScienceInt. J. Robotics Res.
- 1998
The issues of evaluating high-level robot programming toolsets as to their usability are examined, including how usability criteria are established and target values are chosen.
Evaluation of navigation of an autonomous mobile robot
- Computer Science
- 2007
These metrics, collectively, provide an indication of the quality of the navigation, useful for comparing and analyzing control architectures of mobile robots.
Supervisory control of a class of discrete event processes
- Mathematics
- 1987
The paper studies the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly nondeterministic. The controlled process is described as the…