Getting it right the first time: Robot mission guarantees in the presence of uncertainty

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 behavior-based controllers in a process-algebra framework. We extend that work here to include random variables, and we show how our prior results can be used to generate a Dynamic Bayesian Network for the coupled system of program and environment model. Verification is reduced to a filtering problem for this network. Finally, we present validation results that demonstrate the effectiveness of the verification of a multiple waypoint robot mission using this approach.

[1]  Håkan L. S. Younes,et al.  Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.

[2]  Emilio Frazzoli,et al.  Specification and planning of UAV missions: a Process Algebra approach , 2009, 2009 American Control Conference.

[3]  Ronald C. Arkin,et al.  Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .

[4]  Way Kuo,et al.  Mission Effectiveness Model for A System with Several Mission Types , 1984, IEEE Transactions on Reliability.

[5]  Stephen Fox,et al.  Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments , 2012, PerMIS.

[6]  Ronald C. Arkin,et al.  Multiagent Mission Specification and Execution , 1997, Auton. Robots.

[7]  Corrado Böhm,et al.  Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.

[8]  Michael A. Arbib,et al.  Port Automata and the Algebra of Concurrent Processes , 1983, J. Comput. Syst. Sci..

[9]  Jonathan P. Bowen,et al.  High-Integrity System Specification and Design , 1999 .

[10]  Eric Klavins,et al.  A compositional framework for programming stochastically interacting robots , 2011, Int. J. Robotics Res..

[11]  Calin Belta,et al.  Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees , 2010, 2010 IEEE International Conference on Robotics and Automation.

[12]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[13]  Benjamin Johnson,et al.  Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error , 2011, Robotics: Science and Systems.

[14]  Prakash P. Shenoy.  Inference in Hybrid Bayesian Networks Using Mixtures of Gaussians , 2006, UAI.

[15]  Damian M. Lyons,et al.  A Software Tool for the Design of Critical Robot Missions with Performance Guarantees , 2013, CSER.

[16]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[17]  Ronald C. Arkin,et al.  Evaluating the Usability of Robot Programming Toolsets , 1998, Int. J. Robotics Res..

[18]  Christel Baier,et al.  Performance evaluation and model checking join forces , 2010, Commun. ACM.

[19]  Alastair F. Donaldson,et al.  Software Model Checking , 2014, Computing Handbook, 3rd ed..

[20]  Damian M. Lyons,et al.  Towards performance guarantees for emergent behavior , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[21]  Cesare Tinelli,et al.  Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.

[22]  Nikolaj Bjørner,et al.  Satisfiability modulo theories , 2011, Commun. ACM.

[23]  Ronald C. Arkin,et al.  Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems , 2012, Defense, Security, and Sensing.

[24]  Calin Belta,et al.  Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees , 2012, IEEE Transactions on Robotics.

[25]  Jonathan P. Bowen,et al.  High-Integrity System Specification and Design , 1999, Formal Approaches to Computing and Information Technology (FACIT).

[26]  Damian M. Lyons,et al.  Designing autonomous robot missions with performance guarantees , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[27]  Jos C. M. Baeten,et al.  A brief history of process algebra , 2005, Theor. Comput. Sci..

[28]  Stephen Fox,et al.  Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments , 2012 .